= 10 - 8. Suppose 0 = -2*v - i*v. Let t be 1/(-3)*66/(-308). Does v = t?
False
Let y = 47 - 29. Let b = -19 + y. Let c = b + 2. Is c less than or equal to 6/13?
False
Suppose 5*p = -3*p + 1240. Which is bigger: p or 1?
p
Let n = -709 + 703. Let l = -2 + 3. Let g = l - 1.2. Which is greater: g or n?
g
Let p = 1.5 + -10.8. Let u = p + 11.52. Let h = u - 2.3. Is 0.1 less than or equal to h?
False
Suppose 0 = 28*a - 23*a + 3*f - 1253, -5*a + 1247 = -3*f. Which is smaller: a or 252?
a
Let b = -5131/29 + 177. Let g = 73/203 + b. Is -0.2 less than g?
True
Let t = 677/264 + -21/8. Is 0 greater than or equal to t?
True
Let w be (-14 - -12 - (-16)/(-1))*-11. Which is smaller: 197 or w?
197
Let x be 4/74 - 16796/(-1406). Let a be (7*2 - 2) + 2. Is x greater than a?
False
Let i = 2.6 + 15.4. Let g = i - 19. Is g less than or equal to -1?
True
Let t be (-40)/174*1155/910. Let h = 39146/29 + -1350. Let g = t - h. Which is smaller: 1/3 or g?
g
Let j = 1320613/12 + -109957. Let r = 94 - j. Let l = 0 + 0.2. Is l less than r?
False
Let k = 812 + -810. Is k less than 66/31?
True
Suppose -3 = -4*h + 9. Suppose -5*o = -h*t + 2, 2*o = 5*t - 3*t. Is -4/25 > o?
True
Let y(t) = t - 18. Let i be y(16). Let o be (i - -2)*1/3. Let s be (-34)/(-21) + 4/(-12). Is o less than s?
True
Let f(t) = -t**2 - 12*t - 96. Let h be f(-8). Is -65 smaller than h?
True
Let r be (-2)/21 - ((-495)/(-189))/11. Let p = 73/36 - 9/4. Which is bigger: p or r?
p
Suppose -2*x + 0*v + 3 = -3*v, 4*v - 10 = -2*x. Suppose 4*p + 113 = 129. Is x < p?
True
Let w(q) = -2*q + 7. Suppose -3*s = -4*x + 33 - 5, 3*s + 4*x = 4. Let o = 0 - s. Let d be w(o). Is d greater than or equal to -2/3?
False
Let t be 19/60 - (-4)/(-10). Let y = 39 + -43. Let r be ((-1)/y + 0)*4. Is r less than t?
False
Let u = -299 + 297. Are u and -52 equal?
False
Let t(n) be the first derivative of n**3/3 - 3*n**2/2 + 3*n + 12. Let z be t(5). Suppose -y + 4*f = -27 - 3, -4*f - 86 = -5*y. Which is smaller: y or z?
z
Let t(n) = -34*n**2 - 170*n. Let q be t(-5). Are q and 1/736 nonequal?
True
Suppose -s = 2*s - 9. Suppose -6 = -4*p + a - 3*a, -18 = -4*p + 2*a. Suppose -s*b + 6 = p. Is -0.06 bigger than b?
False
Let d be (2/7)/((-4)/(-28)). Suppose 0 = 3*w + d*w. Let v = w + 3. Which is greater: v or 1?
v
Let x = -384 - -3843/10. Let i(j) = -j + 2. Let z be i(-8). Let v be (2/z)/((-34)/85). Are x and v non-equal?
True
Let m = -36 - -24. Let y = 19 + m. Suppose 5 = -c - 0*c, -2*o = c + y. Are -1/47 and o equal?
False
Let o = 50 - 53. Let j(t) = -2*t + 5. Let y be j(o). Which is smaller: 10 or y?
10
Let k(h) = h**2 - 4*h - 4. Let b be k(-1). Which is bigger: -0.2 or b?
b
Suppose 4*j = -19 - 49. Let o be -3 + 2 + (-21)/1. Let m = 67/3 + o. Is j equal to m?
False
Let x = -54 - -32. Let o be (7 + x)*(-3)/(-6). Which is smaller: o or -9?
-9
Let x(u) = u**3 - 2*u**2 - 44*u + 51. Let t be x(9). Are t and 221 non-equal?
True
Let q = 21613077/20 + -1080091. Let m = q + -563. Which is smaller: -1 or m?
-1
Let u = 93.5 + -78. Let d = u - 15. Which is bigger: d or 0.02?
d
Suppose -4*h = 29 - 9. Let r be (-1 - -1) + (-2)/h. Is r < 13?
True
Suppose 4*r = 3*q + 8 + 9, -2*r = -2*q - 8. Let w(v) = 6 - 2*v**2 + r*v - v**3 + 3*v**2 + 3*v**2 + 0. Let o be w(5). Which is smaller: 13/2 or o?
o
Suppose -56*r - 118206 = -155*r. Is 1194 not equal to r?
False
Let f = -59.727 + -0.273. Is 2 smaller than f?
False
Let b(g) = -25*g + 243. Let f be b(9). Is f < 19?
True
Suppose 55*b - 73*b = 9630. Which is smaller: -534 or b?
b
Let v be -6 - (-19)/(-3)*(51 + -52). Let k be (2/6)/(72/(-27)). Which is bigger: k or v?
v
Let f = -2976 + 2834. Is -139 greater than or equal to f?
True
Let r be (-1*8/(-16))/(1/4). Suppose 2*a + a = 0. Is a >= r?
False
Let q(k) = -2*k. Let m be q(3). Let w be (m - -3)/1 - 6. Is w at most -8?
True
Let z = -3.19 - 0.01. Let t = 0.122 + 2.848. Let g = t + z. Which is smaller: 0 or g?
g
Let o be 87/18 + 2/12. Suppose 0 = -4*q + o*a - 24 + 135, -a - 115 = -4*q. Which is smaller: 28 or q?
28
Suppose 5*g = 2*s - 26, -3*s + 8 = -g - 4*s. Let b be g/316*8/6. Is b at least as big as 1?
False
Let b(c) = -c**3 - 5*c**2 - 2*c - 10. Let r be b(-5). Let s be -35*(-1)/(-12) - -3. Which is greater: s or r?
s
Suppose t = 4*j - 18 - 39, -t - 5*j - 93 = 0. Which is smaller: -72 or t?
t
Let d be (574/84)/(-41) - 158/(-1812). Is d less than -1?
False
Let q(h) = -h**2 + 1. Let c be q(-3). Which is bigger: -7 or c?
-7
Let w be (0 + 1)/((-2)/6). Let s(d) = d**2 + 4*d - 2. Let l be s(w). Let i = -12 - -6. Are l and i equal?
False
Let c = 2/295 + -1483/1180. Let x = 3 - 5. Which is smaller: x or c?
x
Let j = 0.8 + 0.2. Let m = 115 - 231/2. Which is smaller: m or j?
m
Let r be 2*60/16 - 6/4. Is 6 bigger than r?
False
Let o(f) = -9*f + 1. Let c = -3 - -2. Let l be o(c). Let u be l/(-25) + 2/5. Which is smaller: u or -1/3?
-1/3
Let n = -0.5 - -0.9. Let w = -0.5 + n. Let p = -3.1 - w. Which is smaller: 2/9 or p?
p
Let y be 22/(-22)*-14*1. Suppose 0 = -6*i - y + 2. Let h be 4/14 - (-40)/(-42). Are i and h non-equal?
True
Let r = 2/3281 - -9817/42653. Which is smaller: r or 1?
r
Suppose -22*s + 16*s + 642 = 0. Do s and 107 have different values?
False
Suppose -9 = -3*u + y, -2*u + y = 4*y + 5. Suppose -p + 6 = u*v - 3*p, -4*v + 3*p = -11. Which is smaller: v or -3/7?
-3/7
Let z = -2892/7255 + -2/1451. Is z greater than 507?
False
Let y(r) = r**3 - 16*r**2 - 16*r - 20. Let q be y(17). Let t be ((-9)/(-54))/(q/27). Which is smaller: -6/13 or t?
t
Let r = 0.149 - 0.109. Let q = -15 + 3. Let g be (-6)/4*(-2)/q. Which is smaller: g or r?
g
Let z be (-1)/((-8)/(-18))*157/(-1413). Which is smaller: z or -0.1119?
-0.1119
Let b = 3 + -6. Suppose -2*g + 20 = -5*q - 5*g, 0 = -5*q + 4*g + 15. Is q > b?
True
Let k = 226.9 - 227. Let c(f) = -23*f + 2. Let w be c(-2). Suppose 2*d = -2*d - w. Is k equal to d?
False
Let b = -199 - -189. Is 0 greater than b?
True
Suppose 0 = -8*k + 4*k + 20, 5*k - 23 = q. Let d(p) = -2*p - 6. Let r = -14 - -10. Let z be d(r). Is z less than q?
False
Let k be 42/18*21 - 6. Which is smaller: 42 or k?
42
Let l = 8/59 - 83/177. Is -0.032 > l?
True
Let t = 766 + -770.01. Let b = -4 - t. Let a = b - 0.11. Which is smaller: a or 1/4?
a
Let t = 89 + -190. Let j = t - -99. Is 0 < j?
False
Let z be 10/(3*(0 - 6/(-9))). Suppose -2*o = o - 18. Suppose -l + o = -1. Is z less than l?
True
Let c = -6346/341 + 204/11. Suppose 0*d = -3*d. Let v be d/(-1*(-5)/(-5)). Which is greater: c or v?
v
Let l = 0.97 + -0.27. Let a = 32.5 - 33. Which is smaller: l or a?
a
Let q be 1 + (-7)/((-21)/6). Suppose q*n = -22 + 94. Let j be (2/(-14))/(n/14). Which is smaller: j or -1?
-1
Let l be 2890/(-60) + 6/9. Are l and -49 equal?
False
Let u(o) = -o**2 - 37*o - 362. Let w be u(-32). Which is greater: w or -199?
-199
Suppose -3*j + 229 = -4*f, -f = -17*j + 21*j + 81. Are -59 and f non-equal?
True
Let s be 117/(-4)*8/111. Which is smaller: s or -3?
-3
Let o = -1812 - -117786/65. Let s(v) = -v**2 + 99*v - 557. Let j be s(6). Which is greater: j or o?
j
Let l = 0.501 + -0.071. Let j = l + -0.03. Which is bigger: j or 3?
3
Let a = 307 - 350. Is 0.03 <= a?
False
Let f(z) = -z**2 - 4*z - 18. Let p(a) = -a + 1. Let s(x) = f(x) + 4*p(x). Let j be s(-8). Is -14 < j?
False
Let m(c) = -c**3 - 13*c**2 - c + 25. Let g be m(-13). Suppose 0 = 6*l - g - 16. Is 12 at most as big as l?
False
Suppose -5*b + 2*b = -12. Let z be (-3419)/(-156) - b/6. Let y = z + -591/28. Do 0 and y have the same value?
False
Let g = 85.38 + 12.62. Is 2 >= g?
False
Let d be (2 - (-642)/(-316))*40/(-25). Is d >= -1?
True
Let k(x) = 8 - 3 - 2*x + 7 - x. Let a be k(7). Which is greater: a or 1?
1
Suppose -5*u - 1 = -2*u + 4*p, 5*p = 10. Let j = u - -12. Suppose v + 2*v - 15 = 0, 11 = 4*h - 5*v. Is j greater than h?
False
Let p be (1290/(-6))/(10 - 4). Which is smaller: p or -37?
-37
Let n(g) = 59*g**2 - 2*g + 8. Let u be n(2). Does 240 = u?
True
Suppose -n - 13 = 16. Let k = n + 46. Is 16 greater than or equal to k?
False
Let b = -87 - -84. Is b at most -17/10?
True
Let g = -2456 - -2112. Which is bigger: -342 or g?
-342
Let w be 333/(-222)*((-4)/6 + (-28)/(-6)). Suppose 35 = -10*b + 5*b. Which is greater: b or w?
w
Let a = 106 + -153. Let s = a + 939/20. Which is smaller: s or 1?
s
Let q be (-2)/13 + -5 + (-1992)/(-104). Which 