the same value?
False
Let x(f) = -2*f + 16. Let u be x(9). Let n be ((-5)/5)/(u + 3). Do n and 0.02 have the same value?
False
Let o = -361 - -368.4. Which is smaller: o or -2/5?
-2/5
Suppose -12 = 2*j - 2*y, 0 = -5*j - 0*y + 2*y - 18. Let x be (j/(-4))/(4/(-16)). Let n(h) = h + 1. Let l be n(x). Which is greater: 6/13 or l?
6/13
Suppose 2*q - 8 = -w, -2*w + 6 = 5*q - 3*w. Suppose 0 = 2*k, -q*j + 4*k = 11 + 13. Let g be (-2 - -3) + 8/j. Which is bigger: g or 5?
5
Let k = -1097 + 1007. Which is greater: k or -88?
-88
Suppose -3*h = 2*x - 14, h - 2 = -2*x + 4*x. Is 2/1079 != x?
True
Let h = 3.0016 - 0.0016. Is -51 >= h?
False
Let i = 1645 - 1637. Are 9/5 and i equal?
False
Let j = -1093475/247 + 4427. Let m = -1/13 - j. Suppose 0 = -3*n + 10*v - 5*v - 12, v = 3*n. Is m greater than n?
False
Let f(d) = d**3 - 8*d**2 + 5*d. Let c be f(3). Let y = c + 23. Is y smaller than -8?
False
Let w be 6968/234 + 2/9. Suppose -62 = 2*f - 4*f. Which is greater: f or w?
f
Let s be (-360)/5292*12/(-10). Is s > 0?
True
Let t(x) = 16 + x - x**2 - x**2 - 19 + x**3. Let j be t(2). Which is greater: j or -15/8?
j
Let m be 22/(-7) + 1 + 1. Suppose -4*a = -a. Suppose -3*d = -a*d. Which is smaller: d or m?
m
Let c = -229 + 231. Let q = -21 + 32. Is c greater than q?
False
Let w(h) = -h**3 + 59*h**2 - 116*h + 117. Let l be w(57). Is l bigger than 20?
False
Let p(j) = j**2 + j - 3. Let n be p(-3). Suppose -3*r = -n*s - 4*r - 2, -2*s + r = 8. Let w = -0.05 + 0.25. Is w at least s?
True
Let v = 5 + -3.9. Let p = 1.3 - v. Let b = -0.08 + 4.08. Is b > p?
True
Let z(k) = -k - 18. Let y be z(0). Let g be (-623)/63 + 2/y. Let p(u) = u**3 + 11*u**2 + 11*u + 8. Let x be p(g). Is x equal to -2?
True
Let f be ((-38745)/1430)/(-9) - (-6)/(-2). Which is smaller: -1 or f?
-1
Let b = 1240 - 8655/7. Suppose -4 = -2*s, -2*r + 3*r = -3*s + 3. Let a = b + r. Is a bigger than -1/3?
True
Let d = -1582.8 + 1583. Let m = -2 - -1.97. Let i = -0.37 + m. Which is smaller: i or d?
i
Let d = -1.1 + 0.1. Let t = -118 + 114. Is d at least as big as t?
True
Let m = 10 + -14. Let n = -77 + 68. Let s(v) = -v - 11. Let b be s(n). Which is smaller: m or b?
m
Let i be ((-4)/(-10))/((-1)/10). Let n be ((-16)/(-20))/(i/(-30)). Let z = n + -11. Is z at most as big as -3?
True
Let u = 7 + 5. Let f be 1*(u - -3)*-1. Let b be 26/(-10) - (-6)/f. Are -2 and b nonequal?
True
Suppose 5*i = 4*q + 9, 6*q = 5*i + q - 10. Suppose l - 195 = 4*l. Let g be 3/(1 - l)*-4. Which is greater: g or i?
i
Suppose 2*m + 5*o + 31 = 0, -m + 4*m - 1 = 2*o. Is -40/11 less than m?
True
Let z(n) = -2*n + 27. Let c be z(11). Which is bigger: c or -33?
c
Suppose 0 = -44*t + 46*t + 5*b - 17, 15 = 5*b. Is -10/73 at most t?
True
Suppose -3*v = 7 - 1. Let i(z) = -z**3 - 11*z**2 - 9*z + 5. Suppose a - 25 = 2*b, -5*b + 12 = 5*a + 37. Let f be i(b). Is v less than f?
False
Let p = -10989/70 - -157. Which is bigger: 0 or p?
p
Suppose -8*o + 95 + 145 = 0. Let m be (-9)/(-2) + o/20. Is 14 at least as big as m?
True
Let u = 16927/39 + -434. Let p(x) = x**3 + 18*x**2 + 46*x + 14. Let a be p(-15). Which is smaller: a or u?
a
Let b = 286 + -146. Let f = 140 - b. Which is greater: -2/25 or f?
f
Let y = -85 + 147. Let l = y - 41. Are l and 21 unequal?
False
Let x be (6 - (-392)/(-70))/(4/(-10)). Is -26/37 <= x?
False
Suppose -5 = 5*u - 15. Suppose u*c = 3*c + 2. Let l = -984/5 + 196. Is l at least as big as c?
True
Let o = 22 + -20. Let k(f) = -f**2 - f. Let h(d) = -13*d**2 + d + 2. Let z(l) = o*k(l) + h(l). Let q be z(1). Which is greater: q or -13?
-13
Let j(u) = -22*u - 13. Let o be j(7). Let p = 1839/11 + o. Are 1 and p non-equal?
True
Let b = -18 - -19. Let v be (-11)/(-55)*(b + 4). Let m be v - (-1 + 10/4). Is -2 less than m?
True
Let p = 3/53 - -147/212. Which is greater: 2 or p?
2
Let l be ((-26)/(-12) - (-12)/(-72))*-2. Let r be l + 10/4*2. Which is bigger: r or -2/75?
r
Let w(r) = 2*r + 11. Let n = 6 + -12. Let x be w(n). Let o = 8 - 11. Which is greater: x or o?
x
Let p = -3078 - -674080/219. Which is smaller: p or 0?
p
Let a be (8/(-50))/(38/(-95)). Which is bigger: a or 5.5?
5.5
Let r = -45 - -41. Let k = r + 3.9. Is k > -2/51?
False
Let l = -556 + 551.696. Let r = l - 0.726. Let a = r - -0.03. Is a at least as big as -1?
False
Let i(w) = w - 9. Let a be i(-7). Let n = a - -18. Suppose n*y - y - 17 = 0. Which is smaller: y or 18?
y
Suppose -13 = -5*c - 8. Let x be -16 - c/(-2)*0. Are x and -33/2 equal?
False
Let j = -5.652 - -0.052. Let v = 5.3 + j. Is -0.2 at most as big as v?
False
Let l(q) be the first derivative of q**4/2 - 4*q**3/3 + 2*q**2 + 3*q - 15. Let a be l(4). Is a greater than 82?
True
Let b be 3*-2*(-4)/12. Let u be b/7 - (-8)/(-28). Which is bigger: -3/68 or u?
u
Suppose -99*s + 247*s = -10952. Suppose 4*v = v - 225. Which is smaller: s or v?
v
Suppose 3*b - 3 = 3. Let s = 2.9 - 2.69. Let p = s - 0.21. Which is smaller: b or p?
p
Suppose -2*g + 20 = -4*l + 2*g, 4*l + 4*g - 20 = 0. Let p(v) = v**3 + 8*v**2 + 9*v + 10. Let h be p(-7). Let i be 100/72 + h/18. Is l equal to i?
False
Let b = 0.7 - 0.3. Let m = -0.7 + b. Let f = 1450.01 - 1450. Is m bigger than f?
False
Let z be 2*4*((-9)/(-36) + -1). Which is greater: -200/31 or z?
z
Let t = -3.1 - -3. Let g be (-2)/10 - (1 - 17592/(-65)). Let p = g + 272. Which is smaller: t or p?
t
Let n = 76 + -77.64. Let p = n + -0.36. Which is smaller: p or 1?
p
Let l be -16 - ((-4)/4 - -4). Which is smaller: l or -26?
-26
Let v(w) = w**3 - 6*w**2 + 7*w - 11. Let d be v(5). Which is smaller: 1/77 or d?
d
Let k(t) = 2*t**3 - 29*t**2 - 23*t + 12. Let d be k(15). Let a = d - -113. Which is bigger: a or 2?
a
Let r = 0.05 - 7.05. Does -27 = r?
False
Let w(x) = 12*x - 604. Let p be w(51). Which is greater: p or -0.3?
p
Let c = 2 - 1. Let j be (-132)/363*(-2)/(-16). Is j at most as big as c?
True
Suppose 4*j - 3*r - 29 = 2*r, -3*j + 2*r + 13 = 0. Let a = 41 - 37. Let c be ((-9)/132)/(1*(-6)/a). Which is greater: c or j?
j
Let y = -62 + 68. Suppose -3*d - 6 = 3. Let g be (-18)/84 - d/y. Is g less than or equal to 2/11?
False
Suppose 0 = 5*f - 3*f + 26. Let p(g) = g**2 - 3*g - 12. Let j be p(0). Which is greater: f or j?
j
Let b = -4755 + 4754.93. Let w(c) = c**2 - 3*c + 4. Let n be w(3). Which is greater: b or n?
n
Let a be (-4)/2 + 47 + 0. Suppose i + a = -4*i. Is -9 >= i?
True
Let g = 1 + 5. Let b be (-6)/15 + 395/(-75). Let v = g + b. Which is smaller: 4/7 or v?
v
Let a = -87 - -87. Let u be a - -1 - (-2 + -1). Suppose 0*f = 3*f - 18. Which is smaller: f or u?
u
Let q(r) = r - 5. Let v be q(-7). Let t(m) = -m - 8. Let z be t(v). Let n be -3 + z + 33/15. Which is bigger: n or 4?
4
Suppose -16*m + 19*m + 93 = 0. Let w = m + 19. Let y = w + 12. Is -2/57 < y?
True
Let z be 13/(-6) - (3 + 18)/(-7). Is 2 bigger than z?
True
Let f = -839/3 - -279. Let t = -0.41 - -1.03. Do t and f have the same value?
False
Suppose 0 = 8*w + 12 + 4. Let k be (w/63)/((-2)/48*4). Is -0.1 < k?
True
Let y be (1/(-3))/(12/(-504)). Let j = -12 - y. Is -23 at least j?
True
Let s = 313 - 317. Which is smaller: 36 or s?
s
Let f = -1.142 + 0.142. Is f <= 472?
True
Let x(s) = -3*s**3 - 44*s**2 + 20*s - 30. Let r be x(-15). Is -105 equal to r?
True
Let q = 32605/38 + -858. Is q bigger than 1?
False
Let q = 14 - 14. Suppose -8*f + 5*y + 28 = -5*f, q = f - 5*y - 6. Is f at least 13?
False
Let x be (-1 - 0)/((-1)/(-19)). Let n be 14/28 - (-54)/4. Let c = n + x. Which is bigger: -4 or c?
-4
Suppose 9*o - 5*o = 24. Let t be (o - 2)*(-8 - 0). Is -32 at most as big as t?
True
Let r = -0.309 + 0.339. Which is smaller: r or -3/2?
-3/2
Let g(f) = -8*f + 282. Let n be g(39). Is -26 greater than n?
True
Let p = 8/47 + 476/517. Suppose 4*r - 4 = -3*o + 15, r = 4*o. Is o bigger than p?
False
Let d = -13/834 + 9401/549606. Is d not equal to 1?
True
Suppose 5*d = -7 - 3. Let p be 315/(-84) - 8/d. Which is bigger: p or -0.01?
p
Suppose -2*g = s + 199, 4*g + 4*s + 396 = -0*g. Are -100 and g unequal?
False
Suppose -3*l + l = a + 6491, 5*l + 2*a = -16229. Let r = l + 246767/76. Let k = r + -13/19. Do 1/2 and k have different values?
True
Suppose -5*f = f + 18. Let v(w) = w + 2. Let y be v(f). Let i = -272/15 - -52/3. Do y and i have the same value?
False
Let v = -1 + -26. Let x = v - -28. Are -2/9 and x nonequal?
True
Suppose 1 + 0 = -t. Let h be (-2