 -3*r + 7 = z, z - 2*r - 3*r = -17. Let d be z/(3 + -4 + 3). Which is smaller: d or 2/13?
d
Let x(b) = -2*b**2 + 15*b - 5. Let s be x(6). Let h(a) = -a - 7. Let i be h(6). Let c = i + s. Which is smaller: 0.01 or c?
c
Let s be 7876/1540 - 5/1. Is -1 > s?
False
Let k be (-2)/(-8) - 54/(-8). Let t be 4/20 + (-280)/(-100). Let r be 6 - k - t/11. Which is smaller: r or 0?
r
Let t(o) = -o**2 + 18*o - 39. Let z be t(13). Which is smaller: 6 or z?
6
Let n = -0.66 - -0.6. Which is smaller: n or 0.6?
n
Let m = -1682 + 1678. Is 5/18 bigger than m?
True
Let d(m) = -m**3 + m**2 + 3*m - 5. Let k = 111 - 108. Let y be d(k). Which is greater: -2 or y?
-2
Let n = 67/300 + 2/75. Let j(v) = -1 + 5*v - 401*v**2 + v**3 + 0*v**3 + 395*v**2. Let u be j(5). Do u and n have the same value?
False
Let x = 1.8 + -1.7. Is -40/13 less than x?
True
Let j = 62 - 58. Suppose v + 4*a + 16 = 0, -2*v - 5*a + j*a - 11 = 0. Which is greater: 4 or v?
4
Suppose 2*m = 3*b + 3, 4*b = 8*m - 9*m + 7. Is b greater than -5/41?
True
Let z = 52 - 45. Is -5/2 less than z?
True
Let d be (-3 - 2) + 2 - -9. Let v be (-208)/470 + d/15. Is -1 <= v?
True
Let p be 1 + 1203/(-198) - (6 - 37/6). Suppose -2*z - 19 = -7. Is z greater than or equal to p?
False
Let q(z) = -z - 8. Let a(o) = -o**3 - 11*o**2 + 13*o + 2. Let c be a(-12). Let k be q(c). Suppose k*y = 3 - 19. Which is greater: y or -10?
y
Let a be (-118)/3*(-6)/(-4). Let d = -41 - a. Is d > 19?
False
Let m(v) = -4*v - 2. Let x be m(-2). Let o be ((-2)/x)/(3/(-18)). Let a(t) = -t**3 - t - 1. Let q be a(0). Is o equal to q?
False
Let v be (-3)/(4 + 129/(-30)). Suppose -2*d = -0 - 18. Which is greater: v or d?
v
Let u = 71 + -71. Let f = -22 + 52. Which is smaller: f or u?
u
Let z(p) = p + 6. Let o be z(-5). Let l be 3/(126/(-10)) - 194/(-291). Is l >= o?
False
Suppose q - 35 = -5*n - q, -3*n = -3*q. Suppose 2*a + 4*h - 2*h + 46 = 0, 0 = -n*a + h - 109. Which is smaller: a or -23?
-23
Let k = -18 + 17.9. Let v = 23.66 + -23.8. Which is smaller: v or k?
v
Let s(g) = -g**3 + 9*g**2 + 10*g. Let z be s(10). Suppose 2*d = -z*d. Which is greater: d or 1?
1
Let d = 42 + 1522. Which is smaller: d or 1565?
d
Let y(o) = 7*o + 14. Let h be y(5). Which is smaller: 48 or h?
48
Let l = -0.1 + 0.3. Let t be 1071/1260 + ((-4)/5)/(-2). Do l and t have the same value?
False
Let b = -0.0856 + 0.0256. Which is smaller: b or -2/33?
-2/33
Suppose 3*y + 2*y - 10 = 0. Suppose 3*p - 190 = 5*v, -4*p + 244 = y*v - 4*v. Let k be 14/p + (-2)/4. Is k greater than -1?
True
Let y(n) = -3*n + 13. Let z be y(-5). Suppose 3*d + 5*m + 7 - z = 0, 0 = -2*d + 2*m - 2. Is 2 <= d?
True
Let o be -4 - -8 - 0 - (-1 - -5). Let w = -1775/21 - -251/3. Which is smaller: o or w?
w
Let n be 12 + -2 - (-1196)/(-120). Which is bigger: n or 1?
1
Suppose -7*p - 834 = 272. Which is smaller: p or -160?
-160
Let g be ((-1)/(-5))/(147/14 + -12). Which is greater: 42 or g?
42
Let i be (366/4)/((-12)/(-24)). Suppose 5*w + 2*y = -0*w - 291, 0 = 3*w + 4*y + i. Let o be 2/(-1)*(-3)/w. Which is smaller: -1 or o?
-1
Let f = 164 + -200. Which is greater: f or -33?
-33
Let n(k) = 2*k + 18. Let s = -50 + 35. Let p be n(s). Is p at least as big as -13?
True
Let l = -34871/26 + 1342. Is 1 > l?
True
Let j(c) be the first derivative of 2*c**2 + 6*c - 9. Let l(f) = 4*f + 7. Let n(b) = 3*j(b) - 2*l(b). Let w be n(-5). Are -16 and w equal?
True
Let t be (((-3)/5)/1)/2. Let p = 0.95 + 25.05. Let l = p + -29. Which is greater: l or t?
t
Let g = 5 - 11. Let r(u) = u**3 + 6*u**2 + u + 8. Let j be r(g). Let q be (-2)/(-2 + -5 - j). Are -1 and q nonequal?
True
Suppose -w + 0*w - 16 = -5*r, -w + r = -4. Let f be w/(-90)*(-465)/(-2). Let k = f - -24. Which is greater: k or 0?
k
Let y(j) = -j + 2. Let n be y(3). Let x = -17 - -15. Let m be 2*1*x/9. Is m >= n?
True
Let i = -1657/131708 + -1/1733. Are 1/4 and i unequal?
True
Let z(t) = 12*t - 7. Let k be z(-1). Which is smaller: k or -94/5?
k
Let p be 1*((-4)/(-5))/(5/25). Let w be (p/5)/(18/(-15) - -4). Let g = 0.2 + -0.2. Which is bigger: g or w?
w
Let j be (48/(-100))/((-27)/72). Do 1 and j have the same value?
False
Let h be -1 - 2/((-160)/(-4005)). Let i = h + 51. Which is smaller: i or -1?
-1
Let s(z) = -z**3 + 8*z**2 - z - 5. Let i be s(8). Let q = -77 + 64. Is i smaller than q?
False
Let x(w) = -w**2 + 21*w - 141. Let c be x(15). Is c > -55?
True
Suppose 2*x - 5*u - 621 = 0, 15*x - 19*x + 4*u = -1236. Is x <= 0.2?
False
Suppose 9 = -3*o, -z - 5*o = 4*z + 15. Which is smaller: -6/197 or z?
-6/197
Suppose 42*n = 44*n. Is n greater than or equal to -1/75?
True
Let i = -29 + 421/14. Which is bigger: 0 or i?
i
Let b = -1682.01 + 1682. Which is smaller: -84 or b?
-84
Let a = -319.71 - -322. Let i = a + -0.29. Which is greater: 4 or i?
4
Let m(d) = -2*d**2 + 25*d - 7. Let z(g) = g**2 - 12*g + 4. Let t(r) = 6*m(r) + 13*z(r). Let n be t(8). Let a be (21 - n) + (3 - -1). Are 2/15 and a non-equal?
True
Let j = 8.84 + -9. Let x be (14/8)/(11/88). Let a = x - 14. Which is greater: j or a?
a
Suppose 3*b = g + b - 10, -85 = -3*g - 5*b. Suppose -2*d + 42 = 104. Let t = d + g. Which is smaller: -8 or t?
t
Let m = -84992/15 - -5664. Let h = m + 11/5. Which is greater: h or 0?
h
Let k be (1300/78)/(1/(-6)). Which is greater: k or -99?
-99
Let h = -1019/1820 - 3/260. Let j = -28 + 28.1. Which is smaller: j or h?
h
Suppose -63 = -48*z + 45*z. Suppose 5*j + 149 = -31. Let x = j + z. Is x at most as big as -15?
True
Let o = 861/1508 + -16/29. Is 5 >= o?
True
Let s(w) = -9*w**3 + 2*w**2 + 3*w - 5. Let k be s(2). Let c = k - -66. Let r be 2/(-4) - 18/(-4). Which is greater: c or r?
r
Let f = -44 + 42.92. Let m = -0.32 + 0.5. Let o = m + f. Is o equal to 0.1?
False
Let y = 11 + -10. Suppose -6*l + 2*l + 3*s = -643, -2*l - 5*s = -341. Let p = l - 485/3. Is p bigger than y?
True
Let n = 2/99 - -482/99. Is n smaller than 6?
True
Let y = -1420/2397 + 26/47. Which is bigger: y or 1?
1
Let c be 11/(-3) + (-2)/(-3). Let h be (-2)/4 - (-102)/4. Let i = h + -29. Do c and i have different values?
True
Let m(p) = p**3 - 7*p**2 + 7*p - 4. Let x be m(6). Let g be (451/65 + -7)/(x/5). Is g < -1?
False
Let c(f) = 2*f - 44. Let u be c(0). Let x be (-6)/(-27) + u/36. Which is smaller: x or -1/24?
x
Let v be 2 + -2 - 2/(-12). Let x = 46 + -50. Let n = 5 + x. Which is smaller: v or n?
v
Let a(q) = 8*q - 331. Let d be a(42). Let m be 3*5 - (1 - 2). Suppose v - 9 = -2*v, 0 = n + 3*v - m. Which is smaller: n or d?
d
Let y be (-4)/(-22) - (-158)/(-627). Let u = y - 14/57. Which is smaller: -1 or u?
-1
Let s = -0.67 + 9.27. Let a = s - 10. Let i = a + 1. Which is smaller: -2 or i?
-2
Let q = 6646/85 - 393/5. Is 2/3 not equal to q?
True
Let j be (2618/21)/(-11) - 8/(-24). Let x(z) = 3*z**3 - z**2 - z. Let s be x(-1). Let a(m) = -m**3 - 4*m**2 - 1. Let l be a(s). Which is bigger: j or l?
l
Let g = 51 + -49. Let u(l) = 2*l - 4. Let w be u(g). Which is bigger: -3/14 or w?
w
Let p(o) = 7 - 9 - 2*o + 2*o - o. Let z be p(9). Which is greater: z or -10?
-10
Suppose 5*j - 4*j = 5*c - 52, -2*j = c - 17. Suppose -6*d + d + 75 = 0. Let p = 26 - d. Is c less than p?
False
Let b(x) = x**3 + 24*x**2 + 45*x + 24. Let d be b(-22). Is 17/23 <= d?
True
Suppose y + 4 = f + f, f + 5*y = 2. Suppose 32 = 4*u + 2*q + 2*q, -5*q - 44 = -f*u. Does 2 = u?
False
Suppose 23*x = 2640 + 6698. Which is smaller: 408 or x?
x
Let m be (-936)/288 - (-9)/4. Let d = 1426/25 - 57. Which is bigger: m or d?
d
Let q be (6/(-544))/(4/16)*-4. Which is bigger: q or 9?
9
Let n = -333 - -145. Is n at most as big as -188?
True
Let h be ((-36)/8*(-1)/(-12))/3. Let l(u) = -u - 3. Let v(w) = -3*w**2. Let m be v(1). Let s be l(m). Which is smaller: s or h?
h
Let r = 102 + -156. Suppose -161*y + 166*y + 275 = 0. Is r at least as big as y?
True
Let n(q) = -q**2 - 8*q - 10. Let f be n(-5). Let r = 1 + -1. Let x = f + r. Is 6 at least x?
True
Suppose 0 = c - 2*f + 5, -3*f = 5*c + 1 - 2. Let l = -707/2 + 391. Let z = 215/6 - l. Which is smaller: c or z?
z
Let f be ((-18)/(-27))/((-3)/7). Let d be 90/21 - (-4)/(-14). Suppose y - 11 = -4*n + d*y, 5*y + 28 = -3*n. Are f and n non-equal?
True
Suppose -15*r + 748 = -872. Which is smaller: r or 541/5?
r
Let o = -0.0296 - 2.4704. Which is smaller: 5 or o?
o
Suppose -4*u = -5*p - 54, -18*u - 2*p = -22*u + 60. Which is smaller: u 