ater: r or u?
r
Let z = -12 - -16. Suppose -z*a = 5 + 11. Let n be (a/8*-4)/8. Which is smaller: 0 or n?
0
Let t = 84 - 81. Suppose 6*k = -t*k - 396. Which is bigger: 0 or k?
0
Let l(v) = 4*v - 2. Let f(i) = 1. Let w(c) = -6*f(c) + 2*l(c). Let a be w(3). Let h be 15*3/(-1 - -4). Does a = h?
False
Suppose 4*h = 5*r + 1, -596*h + 595*h - 1 = 0. Let w = -213/638 + 11/29. Is w < r?
False
Let o = 5045595 + -292632967/58. Let h = -199 + o. Suppose w + 3*f + 6 - 9 = 0, -1 = -f. Is h less than w?
False
Suppose -67*p + 71*p + 4 = 0. Which is greater: p or -1/54?
-1/54
Let r = -0.2 - -0.2. Let c(p) = -p**3 + 9*p**2 - 8*p + 4. Let a be c(8). Let j be 3 + 16/a + -4. Which is smaller: j or r?
r
Let h = -736590/143 + 5151. Which is smaller: -1 or h?
-1
Let q = 0.01 - 0.04. Let t = 0.57 + -0.5. Let h = t - q. Is h at most as big as 0.1?
True
Suppose 0 = -5*h - 2*a + 7, 10*h + 5*a = 9*h + 6. Which is smaller: h or 2?
h
Let s be 17/((-4335)/(-36))*(-100)/6. Which is bigger: -1 or s?
-1
Suppose 3*p - 6*p = -90. Let g be 9/12*p/9. Suppose 3*h + 2 + 1 = 0, -3*u + 9 = 3*h. Do g and u have the same value?
False
Let v = 71 + -67. Let u be (v/(-12))/(-2 + (-3)/(-1)). Are u and 50 nonequal?
True
Suppose 0 = -2*x + x - 172. Let n = x + 1208/7. Let c be 3 + (-1 - 2 - -1). Which is greater: n or c?
c
Let s = -3.2 + 1.2. Let f = 1.1 + 7.9. Which is smaller: f or s?
s
Suppose -21 = -3*j - 96. Let s = 31 + j. Suppose -5*p = 5*y - 45, 2*p + 12 = 3*y + y. Do y and s have different values?
True
Let t = -17 - -29. Suppose -5 + t = 7*r. Is r smaller than -4/11?
False
Suppose -90 = 2*n + n. Let t be (n/(-70))/(0 + (-3)/2). Are 13 and t nonequal?
True
Let a be 6/9 + 6/(-9). Suppose 4*k = -a*k + 20. Suppose -6*g - k - 7 = 0. Does -1 = g?
False
Let p(i) = -2*i - 11. Let h be p(-7). Let w be (-1)/h + (-17)/(-33). Is w smaller than -0.06?
False
Suppose -n + 722 = 630. Which is smaller: 94 or n?
n
Let p be (0 + 2)*(4 + -3). Suppose -p = -2*g + 2. Let z be (-3)/(-9) - g/(-3). Are z and 2 nonequal?
True
Let u = -107 - -117. Which is smaller: u or -3?
-3
Let u(r) = -r**2 + 6*r + 45. Let f be u(10). Is f not equal to -1/43?
True
Let p = 145/399 + -4/133. Which is smaller: -21.7 or p?
-21.7
Let d be (4/(-30))/(1584/(-6831)). Are d and 0 nonequal?
True
Let q(g) = -g**2 - 65*g + 195. Let r be q(-69). Let l(j) = 41*j + 1. Let m be l(-2). Is m != r?
False
Let s = -0.072 - -0.203. Let o = s + 0.069. Which is bigger: 0.13 or o?
o
Let r be 16/(-56) - 79/(-7). Suppose -3*n + r + 4 = 0. Let o be 2 + (-2)/n*-5. Which is smaller: o or 8/3?
8/3
Let l(q) = 8*q**2 + 2*q + 26. Let d(w) = 3*w**2 + w + 9. Let g(c) = 11*d(c) - 4*l(c). Let s be g(-5). Suppose -5*i + 9 + 21 = -s*y, 4*y + 18 = i. Is i < 0?
False
Let p = 1567 + -1507. Suppose 269 = 4*t - 0*t - 5*u, 5*u = -25. Is t smaller than p?
False
Suppose -2*f = p + 121 + 68, 2*p - 92 = f. Are -92 and f equal?
False
Suppose 2*z = 5 - 1. Let t(c) = c + 2 + c + 4*c**2 - z*c**2 - 3*c**2. Let n be t(3). Which is smaller: n or -0.1?
n
Let a(b) = b**2 - 3*b - 38. Let s be a(7). Let h(n) = n**2 + 16*n + 31. Let d be h(s). Which is smaller: -30 or d?
-30
Let p be (-6)/(-16) - (-7 - 2715/(-520)). Is p at most -1?
False
Let z = 607 + -607. Which is bigger: -2/1951 or z?
z
Let i = -163 + 162.7. Is -29 less than i?
True
Let b be -143*((-8)/(-5) + 1). Let j = 368 + b. Is -5 at most j?
True
Let t = 28 - 86. Let x = t - -56. Which is smaller: 2 or x?
x
Let b(z) = -z**3 - z**2 + 2. Let o be b(0). Suppose -o*y + 16 = 4. Suppose y*a = -4 + 22. Which is greater: a or 2?
a
Let n = 154 - 5697/37. Let s = -72 - -54. Let b = -18 - s. Is b bigger than n?
False
Let q = -34937 + 34949. Suppose 6 = 2*i, 0*u - 3*u + 24 = -3*i. Which is bigger: u or q?
q
Let u = 0.06 - 0.06. Let n = -0.03 + u. Let x be -4 + 4 - (-2)/8. Are n and x equal?
False
Let k = 19 - 19. Suppose -3*g - 6 = 3*m + g, -m - 4*g - 2 = k. Let i be m/(-7) + 270/35. Is 7 != i?
True
Let j be (-4 + 5)/((-94)/14). Is j greater than or equal to 1?
False
Let b(z) = z**2 + 2*z - 4. Suppose 5*f = f - 16. Let i be b(f). Let j be 15/4 - (-1)/4. Is i equal to j?
True
Let j be (8/(-140)*-5)/(7/28). Do j and 1.5 have the same value?
False
Let p be (-6)/(-15) + 6/(-15). Let c = -41 - -46. Let r = 4 - c. Which is smaller: p or r?
r
Suppose 3*l + 2*s - 47 = 4*s, -4*l = 4*s - 56. Suppose 0 = 5*j - l. Let u(m) = -m**3 + 3*m**2 - 3*m + 4. Let a be u(j). Is a at least as big as -2?
False
Let q = 1.8 + 0.2. Let b = -17336 - -17333. Are b and q nonequal?
True
Let y = 269 + -269. Is 1/119 equal to y?
False
Let p(t) = -2*t + 3. Let k be p(-5). Suppose 5*s + q - k = s, 3*q = -4*s + 7. Suppose -y + 58 = 2*l - s*y, -4*y - 112 = -4*l. Is -1 at most l?
True
Let d be (-1 - -2)*-1 - (-1188)/(-330). Which is smaller: d or -6?
-6
Let f = 36/35 + -431/385. Which is greater: 1 or f?
1
Let b(u) = 3*u - 4. Let a = 20 - 14. Suppose j - a = -2*j. Let r be b(j). Is 1 < r?
True
Let v = -5.5 + 12.8. Let a = 22.3 - v. Is a greater than -1/8?
True
Let d be 96/720*(-1)/2. Is -19 not equal to d?
True
Let h be (-5 - 30)/7 - -4. Which is bigger: h or -2/361?
-2/361
Let f = 820 + -865. Is f at least as big as 7?
False
Let z(r) = -r + 52. Let y be z(21). Let p = y + -39. Which is greater: p or -10?
p
Let h = -147 + 217. Let f be (-18)/5*h/(-14). Which is greater: f or 2?
f
Let w = -463.8 - -464. Let x = 1170301/68 + -17210. Let t = x - 1/17. Is t smaller than w?
False
Let k be (6/(-7))/((-27)/63). Do k and -72 have the same value?
False
Suppose 3*d - 42 = 4*s + 2*d, -65 = 5*s + 5*d. Suppose 88*h - 93*h - 45 = 0. Which is smaller: h or s?
s
Let i = 791 - 790. Does i = -44?
False
Let p(h) = -h**3 - 7*h**2 - 6*h - 2. Let g be p(-6). Let b(m) = -6*m - 6. Let v be b(g). Let o be 2/16*(-8)/v. Is 1 at most o?
False
Let n be -4 + 14 - (0 - 0). Suppose 6*o + n = o. Is o less than -8/5?
True
Suppose -3*p + x = -1413, -3*p + 815 = -2*x - 595. Let g = p + -721. Let f = 2243/9 + g. Which is smaller: 1 or f?
f
Let n = -11 + 13. Let m(c) = 5*c**2 - c**3 - 5*c + 0 - n*c - 5 + 4*c. Let a be m(4). Which is greater: 2/5 or a?
2/5
Let g = -1.9982 - 0.0018. Do -0.038 and g have the same value?
False
Let a = -0.0792 + -55.8808. Let z = 55 + a. Let q = z - 0.04. Is 6 greater than q?
True
Let u be (2/3*1)/(-2). Let h = -9.1 + 10. Is u at least as big as h?
False
Let s = 0.2655 - 0.3565. Which is greater: s or -0.4?
s
Let z(u) = u**3 - 12*u**2 + 12*u - 11. Let n be z(11). Suppose -79*x + 77*x = n. Is x less than 1/15?
True
Suppose 4*h - 3*c - 187 = 0, -3*h + 12 = 2*c - 141. Let q = h + -134. Is q at most -84?
True
Let v be (3/(-24))/(37/(-740)). Let a be 1 + -1 - 0/(-1). Which is greater: v or a?
v
Let y(f) = f**3 - 6*f**2 - 9*f + 8. Suppose 8*r - 9*r + 7 = 0. Let v be y(r). Which is smaller: 2 or v?
v
Let y be (-6)/(-9)*(-1224)/(-15). Let a = -54 + y. Let m = a + 4/15. Is -1 smaller than m?
True
Let a(c) = -2*c**2 + 10*c - 8. Let p be a(10). Let s be 24/p - (-46)/126. Let r(t) = -t - 4. Let m be r(-4). Is s > m?
True
Let v = -0.86 + -0.24. Let n = v + 1.1. Which is greater: n or -2/3?
n
Let n = -2005/253 + 91/11. Let a(l) = 2*l**3 - 37*l**2 + 18*l. Let k be a(18). Which is smaller: k or n?
k
Let a(g) = g**3 - 24*g**2 + 108*g - 1. Let q be a(18). Which is smaller: q or -7?
-7
Let u = 438 - 378. Do -1/3 and u have different values?
True
Suppose 0 = -3*o + 6 + 3. Suppose -o*q = -3*k + 51, -4*k - 4*q + 12 = -40. Let b = 14 - k. Which is bigger: b or -2/21?
-2/21
Suppose 3*b + 24 = 3*n, -n - 1 = -3*b - 29. Let j = -34 - -16. Let m = j + 8. Is m smaller than b?
False
Let k = 1 - 9. Let s = -14 - k. Let o be 12/s*1/5. Which is smaller: o or -8?
-8
Let i = -38 + 39. Is i < 15/17?
False
Let s = -65765565620418216328130657/2723000934925578968 + 10/568238926320029. Let f = -24151870 - s. Let j = f - 2/599. Which is smaller: j or -1?
-1
Let s = 22.73 + 0.27. Let c = s - 36. Which is greater: -0.3 or c?
-0.3
Let w = 50 + -25. Let v = 25 - w. Which is smaller: v or -0.17?
-0.17
Suppose -7*o + 3*o - 24 = 0. Let v(i) = -i**2 - 12*i - 3. Let s be v(-6). Suppose -s*f + 3 = -36*f. Is o smaller than f?
True
Let l = 2157751/630 - 3425. Does -1 = l?
False
Suppose -w + 5*w = -4. Let j = 9 - w. Suppose -j*n = -4*n + 48. Is -8 at most n?
True
Let u = 19.306 + -0.106. Let v = -19 + u. Let h = -0.14 - -0.21. Which