 4*k. Let v(d) = 15*d + 9. Let g be v(k). Is -50 < g?
False
Suppose -800 = 8*d - 1608. Which is bigger: 0 or d?
d
Let w = -39 - -44. Suppose -3*x - 2*t = 6, 0 = w*x - 5*t + 3 + 7. Is -0.13 greater than or equal to x?
True
Let n = 27 + -191. Is -163 greater than or equal to n?
True
Let v = -0.225 + 0.306. Which is smaller: -1 or v?
-1
Let w = -413 - -412. Is 255 at most as big as w?
False
Suppose -3*z + 21670 = 5995. Let k = z + -1175627/225. Which is smaller: -1 or k?
-1
Suppose 4*c + 3*t + 124 = 0, -3*c - 93 = 2*t - t. Which is bigger: c or 1/7?
1/7
Let d = -1107 + 1108. Which is greater: d or 5/103?
d
Suppose 49*n + 21 = 70*n. Is n < -0.0107?
False
Let k be 8 + -5 - (23/5 - 2). Suppose u - 16 = -4. Suppose 0 = -2*l - l - u. Which is smaller: l or k?
l
Let w(f) = -2*f**2 + 418. Let s be w(-15). Suppose 7*z = 2*z - 155. Which is greater: z or s?
z
Let x(q) be the third derivative of q**5/60 - q**4/4 + 5*q**3/2 + 6*q**2. Let d be x(6). Let k be ((-8)/70)/(3/d). Which is smaller: k or -2?
-2
Let j(b) = -6*b - 9. Let f be j(-4). Let m be (-1)/(-12)*f/10. Which is smaller: m or 0?
0
Suppose -4*z + 26 = o, -4*o + 7 = -2*o - z. Let v(j) = -4*j - 6. Let t(s) = 9*s + 13. Let m(f) = -3*t(f) - 7*v(f). Let k be m(0). Is o <= k?
False
Suppose -2*g + 4 = 0, -m - 5*g = -3 - 10. Let j be -3 - (1 - m) - -2. Suppose 0 = -2*t + 9 - j. Which is smaller: 6 or t?
t
Let d(m) = m**3 + 21*m**2 - 42*m + 90. Let b be d(-23). Is b < -2?
False
Let f = 1367 - 1329. Is 0.1 greater than f?
False
Let y(a) = 5*a + 1. Let f be 0 + (1 - 1 - -1). Let h be y(f). Let r(k) = -22*k + 138. Let c be r(6). Is c greater than h?
False
Suppose -6*b - 3778 + 9622 = 0. Which is greater: b or 973?
b
Suppose r - 391 = 5*y - 2*r, 5*r - 318 = 4*y. Let z = y - -57. Which is bigger: -59/3 or z?
-59/3
Suppose 2*t + 0*l + 4*l = 2, -t + 3*l = -6. Suppose -12 = t*g + g. Let k = 3 - 7. Is g < k?
False
Let c = -42 - -63.1. Let o = -21 + c. Let x = 0.3 - o. Which is greater: -1 or x?
x
Let s be -6 - 30/(-18) - (-5 + 1). Which is smaller: -38 or s?
-38
Let b = -0.02 - -0.32. Let m = b + 0. Let z = 6.4 - 7. Which is bigger: z or m?
m
Let v(o) = o**2 + 9*o + 8. Let d be (-65)/9 + 4/18. Let x be v(d). Let y(w) = w**2 + 7*w. Let f be y(x). Which is smaller: f or -4?
f
Suppose -4*k = -4*u - 560, 4*u + 3*k + 0*k + 553 = 0. Is -140 less than u?
True
Let g(a) = -a**3 + 13*a**2 - 13*a + 13. Suppose 3*w - 45 = -3*i, 5*w - 4 - 23 = -i. Let b be g(i). Which is greater: 1/2 or b?
b
Let j(q) = q**2 + 5*q - 29 + 6 + 3*q. Let i be j(-12). Is i greater than 25?
False
Let b be 24/18*(-1)/(-2). Let x = 0.17 + 0.83. Let r = -10 + x. Do b and r have different values?
True
Let y be (-2 - (-22)/4)/((-11)/22). Does y = -2/147?
False
Suppose 4 = 4*b - 2*c, -b + c = 2*c - 4. Let a = -190 - -196. Suppose f = -b + a. Is 8/3 less than or equal to f?
True
Let j = -3568 - -2606. Is -963 >= j?
False
Let s = -659 + 660. Which is smaller: s or 269/4?
s
Let q(m) = m**3 - 5*m**2 + 9*m - 23. Let w be q(6). Is w >= 67?
True
Suppose 0 = -2*v - 4*x - 14, 11 + 5 = 4*v - 3*x. Let j be 3*v*(-22)/66. Is -2/91 bigger than j?
True
Let l(x) = -x - 25. Let h be l(-31). Is h at least 6?
True
Let a = 1173/20 - 292/5. Which is bigger: 19 or a?
19
Suppose -50 = -4*d + 2. Let f be ((-26)/(-4))/(2/48). Let t be 2/d + (-11)/f. Which is greater: t or -1?
t
Let d be (-234)/320 + (4 - 2). Let j = d - 3/160. Is j >= -5?
True
Let d = 8.3 - 54.3. Let f = -47 - d. Let y be (6/9)/(28/(-18)). Which is greater: f or y?
y
Let t = -326 - -279. Is -47 greater than or equal to t?
True
Let f = 2 - -2. Let o = 1178/337 - -3/674. Which is bigger: f or o?
f
Let c = -886.9 + 887. Which is bigger: c or -9?
c
Let p = 5.8 - -0.2. Let a = -0.05 + -5.95. Let q = a + p. Which is smaller: -0.06 or q?
-0.06
Let q be (-65)/(-15) + (-4)/12. Suppose -4*d + 4*z - 60 = 0, -5*d = -2*z + 74 + q. Is -14 smaller than d?
False
Let k be ((-46)/44 - -1)*8. Let h(y) = y**2 + 17*y + 27. Let x be h(-15). Let b be (-1)/(1 + 3 + x). Do b and k have different values?
True
Let g = 8354/9 - 930. Is -4 at most g?
True
Suppose 10*t + 7*t - 102 = 0. Is 96/17 less than or equal to t?
True
Let v(n) = -5*n**3 + n**2 - 4*n + 3. Let h be v(2). Suppose 107*f - 3943 + 16579 = -217*f. Which is smaller: h or f?
h
Let f = 2996281/211277 - -1/19207. Which is smaller: 13 or f?
13
Let l be 0/((-98)/(-22) - (-96)/176). Which is greater: -9/82 or l?
l
Let m(d) = -d**3 - 16*d**2 - 14*d + 18. Let y be m(-15). Let a be 1*(0 + y) - 1. Is -11 greater than or equal to a?
False
Let l = 1689 - 1689.2. Is l >= -2/71?
False
Suppose 65*q - 62*q - 18 = -3*g, -2*q = g - 3. Is g bigger than 25?
False
Let h(s) = 2*s - 1. Let f be ((-12)/16 + 1)*4. Let t be h(f). Let u be 20/(-30) - t/(-3). Do u and 3 have different values?
True
Suppose -51 = 4*l + 65. Which is bigger: l or -4?
-4
Let r = 0.22 + -0.4. Let c = 3.18 + r. Which is bigger: c or -0.1?
c
Let v(h) = h**2 + 18*h + 36. Let s be v(-16). Suppose -s*y + 55 = -29. Is 23 at least y?
True
Let n = 125.2 - 125. Which is smaller: -67 or n?
-67
Let a(u) = -62*u - 1. Let l be a(-2). Let z be (2/(-5))/((-3)/l). Let n = z - 16. Is n at most -1?
False
Let p be 40/(-520)*11/1. Which is bigger: p or -2/11?
-2/11
Let u be 2/(2 + 3/(-2)). Suppose 0 = -0*o + u*o - 344. Let h be 4/20 + o/(-30). Which is smaller: h or -3?
-3
Let o = -530 - -2117/4. Suppose 3*u + 2*u = 0. Which is greater: o or u?
u
Let b = -140.63 - -41.45. Let x = b + 101. Let l = 0.18 + x. Which is bigger: 1 or l?
l
Let g(u) = -2*u - 10. Let n be g(-8). Let p = 109 + -108.03. Let k = p - -0.03. Are k and n unequal?
True
Let o be (-48)/(-936) - 41/39. Are 6/317 and o unequal?
True
Let j = 24726/5 - 4927. Let f = j - 1011/55. Which is smaller: -2/17 or f?
f
Let x = -0.2 + 1. Suppose 11*a = 9*a - 106. Let m = a + 107/2. Is m at most as big as x?
True
Let c = -81.93 + -1.07. Let t = 53 + c. Let i = t - -30.03. Which is greater: i or 0.2?
0.2
Suppose -1721 = 17*v + 47. Is -106 < v?
True
Let j = 3/140 - 213/140. Which is smaller: -6 or j?
-6
Let z = -9537 + 9486.57. Let n = z + 50. Let u = n + 0.13. Which is greater: u or -1?
u
Let d be (9 - -92)*(-4)/(-84)*-3. Which is greater: -13 or d?
-13
Let z = 0.113 + 1.287. Is -1 equal to z?
False
Let u(o) = o**3 - 5*o**2 - 5*o + 5. Let q be u(6). Suppose w + q = 2*p + 3, -2*w - 3*p = 51. Suppose z + 19 = -0*z. Does w = z?
False
Let q = 23357/27 - 865. Let v = 1 - 1. Which is smaller: v or q?
v
Let g = 135 + -135.4. Is g > -3?
True
Let z = -1 + 4. Let a(f) = -f**2 + 8*f - 15. Let c be a(z). Is 7 bigger than c?
True
Let j = 16 - 13. Let o = j - -2. Let p(a) = -a - 5. Let s be p(o). Is s >= -9?
False
Suppose 0 = -4*n + 2*n + 20. Suppose -3*o = -14 - n. Suppose 0*f - f - z = -4, -5*f = 2*z - o. Which is bigger: 1/3 or f?
1/3
Let o(j) = -j**3 - 6*j**2 - 6*j - 5. Let n be o(-5). Suppose 34 = -3*y + 37. Let m be (3/(-11) + 0)*y. Is m equal to n?
False
Let c(r) = -r**2 + 10*r - 12. Let t be c(9). Let l(h) = 3*h**2 + h + 7. Let y be l(t). Are 30 and y unequal?
True
Let d be (-3 + 2)/((-1)/2). Let c(r) = r**3 - 3*r - 1. Let l be c(d). Which is bigger: l or 0?
l
Let y = 116 + -118. Let p = -1.1 + -6.9. Which is bigger: p or y?
y
Let j = -774.9 - -775. Do -3/74 and j have different values?
True
Let d(p) = -p - 8. Let k(m) = 1. Let a(r) = d(r) + 2*k(r). Let h be a(-4). Let l be (6 + -8)*h/4. Which is smaller: l or -4/11?
-4/11
Let j be (1 - 2) + 69/63. Suppose 0 = 5*y - z + 3, 5*y + 3*z + 5 = -6. Is j smaller than y?
False
Suppose 0 = -3*s - 5*f - 2 - 11, -2*f = 3*s + 7. Let a be (-12)/((4/s)/4). Let n be ((-8)/a)/(4/6). Is n not equal to -2?
True
Let o(i) = -3*i**2 + 12. Let t be o(6). Let a be t/(-630) - (-4)/30. Are a and -1/4 unequal?
True
Let y(a) = a - 2 - 9 + 6. Let s be y(4). Is s bigger than 1/39?
False
Let b = -4445 + 57817/13. Is b not equal to 3?
True
Suppose 0 = -20*v + 17*v - 15. Let r(m) = m**2 - 3*m - 43. Let u be r(v). Which is smaller: -5 or u?
-5
Let x = 29/33 + -1/3. Suppose -5*p - 5*g = 0, 2*p = 7*p - 3*g - 8. Which is greater: x or p?
p
Let q be 2*(55/(-340))/11. Which is bigger: 0.4 or q?
0.4
Suppose 2*i - 4*i + 15 = m, i = 3*m - 17. Suppose -m = -2*q - 2*j - 1, 4*q - 2*j = -18. Let d = 5 - 5. Which is smaller: d or q?
q
Let b be ((-2)/108)/((-4)/(-3)). Let z = 67/2232 + b. Which 