0 = -t*n - 2*d + 11. Is 3 greater than n?
False
Let j(y) = -y + 7. Let c be j(0). Let v = -9 - -9.7. Let m = -0.3 - v. Is m at most c?
True
Let o = 9 - 11.8. Let x = 19 + -19.2. Let l = x + o. Which is smaller: l or -2?
l
Suppose -19*x + 65 = 65. Which is smaller: x or -1/205?
-1/205
Let h be ((-3)/(-15))/(-2*2/(-424)). Is 21 equal to h?
False
Suppose 8*c = 3*c + 70. Suppose 0 = o - 0*o - c. Let p be (3/o)/((-6)/(-8)). Does 2 = p?
False
Suppose 8*n + 72 = -n. Let q = 10 + n. Is q at least -0.1?
True
Let o = 11 + -27. Let v be (2/o)/((-10)/(-60)). Let n(i) = i**2 + 3*i + 1. Let x be n(-1). Which is smaller: v or x?
x
Let m(n) = 34*n + 6. Let y be m(-15). Let c = -2031/4 - y. Do c and -2/3 have the same value?
False
Let c = -74 + 77. Let a = 5 + -2. Suppose 3*y + q - a = y, -5*y - c = -q. Which is smaller: -1/41 or y?
-1/41
Suppose -8*b + 45 = -11*b. Suppose 0 = -3*u + 3, 4*u + 61 = 3*l - 8*l. Which is greater: l or b?
l
Let x be (57/(-15) + 1)*1*-5. Suppose x*y - 12 = 10*y. Are 5 and y equal?
False
Let j = -905.45 - -884. Let f = -4.65 + j. Let p = f - -26. Which is smaller: -3/7 or p?
-3/7
Let i = -57.1 - 56.9. Which is smaller: 6 or i?
i
Let o be 182/90 - -1 - 3. Suppose 5*f + 5*i - 16 = -11, 3*f + i = 1. Do f and o have the same value?
False
Suppose 0 = -0*y - y - 2. Suppose 7 = 10*s - 3. Do s and y have the same value?
False
Suppose 9 = 3*m - 2*k, -m + 5*k = -20 + 4. Suppose -x + 3*d + d + m = 0, 5*d - 5 = 0. Suppose -x*z - 2*n = 25, -3*n + 3 = 18. Which is smaller: z or -4?
-4
Let v = -471 - -479. Do v and 6 have different values?
True
Let h = 156 + -194. Is h < -39?
False
Suppose -580 = 2*t + 2*x, 0*x + 5*x = 3*t + 862. Is -289 at most as big as t?
True
Suppose -4*n + 220 = 5*g, 5*g + 5*n = -0*g + 215. Is g equal to 612/13?
False
Let j = -535 + 665. Is 130 less than or equal to j?
True
Let b = -9/14 - -8/7. Suppose -126 = 10*v - 3*v. Let q be ((-6)/60)/(v/(-8) + -2). Which is greater: q or b?
b
Let d = -1446 - -1169. Is -0.2 less than or equal to d?
False
Let o = 769 - -142. Which is greater: 0.1 or o?
o
Let m(z) = 2*z**3 - 28*z**2 + 32*z + 3. Let t be m(11). Is -370 greater than t?
True
Let a(d) = 3*d**2 + 2*d - 5. Let s be a(2). Suppose -s*q = -q + 130. Is -14 greater than or equal to q?
False
Let k = 0.13 + 5.97. Let y = -4.2 + k. Let o = y - 0.9. Is o <= 1?
True
Let s = 1/4 + -1/20. Let w = 1749/28 - 110/7. Let x = w + -47. Which is smaller: s or x?
x
Suppose 0*v = -2*v. Let r = -931 - -913. Which is bigger: v or r?
v
Let b = 8.064 + -0.064. Which is greater: b or 3?
b
Let z = 0.017 + -13.317. Let b = 14 + z. Let k = -40/9 - -262/63. Are b and k nonequal?
True
Let g = 78 + -74. Suppose -s = -3*z - 2, -g = -2*s - z + 6*z. Let q(u) = -u. Let k be q(1). Is k greater than s?
False
Let v = 3 - 3. Suppose a = -4*l + 20, v = -2*a - 5*l + 27 - 2. Let n be -3 + 6 - (3 + a). Is n >= -1/4?
True
Let a = 37.6 - 2.6. Let c = -34 + a. Is c > -3.9?
True
Suppose -3 = y - 2*s - 2*s, 0 = -4*y - 2*s + 6. Let j = -34 + 24. Let m be (-4)/6*(-2 + (-17)/j). Is y at most as big as m?
False
Suppose -4*q + s = 42, -53*s + 52*s + 2 = 0. Let j be 3*(1 + (-9)/2). Which is smaller: q or j?
j
Let k = -41 - 19. Is -55 greater than k?
True
Let n = -83/3 + 406/15. Let x = 18 - 19. Let t = 0 - x. Do t and n have the same value?
False
Let b = 120/1421 - -6/49. Is b less than -0.1?
False
Let j = -4670/29 - -161. Which is bigger: j or 1?
1
Let a = 0.85 - -1.25. Let v be (0 - 2)*78/240. Let q = -1/4 - v. Is a != q?
True
Let i be (14 + -4)*6/(-16). Let p be ((-8)/48)/(2/(-4)). Are p and i equal?
False
Let n = -10 - -11. Suppose -6*h - 13 = -n. Is 0 equal to h?
False
Suppose 0 = -3*g - 3*p - 2 + 26, 4*g = -3*p + 27. Suppose g*f - 71 = 4*a, -4*f + 47 + 35 = a. Is 22 greater than f?
True
Suppose 20*z - 15 = 165. Let v(t) = t**3 + 4*t**2 - 8*t - 4. Let n be v(-5). Is n at least z?
True
Let p(s) = s - 4. Let m be p(3). Let v be 2255/(-2583) + 4/9. Are m and v nonequal?
True
Let g = -590 - -605. Let k = 0.3 + -0.1. Which is smaller: g or k?
k
Suppose -231 = 2*n - 1245. Let t be (n/(-12) - 1) + -3. Let c = -46 - t. Which is greater: c or 0.7?
0.7
Suppose -5*d + 110 = -4*m, -2*d - 5*m = -0*m - 11. Which is smaller: d or 22?
d
Suppose -2*s - 2 = 2*l + 3*l, 0 = 4*l + s + 1. Which is smaller: l or -56?
-56
Let b(j) = 0*j + 2 + 6*j - 4*j. Suppose 0 = -6*p + p - 15. Let y be b(p). Which is greater: -1 or y?
-1
Let m(x) = 48*x - 404. Let j be m(9). Let y = -37 - -65. Is j <= y?
True
Let d be 3/6 - 9/(-2). Let q be 63/(-14) - -5 - d/2. Which is smaller: 34 or q?
q
Suppose 5*n + 0*n + 3543635 = 0. Let r = 53859501/76 + n. Let o = -197/4 - r. Which is bigger: o or -1?
o
Suppose 0*o + 4 = -4*o. Let a = 4 + o. Suppose -2*d + 18 = a*l, -4*d - l + 14 + 2 = 0. Is d smaller than 5?
True
Let s be ((-696)/(-220))/(-6) + (-16)/(-20). Is s > -8?
True
Let u = -14 + 9. Let v be (2 - 7) + (-2 - u). Let w = -7 + 5. Is v at most w?
True
Let h(o) = o - 6. Let u be h(11). Suppose -u*s + 116 = -84. Which is greater: s or 42?
42
Let y = -2659/3 - -887. Do 875 and y have the same value?
False
Let c = -114 + 56. Let g = -136 - -79. Is c at least g?
False
Suppose -1330*z + 2158 = -1317*z. Is z < 166?
False
Let d be (-21)/105 + -47*(-2)/570. Is 3/2 > d?
True
Let r = 21.53 - 20.2. Let p = r - 0.33. Which is smaller: -25/4 or p?
-25/4
Suppose 3*x - 4*x = 3*i - 12, 0 = 2*x + 3*i - 12. Suppose -h - 5*v = -19, x*h - 11 = -2*h - v. Suppose -k - 8 = k, 5*k = h*b - 8. Is -2 > b?
True
Let c be 24/(-18)*(1 + 4722/12). Is -527 less than or equal to c?
True
Let f(y) = -7*y**2 - y - 2. Let t(k) = 15*k**2 + k + 4. Let i(z) = -13*f(z) - 6*t(z). Let r be i(-6). Let a be 4/(-5)*r/8. Which is smaller: a or 1?
a
Suppose 0 = -4*z - 5*p + 2*p - 52, -p = -4*z - 52. Let i be -1 - z - (-17 + 15). Suppose 13*f - 285 = -6*f. Is f > i?
True
Let i = 9.039 - 9.1. Let f = -0.261 - i. Which is smaller: f or 1.3?
f
Let r(g) = 0 - 1 + 0*g + 0 - g. Let i be r(-1). Suppose i = -8*j + 3*j - 5. Is -3/5 not equal to j?
True
Let x be 2 + 8276*(-5)/35. Let a = -1178 - x. Which is greater: 1 or a?
a
Let c(i) = i - 2. Let w be c(4). Let l(r) = 3*r + 4. Let x be l(-3). Let o = x + 6. Which is bigger: o or w?
w
Let w = 0.33 + 12.67. Let z = -12.5 + w. Let f = 0.5 - z. Which is bigger: 2/5 or f?
2/5
Let r(o) = -o**3 + o**2 + 7*o - 3. Let i be r(3). Let c(f) = -2*f + 7. Let v be c(6). Let m be v/(-5) + (-1 - i). Do m and 2/7 have the same value?
False
Let k be 2*1/2*-2. Let c be k*5/(-160)*-14. Which is smaller: 0 or c?
c
Suppose 0 = -n + 11*n - 230. Which is bigger: n or 22?
n
Let s = 456 - 455. Let o(r) = r**2 - 9*r - 2. Let n be o(7). Let f be (-2*(-2)/n)/1. Which is smaller: s or f?
f
Let x = -19475 - -17235377/885. Which is greater: 0 or x?
x
Let f be (-40)/140 - 6*(-78)/560. Which is smaller: f or 2/31?
2/31
Suppose 5*w - 6 - 8 = -2*z, -5*z + 20 = 5*w. Let o be (4/84)/((-1)/z). Let t = -3/7 - o. Which is smaller: 1 or t?
t
Let s = 0.85 + 0.25. Let x = 0.065 - -0.035. Let v = s - x. Is v equal to -7?
False
Let g = 1316 - 1315. Which is bigger: g or -2/6267?
g
Let m be ((-98)/4)/((-2)/4). Let o be (-10)/(-7) + 28/m. Is o less than -6?
False
Suppose 0 = -6*t + 54 + 174. Which is smaller: 112/3 or t?
112/3
Let l(t) = -4 + 14 - 5 - t. Let c be l(4). Let n be (2/20)/(0 + -3). Which is greater: c or n?
c
Suppose 14 = 3*l + j, 4*l - 4*j + 3 + 5 = 0. Are 0.16 and l nonequal?
True
Suppose x = -5*y + 142, -2*x = -4*y - 3*x + 113. Let h = -289 - -317. Which is greater: y or h?
y
Let q(v) = v**3 - 6*v**2 + 2*v + 2. Let t be q(6). Suppose -16 - 4 = -4*c + 2*b, c = 5*b + t. Let d be 5/((6/c)/3). Is d > 10?
False
Let v = 2402338368448/3676539461595 - -841/9110335. Let u = v + 2/12229. Let x = u + 1/77. Which is greater: 2 or x?
2
Let a = 14572/93 + -470/3. Which is smaller: a or 0.17?
a
Let w(o) = o**3 - 17*o**2 - 21. Let q be w(17). Let c = -39 - q. Which is smaller: c or -19?
-19
Let m(p) = -p**2 + 15*p - 15. Let l be m(14). Let t be l*((-3)/14 + 1/2). Is t less than -63?
False
Let b = -117.39 + 116. Let d = b + 1.49. Which is smaller: d or 23?
d
Let g = 13618885 - 612879347/45. Let b = -656 - g. Which is bigger: -1 or b?
b
Let r(v) = 37*v**2. Let g be r(-1). Suppose -37 = -3*l - g. Is -7/16 <= l?
True
Let k(z) = -2*z**2 - 18*z + 19. Let b be k(-10). Suppose 49 