et x = v + -88. Is x equal to 1/7?
False
Let l be -1*((-27)/(-3) - 0). Let x = l - -24. Suppose -3*h + x = -2*s - 1, 5*h = 5*s + 35. Which is bigger: h or -1?
h
Suppose -7*i + 520 = 6*i. Is i <= 40?
True
Let d(m) = -132*m**3 - m. Let p be d(1). Let a be 59/91 + 76/p. Let s be (-5)/(-10) + (-1)/2. Is a at most as big as s?
False
Suppose d + 5*l = 99 + 51, -5*d - 3*l + 706 = 0. Let c be 2/(-11) + d/44. Let o = c - 9. Are -6 and o unequal?
False
Let h(v) = 2*v + 10. Let o(s) = s + 5. Let x(w) = -3*h(w) + 5*o(w). Let l be x(-14). Is 17/2 smaller than l?
True
Suppose 13 = 4*a + 1. Let x be -1*(1 + -2*a). Suppose -3*w + 4*j + 7 = 1, -5*w - x*j = -10. Do w and -3 have different values?
True
Let f = 256 + -255.4. Is f < -7/2?
False
Suppose -124 = -4*p + 5*b, -5*b + 25 + 33 = 3*p. Do p and 25 have the same value?
False
Let n = 18 - 2. Suppose -n = -a + 16. Suppose 0 = q + 4*v + 23, 4*q + v + 3*v = -a. Which is smaller: -8 or q?
-8
Let k = -967 + 967. Is k < -4/15?
False
Let w = -0.029 - 0.451. Let l = 0.53 + w. Which is smaller: l or 0.04?
0.04
Let c = 799 - 789.61. Let n = c + -0.39. Is 1/2 smaller than n?
True
Let u be 216/14 + (-27)/63. Let o = -16 + u. Suppose 4*y - 4*i - 15 = 3*y, -2*i - 8 = 0. Is y > o?
False
Suppose 4*p - 5*m + 4 = 0, 16*p + 4*m = 21*p + 5. Which is smaller: p or -4/51?
p
Let q(f) be the first derivative of -f**4/4 + 2*f**3/3 + f**2 - 5*f - 23. Let g be q(2). Are g and -1/35 equal?
False
Let p be (-2)/(1*2/(-4)). Let w = -4 - -8. Suppose p*h - 16 = -w. Is 5 <= h?
False
Suppose 80*x = 22*x - 174. Are x and -144/43 equal?
False
Let z = -1.284 - -0.284. Let p be (-75)/77 - 63/(-147). Which is smaller: z or p?
z
Suppose -5*q - 245 = -r, -5*r + 3*q - 4*q + 1095 = 0. Which is smaller: 221 or r?
r
Let w(o) = 3*o**3 - 2*o**2 + o. Let d be w(1). Let g(f) = -4*f + f**2 + d + 6*f + 0*f. Let t be g(-2). Is t > 2?
False
Let u be (1 - 0) + 7/((-28)/16). Let r be u/(-15) - -1*(-52)/60. Are r and 7 nonequal?
True
Let p = 3 + -1. Suppose -o - p*k = 3*k - 20, -2*k = -3*o - 8. Suppose o*x = 2*x. Which is smaller: x or 2?
x
Let d = 3.9 - -7.9. Let p = d - 12. Are 1/21 and p equal?
False
Suppose -20*s + 143 = -31*s. Is s bigger than -15?
True
Let m = 0.7 - -0.3. Let t be -3*(5 + -19)*(-7)/2. Let u = -169 - t. Which is smaller: u or m?
u
Let z = 163.1 - 162. Let n = -4.3 + 2.2. Let q = n + z. Which is smaller: -6 or q?
-6
Let v = -18 - 45. Let x be (-2)/(-9) - 1939/v. Is x less than 31?
False
Let m = -330 + 322. Which is greater: m or -64/9?
-64/9
Let x = -5.4 - -5. Let u = 0.48 + 0.22. Let r = u + -0.6. Does r = x?
False
Let v = -495 + 328. Let q = 168 + v. Which is bigger: q or 20/11?
20/11
Let s = -351 - -355. Which is greater: 60/11 or s?
60/11
Let x = -0.0047 + 0.0047. Is -364 smaller than x?
True
Let o = -19815 - -138994/7. Suppose 4*m = -44 + 208. Let u = o - m. Which is smaller: 20 or u?
u
Suppose 9*d + 22 = 6*d + 5*w, -4*d - 6 = -2*w. Is 8/65 < d?
True
Let z = -1.13 + 0.03. Let v = z + 0.1. Let j = -11.4 - -7.4. Which is bigger: j or v?
v
Let d(h) = -5*h - 196. Let c be d(-37). Which is bigger: c or -17?
c
Let o = 2 + 3. Suppose -o*x - 15 = -8*x. Let f(v) = v**2 - 4*v + 1. Let r be f(x). Is r > 7?
False
Suppose 21*m + 49 - 49 = 0. Which is bigger: m or 16/11?
16/11
Let a(n) = n**2 + 23*n - 59. Let x be a(4). Is 49 at least x?
True
Let u = -22 + 42. Let f be 1/(-10)*u/(-8). Which is greater: -0.18 or f?
f
Let i(v) = 18*v + 469. Let s be i(-26). Is 3/29 greater than s?
False
Let f be 110/(-40)*(-6 + 2). Suppose v = -19 - f. Let o be (v/(-315))/((-1)/3). Which is smaller: o or -1?
-1
Let q = 10215/2 - 663917/130. Let c = q + 2/13. Are -6 and c unequal?
True
Let o = -283.5 - -224. Let l = -52 - o. Do -0.1 and l have the same value?
False
Let h = -271 + 279. Is h >= 12?
False
Let x(v) = -4*v**2 - 45*v - 41. Let b be x(-10). Which is greater: 7 or b?
b
Let d be 1*15*(-2)/6. Let n be (-5)/(-15)*23/(-2). Which is smaller: n or d?
d
Let k be 4 - (4 - 95852/89). Let w = 1077 - k. Which is smaller: w or 1?
w
Let z = -0.747 - -0.847. Which is smaller: -218 or z?
-218
Let t = 565/9 - 63. Let u = 115.1 + -122. Let v = u + 7. Which is greater: t or v?
v
Suppose 2*i + u = 36, -3*i = 18*u - 15*u - 57. Which is greater: i or -1?
i
Let t = 431 + -662. Which is greater: -230 or t?
-230
Let j = 55.4 + -48.5. Which is smaller: 1/2 or j?
1/2
Suppose -2*y - 16 = 4*x, 3*x + 1 = -5*y - 4. Let n = -28 - -31. Suppose y*h - 5 = -n*h. Is 0.5 <= h?
True
Suppose 72*f = 68*f + 268. Which is smaller: f or -1/3?
-1/3
Let r be 3606/4*((-240)/54)/10. Is -402 at most r?
True
Let g = -155 - -155. Which is smaller: g or 0.18?
g
Let r be (-30 - -27)/(92835/(-10)). Is r greater than 1?
False
Suppose -16 = -5*r - 2*k, -5*r + 3*r = -3*k + 5. Suppose 0 = -2*p + 2*v - 146, 5*p + 3*v = -r*v - 325. Is p < -70?
False
Let o(b) = -b. Let y be o(1). Let u(x) = 2*x**2 + 3*x + 6. Let p be u(6). Let g be ((-4)/(-30))/(p/(-60)). Which is greater: g or y?
g
Let u be (-1216)/(-3) - (14 - (-164)/(-12)). Is 407 less than or equal to u?
False
Suppose 0 = -4*r + j - 4*j + 36, -r - 2*j + 14 = 0. Let m = r + -2. Suppose -2 = 4*b + x + 2, 16 = m*x. Is b greater than -1?
False
Let h = 16/355 - -152538/2485. Let c = h - 61. Is -1 > c?
False
Suppose 7*w - 15*w = 0. Is w greater than -4/467?
True
Let v = -475 - -467. Which is smaller: v or 3/13?
v
Let i(x) = 2*x**3 + 17*x**2 + 33*x - 10. Let y be i(-5). Which is smaller: -1/350 or y?
-1/350
Let r = 278 - 449. Let o = -169 - r. Let x be (4 - 2)*1/3. Is x at least o?
False
Suppose o = -0*o + 1088. Let v be (-30419)/(-28) - (-39)/(-156). Let q = v - o. Which is smaller: -2 or q?
-2
Let u = 6/71 + -1415/15904. Let o = 461/2912 + u. Let a = 0 - 0. Are a and o nonequal?
True
Suppose 22*t - 3*t = 19. Which is greater: -2/187 or t?
t
Let x = -0.517 - -0.476. Is x equal to 2?
False
Let m(j) = j**2 - 23*j + 41. Let w(f) = -f**2 + 22*f - 41. Let v(i) = 6*m(i) + 7*w(i). Let d be v(13). Is -3 at most as big as d?
True
Let f = 479 + -475.77. Let g = f + -3.2. Let s = 2.07 + g. Which is smaller: -1 or s?
-1
Let m be 0*(7/2)/7. Suppose 5*j - 104 + 9 = m. Suppose 4*u - 1 = j. Which is smaller: -0.2 or u?
-0.2
Suppose 2 = -4*n + 22. Suppose -4*o - 14 = 58. Let x be 6/15 - (-1 + o/5). Is x <= n?
True
Suppose 138*y = 145*y + 7. Is y >= -2/755?
False
Suppose 0 = c - 7 + 2. Let a be (-70)/21*(-2)/c. Which is smaller: a or 1?
1
Let d = 0.004 + -20.004. Let y = 374 + -394. Let o = y - d. Which is smaller: -0.06 or o?
-0.06
Suppose 4*g = 4*z - 1256, 2*z - 12 = -2*z. Let a = 16171/52 + g. Is 1 > a?
True
Let y be (16/(-20))/((-2)/20). Let t = -1 + y. Let g(w) = w**2 - 4*w - 14. Let l be g(7). Are t and l equal?
True
Let u be 30/(-9)*(-18)/10. Let g(b) = b**3 + b. Let c be g(1). Suppose c*q = 6 + u. Is q != 0?
True
Suppose 5*y - 5 = -15. Suppose 5*g - 14 = -a, -5*a = -19 - 1. Let r be (-14)/18 + g/(-9). Are r and y equal?
False
Let f(q) = -2*q**2 + 2*q + 14. Let y be f(0). Let w be y/10 + (-2)/2. Which is smaller: 0 or w?
0
Let z = 265 + -152. Let n = z - 112. Let r be 0 - -9*4/(-102). Is n at most r?
False
Let j(u) = -12*u - 39. Let l = 22 + -38. Let g be j(l). Let v be (-618)/g + (-24)/(-6). Do 0 and v have different values?
True
Let a be (2*-1)/((-10)/15). Suppose 4*f + v - a = 10, -f + 5*v = 23. Suppose -f*m - 8 = -0. Which is smaller: m or -7?
-7
Let d = -83.3 + 95.24. Let a = d + -12. Let z = a - -3.06. Is 0.1 equal to z?
False
Let b be (-34)/6 - 252/(-42). Let q be 0/2 + 4/(-14). Which is smaller: b or q?
q
Suppose 5*z = 5*b + 25, -5*z - 2*b + 4 + 0 = 0. Let l be (-1)/(-1) + (3 - 2). Suppose -p - 9 = -0*p - l*j, 5*p + 2*j + 9 = 0. Is z less than p?
False
Let b = 114 + -81. Let o = -163/5 + b. Let a = 0.05 + 9.95. Do a and o have the same value?
False
Let r(b) = -b**3 - 10*b**2 - 22*b - 18. Let v be r(-11). Let y be 0/(-2) + 26912/78. Let f = y - v. Is f smaller than 0?
False
Let x(a) = -a**2 - 2*a - 1. Let r be x(-2). Let c be 0/(r - 1 - 1). Let d = 103/234 - -1/234. Is d > c?
True
Suppose -4*g = -10 - 10. Let w be (-20)/3*-12 - 2. Let d = w + -74. Is g > d?
True
Suppose -5*n - 11 = x + 11, -2*x - 3*n = 23. Let v be x - -16 - (2 + -1). Let l be 3/10*v/18. Is l greater than or equal to 1?
False
Let g be ((-1)/((-2)/(-4)))/((-5)/15). Suppose 39*q - 37*q = g. Which is smaller: 