4 = 2*v. Which is smaller: w or v?
w
Suppose -5*y = d - 86, -d + 6*y + 113 = 2*y. Is 504/5 not equal to d?
True
Let r be 1/1*(-1 - -1). Let y be 187/63 + 4 + -2 + -5. Which is smaller: y or r?
y
Let v be (273/(-2))/((-2)/(-12)). Let y be (-6)/(-14) + (-27)/v. Which is smaller: y or 1?
y
Suppose -13 = -239*w + 252*w. Which is greater: -44/25 or w?
w
Let m = -820/18357 + 7/211. Suppose 72*j = 75*j. Which is bigger: j or m?
j
Let p = 14 + -26. Suppose -145 + 190 = -5*h. Is p greater than or equal to h?
False
Suppose 123 + 143 = 5*c + 2*q, -3*q = 6. Which is bigger: c or -3?
c
Let h be ((-3)/(-2))/(6/1184). Let l = -898/3 + h. Which is greater: l or -3?
-3
Let z = -7 + 7. Which is smaller: z or -3/88?
-3/88
Let i(f) = f**2 - 17*f + 11. Let v be i(16). Suppose 4*o - 2*h - 14 = 10, -2*h - 12 = -o. Suppose 5*w + 3*d - d + 21 = 0, 5*d + 3 = o*w. Is v not equal to w?
True
Let q = 19 - 17. Let x(h) = 79*h + 2. Let r be x(q). Let j be r/558 + (-22)/99. Are j and 0 equal?
False
Let g = -10765 - -118301/11. Let w be 131/11 + (1 - 2). Let d = g + w. Which is smaller: 0 or d?
0
Let j = 0.342 + -0.442. Which is smaller: j or -1?
-1
Suppose -3*g = -14*g + 77. Suppose 0 = -3*b - 5*a + g, -3*b + 3 = 2*b + 4*a. Is b greater than 1/62?
False
Suppose 3*t = 2*i - 88, -2*i - 2*t - 3*t + 120 = 0. Suppose -i - 78 = -8*g. Is g > 14?
True
Let d(w) = -w**3 + 8*w**2 - 8*w + 8. Let v be d(7). Let m be 3 + v/((-1)/2). Suppose m = -4*i + 21. Which is greater: 4 or i?
i
Let h be -2 - 22*(1 - 2). Let z(c) = -c**3 + 5*c**2 + 2*c - 7. Let m be z(5). Suppose p = -m*p - h. Which is smaller: p or -4?
p
Suppose 0 = -2*k - 8*k - 5*k. Which is smaller: -12/17 or k?
-12/17
Let i = 152 - 342. Which is smaller: i or -191?
-191
Suppose -23 + 65 = -21*k. Let n(b) = 6*b + 1. Let a be n(-1). Let g be (a - (-6)/2) + -1. Is k > g?
True
Let d be ((-1)/(-4))/(6/(-20)). Let m = 3459 - 3459. Which is smaller: d or m?
d
Suppose -7*s - 42 = -35. Suppose 0 = 5*k - 3 - 17. Suppose v + 8 = -2*v - k*h, 0 = v - h - 9. Which is greater: v or s?
v
Let w be (-9)/7 + (-2)/(-7). Let i(z) = z**2 - 8*z + 8. Let f be i(8). Suppose f = -10*r - 12. Is r at least as big as w?
False
Let t = 151 + -122. Let q = -28 + t. Let n = 0.86 - -0.04. Which is bigger: n or q?
q
Let n be (-2)/(162/249) - 6/(-2). Let p be (2 - 2)*4/(-8). Which is smaller: p or n?
n
Let f = 334/7 + -48. Let q = 75 - 74.99. Is q bigger than f?
True
Let y = -230 + 229. Which is bigger: 2/1001 or y?
2/1001
Let d be ((-124)/10)/(72/(-680)). Let h = -117 + d. Let f be 3/9*6/(-2). Which is smaller: h or f?
f
Let l be (-1060)/355 - (-2 - 1). Let r = -346 + 347. Which is smaller: r or l?
l
Let x = -1655/1326 - -21/17. Which is smaller: 3 or x?
x
Let i(l) = -l**3 + 5*l**2 - 5*l + 6. Let a be ((-8)/(-3))/((-4)/(-6)). Let o be i(a). Suppose 0 = 3*f - o*f + 1. Which is greater: f or -2/17?
-2/17
Suppose 6*w - 13 = 35. Suppose -5*i - w = 3*i. Which is bigger: -2 or i?
i
Let a be 1/(2/(-6)) + (-2 - -4). Is 1/33 less than a?
False
Suppose -2*z - 6*t + 11*t + 35 = 0, 0 = -2*z + 2*t + 32. Which is smaller: z or 14?
14
Suppose 182*k + 414 = 188*k. Is 72 greater than or equal to k?
True
Let n be (36/15)/(-3) + 65260/(-50). Is n != 2/7?
True
Let r(k) = -k**2 - 20*k - 19. Let t be r(-18). Which is greater: t or 83/5?
t
Let c = -1.88 + 2. Let v = c + -0.12. Is v greater than or equal to 0.4?
False
Suppose -21 = 5*s - 8*s. Suppose -s*x = -8*x + 4. Is x bigger than 4?
False
Suppose -o + 155 = 4*o. Let s = -24 - o. Let h be (s/(-10) - 3)*-8. Is h bigger than -19?
False
Suppose 0*t - 5*t + 10 = 0. Suppose -t*z = -7*z + 35. Let f be 2/14*(z + -5). Do f and 0 have the same value?
False
Let u(a) = -3*a**3. Let h be u(-1). Let x be 0/3 - h/7. Let t(s) = s**2 - 10*s - 1. Let l be t(10). Which is greater: x or l?
x
Let s = -46655 + 46650. Let z(p) = p**2 + 5*p - 2. Let i be z(-5). Is s at most i?
True
Let l = 561.63 + -560. Which is smaller: l or -2?
-2
Let m be 244/(-36) - 18/81. Is m bigger than -63/10?
False
Let s = -41 - -17. Let w = s + 50. Let r = w + -26. Which is bigger: -1/4 or r?
r
Suppose 5*g - 4*v - 26 = 0, 3*g - 26 = -3*v - 5. Let j(x) = x - 19. Let h be j(g). Is -13 >= h?
True
Let y be -5 - 1 - (-5)/1. Let c = -9/95 - -487/3135. Is y < c?
True
Let t = -45.2 + 38.18. Let d = -0.02 - t. Let b = d - 11. Which is smaller: 0 or b?
b
Suppose 4*p - 14 = u, 0 = -78*u + 82*u + 2*p + 2. Is u > -24/43?
False
Let p = -259.68 + 260. Which is greater: p or -2?
p
Let c be -10*1/14 + 18/(-42). Let l be ((-4)/12)/(1/(-15)). Suppose -2*g + l*s - 4 = -0*g, -5*g + 4*s = 10. Which is smaller: g or c?
g
Let a be 2*(6003/(-2))/(-23). Is 262 greater than a?
True
Let k be 117/(-95) + (7 - 5) + -1. Which is greater: k or 1?
1
Suppose 65 = 22*f - 27*f. Let d be ((-208)/24)/(4/6). Is d > f?
False
Suppose -5*y = -516 - 74. Let f = 59 - y. Are -59 and f equal?
True
Let u(s) = 4*s**2 - 5*s + 7. Let r(f) = -f**2 - f. Let j(b) = -3*r(b) - u(b). Suppose 5*p - 28 = 7. Let l be j(p). Which is greater: 2 or l?
2
Let b(o) = o**2 - 6*o + 8. Let i be b(5). Suppose 1 = 3*h - 0*t + 2*t, 1 = -2*h - i*t. Do 1 and h have the same value?
True
Let k = 27 - 26. Is 7/73 != k?
True
Let c be 70/(-665) - (-34)/(-38). Which is smaller: 5/306 or c?
c
Let l = 364 - 727/2. Which is bigger: l or -3/352?
l
Let w(p) = 3 + 84*p - 10 - 100*p. Let m be w(-3). Let f be m/5 - (-3)/(-15). Which is bigger: f or 9?
9
Suppose 69 = 2*n + 67. Which is greater: 2/5 or n?
n
Suppose 3*d + 2 + 10 = 3*r, -2*r + 2 = d. Let i be (6 + (-3 - r))*-1*1. Is -1/19 at most as big as i?
False
Let k = -14.68 + 13.689. Let g = -0.009 + k. Let r = 8.8 - 8. Which is smaller: g or r?
g
Let p be 2*1/3 - 0. Let f = -52.2 + 51. Let t = 4.2 + f. Is t > p?
True
Let r be (4480/(-84))/(1/18). Let j be (2/10)/(r/75). Is -1 less than j?
True
Let q be (1 - -1)/4 - (-115)/(-228). Which is smaller: 0 or q?
q
Let z = -731 - -730. Is -503 <= z?
True
Suppose 5*z - 10*x + 6*x + 24 = 0, -5*x - 60 = 5*z. Which is smaller: -21 or z?
-21
Let h(w) = -w**2 + 4*w + 7. Let c be h(5). Suppose c*d = 5*a + 30, 0 = 2*d - 0*d - 3*a - 22. Let l be (-1 + 13)/((-4)/(-2)). Is d less than l?
True
Suppose 45 = -7*l - 256. Let k = -79/2 - l. Let f be 4/(-10) - (-44)/10. Is k greater than f?
False
Let k(t) = 2*t**2 + 2*t. Let o be k(-2). Suppose 4*a = 3*n - 87, 0 = -n + 4*n + 4*a - 111. Suppose n = -o*d + d. Which is greater: -12 or d?
d
Let x be 9/417*(-6)/(-9). Let m be (2/(-12))/(9/54). Is x at least as big as m?
True
Let u = 8/23 - 133/184. Suppose -12 = 3*y + 3*q, y - 5 = -5*q - 21. Is y greater than or equal to u?
False
Let f = 24 + 54. Let i be 5/1 - 174/f. Do 2 and i have different values?
True
Suppose -7*c = -4*c - 60. Suppose 2*r + 5*o = -0*o - 8, 2*o - c = 5*r. Is r less than or equal to 5?
True
Suppose -2*w + 4 = -2*q, 2*w = -3*w + 2*q + 13. Suppose w = m, 2*m - 90 = -3*d - m. Are d and -0.1 nonequal?
True
Let v = 50596319519/160 - 316225131. Let n = -1866 + v. Are 0 and n equal?
False
Let l be (-3037)/(-607) + -1 + (-40)/10. Is 1/2 bigger than l?
True
Let u = 1 - 2. Let g be (u/(-10))/(11/(-33)). Which is smaller: 2/7 or g?
g
Suppose 4*o = -5*f + 9, -3*o - 9 + 14 = 2*f. Suppose -2 = 3*j - 0*l + 2*l, 0 = 2*j + 3*l + 3. Is j greater than f?
False
Let i(h) = -4 - h - h**2 - 7 + 16 - 1. Let f be i(-6). Is f != -26?
False
Let x = 2990 + -2883. Is 109 >= x?
True
Suppose -2*x = -a - 38, -5*x = 4*a - 9*a - 85. Which is greater: x or -11?
x
Let x = -23 + 28. Suppose -x*o + 4*y = -6*o - 10, 0 = -4*o + 5*y + 23. Suppose u - f = -9, f + 0 = -o*u - 12. Is u less than -7?
False
Let x(n) = n**2 - 7*n + 14. Suppose 4*z = -2*u + 12, 5*z + 2*u = -2*u + 12. Let c be x(z). Which is smaller: 14/5 or c?
c
Let v be (-4682)/585 + (-24)/(-3). Is -1 > v?
False
Let z(c) = -c**3 + 7*c**2 - 6*c - 1. Let n be z(6). Which is bigger: n or 3/8?
3/8
Suppose 2*t + 10 = 0, -t + 3 = -4*h - 8. Let j be -3 - 150/(-54) - 34/9. Is h at least as big as j?
True
Let x(t) = t. Let w(o) = -4*o - 4. Let h(r) = w(r) + 5*x(r). Let p be h(6). Is p at most as big as 2?
True
Let q = 28.95 + -28. Let g = -0.05 - q. Let d = g - 1.4. Is 2/7 less than or equal to d?
False
Let k = 14 - 12. Let u be (-1)/(-3 + 4/k). Suppose -t - u = -2. Which is greater: t or 3/7?
t
Suppose 0 = -5*q - 2*j + 38, 3*q + j - 27 = 4*j. Let b = q + 18