to 3?
False
Let z be (468/(-231) - -2)*-7. Let d(m) = m**2 - 3*m + 3. Let g be d(3). Suppose -g*u = -l - 5, -2*u + 2 = -2*l - 0*u. Is l not equal to z?
True
Let y(j) = -5*j + 7. Let x be y(6). Let d = x + 27. Suppose -20 = d*n - 8*n. Are n and 5 non-equal?
False
Suppose 0 = 5*t + 4*b + 43, 4*b - b = -4*t - 34. Which is greater: -33/5 or t?
-33/5
Let n be 5 - ((-12)/(-15))/(4/(-1490)). Are 302 and n unequal?
True
Let z(l) = -l**2 - 3*l - 11. Let u be z(-5). Let o = u - -24. Let c be o*1*(-1)/3. Do c and 4/13 have the same value?
False
Let r = -39 + 37. Let l be r + -1 - (60/56 + -4). Let q = -1 - -1. Is l at most q?
True
Let u(t) = 124*t + 156. Let k be u(-2). Is -92 less than k?
False
Let d = 2615/1128 + 8/141. Let t = d - 17/8. Let j = -2 - 11. Do j and t have the same value?
False
Let c be (-3)/8 - 804/(-352). Which is greater: 1 or c?
c
Let q(v) = v**2 - 9*v + 18. Let j be q(6). Suppose j = -11*a + 10*a. Suppose -3*d - 4*z - 4 = -2*z, -d - 3*z = -1. Which is bigger: d or a?
a
Let x = -1638 - -357083/218. Are -1 and x unequal?
True
Let l = 23.3 - 23.3. Is 151 >= l?
True
Let q = 1176 + -1016. Which is smaller: 161 or q?
q
Suppose -3*j + 3*l = 9, -j - 3*j = 2*l - 6. Suppose s + 1 = -j*s. Let a be s + -2 + 14/4. Is a <= 1?
True
Let g(y) = -2*y - 10. Let v be g(-7). Suppose -s + 4*s - 12 = 3*t, -v*s + 2*t = -22. Suppose -2*h - 2*a + s = -1, -2*h - 3*a = -12. Is h > -1/2?
True
Let z = -1033 - -910. Which is greater: z or -121?
-121
Let x = 44 - 75. Do x and -33 have the same value?
False
Suppose -4*s = 4*z - 8, -3*s = z - 2*z + 2. Suppose -m - 142 = 6*h - h, 4*h = 3*m - 125. Let f = h + 28. Is f >= s?
False
Let u = 0.036 + 0.044. Let p = 0.18 - u. Let x be (1*2)/2*2. Is x at least p?
True
Let d = -33.001 - -0.001. Let x = 12 + d. Let y = x + 21. Is -2 less than y?
True
Let w(u) = -u**3 - u**2 - u - 2. Let j be w(-2). Suppose k = -a - 21, -k + 2*k - 59 = j*a. Which is greater: a or -15?
-15
Let j(a) = 2*a**2 - 17*a + 10. Let v be j(7). Let u(b) = -b + 4. Let s be u(5). Let t be 112/(-10) + s/(-5). Is v < t?
False
Suppose -4 = -4*h - 3*b, -12 = -h + b + b. Let k be (-4)/8*56/(-10). Which is smaller: h or k?
k
Let i(y) = 2*y**3 - 2*y**2 + 3. Let b be i(-2). Let s be (-47)/b + (-2)/(-6). Is 0 less than or equal to s?
True
Let x be (-2)/(-7) + 10/(-35). Suppose x = -5*k + p + p - 14, k = p - 1. Let c be k/((-2)/(-6)*3). Is c > -0.3?
False
Let b = 13 + -12. Let g be -5 - -2 - (-3)/(-3). Is g > b?
False
Suppose -21*i + 185 - 17 = 0. Let u = -63 - -62.7. Which is bigger: i or u?
i
Let a = 331492/85 + -3900. Let i = 227/1870 + a. Let o = i + -5/22. Which is greater: o or -4?
o
Let n be 12/(-2) + 3 + -2. Let v = -1 - n. Suppose 0 = -v*x + x + 3. Which is smaller: x or -1?
-1
Let q be (-4)/(1*(1 + (-4 - -2))). Let w be ((-6)/q)/((-9)/(-7)). Which is smaller: w or 1?
w
Let j be ((1 - -4) + (-45)/10)*842. Which is smaller: j or -1?
-1
Let s = -25 - -20.03. Let a = 0.03 - s. Let k = a - 7. Is k < 4?
True
Let v = -8.6 + 8. Let d = -0.1 - v. Let f = 0.6 - d. Is 0.4 at least as big as f?
True
Let x be (32/(-6) - -5)*57. Do 4 and x have different values?
True
Let l be -6 + (5 - (-10)/5). Which is smaller: 2/233 or l?
2/233
Let u = 0.28 + -0.49. Let o = u - -0.21. Which is smaller: 31 or o?
o
Let p = -3/233 - 439/2097. Let w = 8.96 + 0.04. Which is greater: p or w?
w
Suppose r - 2*c + 6*c - 21 = 0, 5 = 5*r - 5*c. Suppose -r*v + 2 + 13 = 0. Suppose -6*j + v*j = -9. Which is greater: 4 or j?
4
Suppose -7*h - 2*h = 90. Which is smaller: 14 or h?
h
Let m be 7081/(-609) + 10 + 5/3. Is m greater than or equal to 0?
True
Let t = -1.026 + 0.026. Let g = -7.91 + -0.09. Is t < g?
False
Let w = -1857/2 + 924. Suppose 0 = -4*i - 20, -t + 4*i = -6*t - 50. Which is smaller: t or w?
t
Let s = 3557987/78 - 45616. Let z = s + 3/26. Let b be (-14)/(-6)*6/4. Is b at most as big as z?
False
Let g = 923 - 922. Which is greater: g or -161/5?
g
Let n = -6 + 11. Let c be -1*(-3)/3*n. Suppose -l - 2 = -h, 0 = 4*l + c + 7. Are -6 and h equal?
False
Let x = -3 + -70. Let o = 366/5 + x. Is 0 at least as big as o?
False
Let k(m) = -m + 2. Let h be 6/(-1 + 2/(-4)). Let b be k(h). Suppose -3*l + 1 = -3*p - 2, -p = -4. Is l at least as big as b?
False
Suppose -2*m + 3 = -27. Suppose -17 = -l - 2*j, -5*l + 3*j = 26 - 111. Which is smaller: l or m?
m
Let c = -0.05 - -1.25. Let y = c - 1.4. Which is smaller: y or -2/89?
y
Let n = 40 - 60. Let t be (-3 - (-36)/n)*(-1)/2. Which is bigger: t or 2?
t
Suppose -5*v = 2 - 17. Suppose q - 7 = 5*p, -2*q + 6*p + 7 = v*p. Let o = -132 - -140. Is q greater than o?
False
Let s = 13582 + -13492. Let a = 0 - -0.1. Which is smaller: s or a?
a
Let p = 656 - 548.8. Is 2/7 < p?
True
Suppose 0 = -3*t + 2*k + 8, 5*k = -5*t - 12 + 42. Let h be ((-16)/9)/(t/(-6)). Which is greater: 2 or h?
h
Let g = 310 - 311. Is 1/570 > g?
True
Let s = -47 + 41. Let f be (s/2)/(-6)*-1. Is f >= 1/4?
False
Let o = -18.1 + 3.1. Let t = -6 - o. Let x = -3 + t. Do -0.1 and x have the same value?
False
Let k be -6*(-2)/(-8)*2. Let i = -0.86 - -0.86. Is k at most as big as i?
True
Let t(c) = 13*c - 46. Let b be t(11). Do b and 97 have different values?
False
Let t = 0.596 - -134.404. Is t less than 0.3?
False
Let v be 12/(-2) + 0/(-2). Let o be (-3 - (-146)/v)*3. Let i = 412/5 + o. Which is smaller: i or -1?
-1
Let h be 5/(5/(-2)) + -11 + 12. Is h at least 9/37?
False
Let b = 5 + -2. Suppose -b*v = -4*v - 19. Which is bigger: v or -18?
-18
Let c(i) be the first derivative of i**4/4 + 3*i**3 + 7*i**2 + 6*i + 15. Let w be c(-7). Which is smaller: 3 or w?
3
Let n be (4 + -72)/(33/11). Which is bigger: -22 or n?
-22
Let g(f) = -2*f + 7. Let c be g(-4). Suppose -3*r + c = 2*r, 3*o = -r. Which is bigger: 6/13 or o?
6/13
Let d = 178 + -176. Which is bigger: -0.1 or d?
d
Let d be (-238)/(-170) + 337/(-5). Which is bigger: d or -4?
-4
Suppose -2*w + 3*b = -0*b - 19, 0 = 5*b + 15. Suppose -1 = w*s + 24. Which is bigger: -3 or s?
-3
Let f(t) = -3*t + 13. Let l be 0/(-7 + -2) - (1 - 5). Let j be f(l). Which is smaller: 3/44 or j?
3/44
Let a be ((-2)/41)/(4 - 5). Let f = -3 + 4. Are f and a non-equal?
True
Let v = -0.94 + 1.44. Let l = -0.08 - -0.1. Let j = l - 0.12. Which is smaller: j or v?
j
Let m = 159 + -160. Which is smaller: m or 4/69?
m
Let b = -244 - -245. Is b greater than -137?
True
Let w = 9 + -6. Let a be (-1)/(2 - (-15)/(-9)). Let l be -4*(13/(-4) - a). Is l != w?
True
Let r = 3376/9 + -7007/18. Is r at least -13?
False
Let z be (-40)/(-9) + -2 + (-20 - -18). Which is smaller: z or -7?
-7
Let z be 0*1/(-2) - 42. Let u = -25895/6 + 8549/2. Which is greater: u or z?
u
Let w = 47/16 - 3391/1040. Let n = w - -108/455. Let q = -12/35 + n. Which is smaller: q or 0?
q
Let f be -6*(-2)/(-4)*-1. Suppose 309 = -f*u + 1305. Let i be -2 + -3 + u/68. Which is greater: -0.2 or i?
i
Suppose 3*t - 19 = s, -t - 3*s + 30 - 7 = 0. Let m(q) = q**3 - 2*q**2 + q - 2. Let f be m(2). Which is smaller: t or f?
f
Suppose 5*l + 6*g - 14 = 3*g, -3*l + 7*g = 18. Which is smaller: l or 21/47?
21/47
Let p = -1093 - -1091. Is -26/31 equal to p?
False
Let x = -400 - -423. Which is smaller: 70/3 or x?
x
Suppose -2*z + 4 - 38 = 0. Let f = z - -6. Let u = f - -16. Which is smaller: u or 1?
1
Let c = -2131 - -2042. Which is smaller: -91 or c?
-91
Suppose -3*v + 28 = 13. Suppose 0 = 3*i + v*k + 36, 7*i + 4*k + 47 = 2*i. Is i > -4?
False
Let p = -11/7 + 151/105. Is p <= 3.5?
True
Let l = 1.1 + -0.91. Let j = l + 12.81. Let f = 3 - 3. Which is smaller: f or j?
f
Suppose 0*g = 4*g - 2*a + 4, 5*a = -3*g - 16. Let k be 8/12*g/3. Which is greater: 0 or k?
0
Let x = 74/63 + 4933/252. Suppose 3*g + 9 = -54. Let a = g + x. Is 3/2 greater than a?
True
Let y be 1131/357 + (-6)/21 - 2. Which is bigger: y or 0?
y
Suppose w - 7*j - 14 = -2*j, 2*j = 3*w + 10. Let z(k) = 3*k - 1. Let c be z(3). Let v be (-6)/c*2*w. Which is smaller: 1 or v?
1
Let u be (21/(-35))/(349/(-170) + 2). Which is smaller: 10 or u?
10
Let n be 54/(-24) - (-21)/4. Suppose 0 = -4*h - 2*q + 35 + 23, 11 = 3*h - 5*q. Is h less than n?
False
Let p = -18.51 - -18. Let f = p + 0.41. Which is greater: -0.2 or f?
f
Let h = 822 - 194. Which is greater: 630 or h?
630
Let x(i) = -i**2 - 12*i + 1. Let l be x(0). Which is greater: l or -4/65?
l
Let v = 36.2 - 35. Let g = v + 1.8. W