d**3 - 7*d**2 - 3. Let n be x(-6). Let v be (-2)/(-13) + 45/n. Let r = -1/15 + 19/60. Which is smaller: v or r?
v
Let t = 10/17 + -301/425. Is 1 at most t?
False
Let v = -0.6 - -0.2. Let t = v + 0.1. Let u = t - 2.7. Is u < -1?
True
Let h = -125 - -114. Which is smaller: -12 or h?
-12
Let x(l) = l**3 - 4*l**2 - 12*l + 6. Let q be x(5). Which is bigger: q or 0.1?
0.1
Suppose 43 = 3*l + 40. Which is bigger: l or -2/71?
l
Let s = 8 - 6. Suppose m + 4*k = -1, -2*m = 3*m + s*k + 5. Which is smaller: m or 0?
m
Suppose 0 = -4*v + v - 6. Suppose -5*s - i - 1 = 0, 3*s + 2*i = -0 - 2. Is v less than or equal to s?
True
Let s be 5/2*(-12)/(-10). Suppose 0 = -3*w + 3*l, w = -s*w - 4*l + 16. Is w greater than -0.03?
True
Let o = 21287/43 - 495. Which is smaller: o or 0?
0
Let f = 0.01 + 0.05. Let i = f - -2.94. Let y = -3 + i. Is 0 smaller than y?
False
Let p = 0.038 - -0.002. Are p and -5/2 non-equal?
True
Let w(n) = -n**3 + 2*n - 1. Suppose 0 = b - 3 + 2. Let q be w(b). Which is greater: q or 1?
1
Let a = -14 + 30. Let q be 7*(-11)/(77/30). Let r be q/12*a/(-10). Which is smaller: 3 or r?
3
Let f = -33 - -31. Which is greater: 1 or f?
1
Let m = 26 - 76/3. Which is greater: m or -80?
m
Let o be (-25)/(-7) + (-2)/4. Let g = -18/7 + o. Which is smaller: g or 0?
0
Let l = 257/3 - 85. Which is smaller: l or 0?
0
Let b be (1 - 4)/(165/(-10)). Is b >= 0.1?
True
Let p(q) = -q**3 + q**2 - q + 2. Let c be p(0). Suppose -5*z - 17 = c*y - 0*y, -4*z - 8 = 3*y. Let v be 4/10 + (-3)/z. Which is greater: 2/5 or v?
v
Let m be (0 - -3)/(3/(-2)). Is m <= -2?
True
Suppose 4*t - 4*v = -172, 0 = -t + 4*v - 8*v - 28. Let l be (-2)/t + (-3)/12. Which is bigger: l or -1?
l
Let u(o) = o. Let r = 3 + -3. Let k be u(r). Let a be k/(-4)*(-1)/2. Which is smaller: a or -2/9?
-2/9
Suppose 2*k = -m - 5, 3*m - 25 = 5*k - k. Let d be (2/(-6))/((-7)/(210/10)). Which is greater: m or d?
m
Let j be (1 + 3/(-2))/(-2). Let h(i) = 3*i**2 + 16*i - 12. Let y be h(-6). Is j > y?
True
Let o be ((-2)/(-16))/(-4*3/(-24)). Is o less than 1.4?
True
Suppose 0*p + p - 19 = 5*s, -5*p - s - 9 = 0. Is p greater than or equal to -7/3?
True
Let w be (-675)/6*(-4)/(-5). Are -89 and w unequal?
True
Let s be ((-21)/(-6))/7*224/7. Is s at most 15?
False
Let h(t) = -t**2 + 3*t + 3. Let s be h(3). Suppose -n = -s + 5. Which is smaller: -5/4 or n?
n
Let b = 0.17 - 0.32. Do b and 0.1 have different values?
True
Let n be (-3 - (0 + -3)) + 2. Is -2 < n?
True
Let s(j) = -2*j**2 + 18*j + 9. Let t be s(9). Which is greater: 22 or t?
22
Let h = 0.1 + -0.2. Suppose -2*p + 0*n = -2*n - 20, -3*p - 4*n = -65. Let v be (12/p)/((-4)/(-2)). Which is greater: v or h?
v
Suppose 3*l = -4*k + 14, 0 = -4*l + 2*l + 4*k + 16. Suppose t - 4*j = -t + 6, 4*t + 4*j = 12. Suppose -l = -t*w - 3. Is w >= 1?
True
Suppose 0 = -r + 7 - 0. Which is smaller: 6 or r?
6
Let h = 1.58 - -0.32. Let v = h + -1.1. Let c = v - 0.6. Is c less than or equal to 1/4?
True
Let k = 188 - 569/3. Which is smaller: -11 or k?
-11
Let d = -65 - -97. Let o be d/(-66) - (-4)/6. Let x(c) = -9*c - 118. Let n be x(-13). Which is smaller: n or o?
n
Let o = 253024 - 1224383128/4839. Let x = o + -305129/164526. Let k = -6/17 - x. Is k less than 1?
False
Let y(g) = g**2 - 11*g + 4. Let c be y(11). Is c greater than 5?
False
Let j be 5 + 1 + -1 + 3. Let g = j - 4. Which is bigger: 0.1 or g?
g
Let k(z) = -2*z - 2. Let x be k(-2). Let y = -16 - -5. Let b = y - -9. Are x and b non-equal?
True
Let q = 31 + -30. Is q smaller than 18?
True
Let z = -25.69 - -19.679. Let b = 0.089 - z. Let a = b + -6. Which is greater: a or 2?
2
Let t(j) = -j**3 + 4*j**2 + 3*j. Let f be t(4). Which is smaller: 11 or f?
11
Let v = -0.1 + 0.2. Let l = -162 - -176.9. Let h = 15 - l. Is h equal to v?
True
Suppose 15 = -3*h, -40 = r + 2*r - 4*h. Which is smaller: -23 or r?
-23
Suppose -2*n - 5*g = n - 10, 20 = 4*g. Suppose -2*s - c - 6 = 0, -3 = -s + 2*c - 16. Is s at most n?
True
Suppose 4*x - 80 = 24. Suppose y - 4*g - x = 2*y, g + 3 = 0. Let z = y - -10. Is -5 <= z?
True
Let h = -121 - -121. Which is smaller: -1/20 or h?
-1/20
Let w = -0.04 + -1.96. Let v = w + 4. Which is smaller: v or -2?
-2
Let v = 5.14 - -0.06. Let w = -5 + v. Is w less than -1/2?
False
Suppose 4*s = -d - 3 - 10, 0 = -s - 4. Suppose -v + d*v = 58. Suppose 4*m - 7 = 4*n + 9, 4*m + 5*n + v = 0. Is -4/5 > m?
True
Let x be (5 - 3) + (-8)/(-22). Let n = x - 19/22. Which is smaller: 1 or n?
1
Let l = -97 + 64. Let o = 26 + l. Let k = 2 + -1. Is k at least o?
True
Let t be -1*(-3)/3*-2. Let m be t + -2*(-22)/20. Which is smaller: 1 or m?
m
Let u be 58/8 + 36/(-16) + 3. Which is smaller: u or -4?
-4
Let j = -3 + 6. Suppose 3*z = -b - 14, 0 = -5*z + j*z - 10. Let l = -14 - -16. Which is smaller: l or b?
b
Let q = -1.4 - 3.6. Is -4 greater than q?
True
Let h(o) = o**2 - 6*o + 7. Let y be h(5). Let k(r) = r - 3. Let n be k(y). Let g be ((-2)/(-8))/(1*(-9)/6). Which is smaller: n or g?
n
Let c = 57 - 63. Which is greater: -11/2 or c?
-11/2
Let u(j) = -j**3 + 7*j**2 - 5*j - 4. Let y be u(6). Suppose 3*n = -2*c - 4, -5*c = 9 + 1. Suppose n = -y*x - x. Which is smaller: x or 4/3?
x
Let k be (-2)/10 + (-96)/20. Let w be k/(-15) + (-8)/15. Is w > -1?
True
Suppose 410 = -4*j - 18. Are -106 and j nonequal?
True
Let q be 1*2/(-4)*-8. Let r be 4*1*7/q. Which is smaller: 8 or r?
r
Let n = 395/1323 - 11/49. Suppose 3*q + 3*z = -2 - 7, 20 = 4*q - 4*z. Which is smaller: n or q?
n
Let t = -5 + 10. Suppose 55 = -3*v + t*w, 2*v = -0*v + 2*w - 34. Is v <= -15?
True
Let s be 2*2 - (-1)/(-1). Let h be 318/66 - 2/(-11). Suppose 3*v - 34 = 5*m, 4*v - m = 12 + h. Is s smaller than v?
False
Let k = 0.4 + -0.3. Let w = 4.5 + -4. Let d = w + -0.3. Does d = k?
False
Let w = -95 + 3323/35. Let z = 1 - 1. Is w <= z?
True
Let t = -4 + 3. Let w be ((-3)/(-9))/(3/36). Let v = w - 5. Is v equal to t?
True
Let u = -179 + 95. Let h be -3 + 8/u*-30. Does h = 1?
False
Suppose -4*w + 35 = w. Suppose w*p = 11*p. Is 0 equal to p?
True
Suppose -2*c + 51 + 17 = 0. Let y be c/14 - 6/21. Which is smaller: y or 1?
1
Let z = 155 + -154. Let i be (-5)/(-7)*(-2)/(-5). Which is greater: i or z?
z
Let t(s) = -s**3 - 4*s**2 - s - 3. Let y be t(-4). Let o be (16/(-12))/((-14)/6). Which is smaller: y or o?
o
Let i be (-2 - -1) + 2 + -3. Let z be -2 - (0/i - 2). Which is bigger: -1/2 or z?
z
Let b = 2/183473 + -172097692/1651257. Suppose l - 171 - 146 = -3*y, 3*l = -y + 119. Let n = b + y. Which is bigger: 1 or n?
1
Let b(h) = -h**3 - 18*h**2 - 2*h - 24. Let u be b(-18). Which is smaller: 10 or u?
10
Let x(l) = -2*l - 2*l - 2*l. Let a be x(-2). Is a >= 13?
False
Let r = -197 - -1376/7. Suppose 5*s + 1 = -4. Which is smaller: s or r?
s
Let f(m) = 15*m**2 + 25*m + 3. Let i be f(-4). Is i < 144?
True
Let m be 4 + -3 + (-112)/(-26). Let g = m + -1613/299. Which is greater: g or 0?
0
Let c be (2/21)/((-4)/12). Let s(d) = d + 5. Let i be s(-5). Suppose i = -5*g + 2*g. Is g greater than c?
True
Let l = 4.1 - 10.1. Which is bigger: l or -2?
-2
Let q = 0.4667 - -0.0333. Let o = -1.9 - -2. Is o at least as big as q?
False
Suppose -2*a + 4*a = 4. Let d = 6.271 - 0.071. Let s = -6 + d. Which is smaller: a or s?
s
Let z(p) = -p**2 + 13*p - 1. Let g(f) = 2*f**2 - 25*f + 1. Let l(d) = -4*g(d) - 7*z(d). Let c be l(9). Let m be 1/c + 91/(-21). Are m and -3 unequal?
True
Let z = 6/19 - -375/76. Let v = z - 197/36. Which is smaller: v or 1/3?
v
Let o = 2.2 + 0.8. Let h = -3.7 + o. Is h greater than -1/3?
False
Suppose 2*b - 2*z = -14, 4*b + b - 10 = -4*z. Let v = 28 + -19. Suppose -2*w - 6 = -2*k - 0, v = -3*w - 3*k. Which is greater: b or w?
b
Let v(c) = c**2 + c - 2. Let b be v(-4). Let a(w) = w**2 - 9*w - 11. Let o be a(b). Is o less than -6?
False
Let d(a) = -a**3 + a**2 - 4. Let s be d(0). Let y = s + 9. Which is bigger: -1 or y?
y
Let g(o) = -o - 16. Let j be g(-15). Is -3 less than j?
True
Let u = 1 + -0.5. Let x = 0.6 - u. Which is bigger: 1 or x?
1
Let x = 54 - 44. Which is smaller: x or 12?
x
Let s = 592142/7 + -84782. Let z = s - -190. Is 0 > z?
True
Let y(x) = -x**2 - 14*x + 2. Let m be y(-14). Which is smaller: 1/2 or m?
1/2
Suppose 5*q + 9 + 15 = 2*j, -q - 5*j = -6. Let w be (-1 + q/(-8))*2. Suppose u + u + 3*r = -12, 2*u - 4*r - 2 = 0. Which is greater: w or u?
w
Let h be (-2)/3*39/(-2). Suppose