t j = x - -153.3. Let d be 2/8 + 46/8. Is d less than or equal to j?
False
Let i be (116/261)/((-409)/(-9)). Are i and 0.2 nonequal?
True
Let g be 8/(-18) - (-145)/675*3. Let a(x) = 13*x**2 + 2*x - 6. Let s be a(4). Let t be ((-2)/5)/((-3)/s). Is t <= g?
False
Suppose -120 = 2*q - 0*q. Let k = 7.8475 + -0.0275. Let i = -7.72 + k. Is q smaller than i?
True
Let m(h) = -h**3 - 20*h**2 - 38*h + 18. Let p be m(-17). Let q = 266 + p. Do 63 and q have different values?
False
Let n = -24 - 6. Let h = n + -1. Which is greater: h or 0?
0
Let c(h) = -h**2 - 10*h - 2. Let m = -236 + 227. Let z be c(m). Is z <= 0?
False
Let s = 6 - 2. Suppose -s = 4*o + 2*l - l, 3*o - 4*l = -22. Suppose 3*q - 22 = q + 4*r, -2*r = 3*q - 9. Which is smaller: o or q?
o
Let y = 62 + -61.57. Let i = y + -0.23. Is i less than or equal to -42?
False
Let b = -0.019 - 44.981. Let a = 44 + b. Which is smaller: a or -203?
-203
Let h be (12 - 1204/100)/((-2)/96). Which is bigger: 2 or h?
2
Let f be (8/12)/(2/1077). Suppose 273*a + 122*a - 141410 = 0. Is f not equal to a?
True
Let f = 0.027 - 0.03. Let h = -10085 - -10088. Which is bigger: f or h?
h
Let w(a) be the second derivative of a**6/120 - a**5/10 - a**3/6 - 7*a**2/2 - 7*a. Let s(u) be the first derivative of w(u). Let n be s(6). Is n > 1/89?
False
Let t = 0.028 + -0.688. Let w = t + -0.34. Let a = -97/88 - -8/11. Which is smaller: a or w?
w
Suppose 0 = 362*x + 8583 + 5897. Let h(z) = 42*z + 2. Let a be h(-1). Is x >= a?
True
Let q = 1.1345 + -1.5345. Suppose 4*l = 7*l - 24. Suppose -3*a + 4*t - 28 = 0, -8 = 5*a + t + l. Which is bigger: a or q?
q
Suppose -884*u + 881*u = -6*j - 735, 0 = j. Which is bigger: u or 733/3?
u
Suppose 4*u - 244 = 2*u - 4*j, 5*j - 5 = 0. Let p = -100 + u. Which is bigger: 18 or p?
p
Let h(d) = 33*d - 8. Let f be h(4). Suppose -2*g = -4*c + f, -3*g = 27*c - 25*c - 70. Is 32 < c?
False
Let x(y) = -16*y**3 + 2*y**2 + 262*y + 477. Let f be x(-2). Suppose 0 = -4*j + 3*s + 362, j - 5*s = 4*j - 257. Is j greater than f?
False
Let o = -218 + 363. Let d = o - 62. Let g = 83.1 - d. Are g and 17/2 equal?
False
Let v = 8356 + -8356.3. Which is smaller: v or 15.09?
v
Suppose 4*f + 8 = 2*f, 5*s - 12*f - 26 = 27. Let o = -2 + 0. Let n be (-2)/10 - o/4. Do s and n have the same value?
False
Let i = 662 + -1254. Let j = -542 - i. Which is smaller: j or 51?
j
Let k(y) = -7*y + 42. Let v be k(6). Suppose -4*w + 2*j + 622 = v, w + 2*j + 0*j = 168. Which is smaller: 159 or w?
w
Let w = -3/2258 - -566/1129. Let a = -16.35 - -0.35. Let y = a - -3. Which is smaller: w or y?
y
Let o = 11553.9 - 11554. Which is smaller: -251.46 or o?
-251.46
Suppose 103*h = 98*h + 3*a + 15, -5*h - a - 5 = 0. Which is smaller: h or -1/3412?
-1/3412
Suppose 495 = 17*j - 2*j. Suppose 0 = j*z - 24*z + 261. Which is smaller: -28 or z?
z
Let y = 8471 - 8445. Which is greater: y or 77/3?
y
Let d = 1400 + -19599/14. Let x = -0.16 - 0.84. Is d less than x?
False
Let k(v) = -v**2 + 12*v - 37. Let w be k(6). Let s(h) = 9*h + 3. Let p be s(3). Let j be (-59)/p - 3/(-18). Which is bigger: j or w?
w
Suppose 0 = -g - f + 19, f + 29 = -g + 2*g. Let j be (2/g)/((-16)/(-18)). Suppose 14*d - 6 = 20*d. Which is bigger: d or j?
j
Let g be (-8)/4 + 26 + 1. Suppose -432 = 4*w - 22*w. Is w smaller than g?
True
Let g = 12 - -5.2. Let k = 17.19 - g. Do k and -1 have the same value?
False
Let w = 231.9215 + 0.2785. Let g = -232 + w. Is g >= 20?
False
Let u = 1278.85 - -95.15. Is -2 > u?
False
Suppose -5*l - 17*n + 18*n = 566, 0 = -4*l - 5*n - 476. Let u be (1650/132)/(3/(-27)). Are l and u equal?
False
Suppose -4*y - z - 2 = z, 0 = 4*z - 4. Is 20/53 at least as big as y?
True
Let u(x) = -8*x**2 - 942*x - 370. Let b be u(-117). Which is smaller: b or 330?
330
Let x = 7392.1 + -7392. Which is smaller: -3.632 or x?
-3.632
Let i = 53519 - 48470. Is 5049 equal to i?
True
Let i = 3856 - 2626. Is i bigger than 1231?
False
Let b be (-1 - -1)/(-1) + 28. Let q = 359869 - 359845. Which is smaller: b or q?
q
Let m be 347*(-160)/(-18506) + (-470 - -467). Which is smaller: m or -1?
-1
Let a(o) = -o**2 - o - 1. Let m(d) = -13*d + 22. Let s(g) = -a(g) + m(g). Let u be s(10). Let i be ((-94)/u)/(28/(-21)). Do 25 and i have the same value?
False
Suppose 52*g - 53*g = -16. Let m(i) = 4*i - 64. Let h be m(g). Which is bigger: -39 or h?
h
Let m = 55821/17 + -3283. Is 1 less than m?
False
Let y(w) = -w + 1. Let g be y(19). Suppose 0 = 3*i + 80 - 32. Is i less than or equal to g?
False
Let z = 5264 - -61. Let u be 1/4 + z/(-21780). Which is greater: u or 1?
1
Let l(q) = 24*q + 6. Let t be l(9). Let z be 31443/(-423)*(-5 + 2)*1. Which is bigger: z or t?
z
Suppose -475 = -4*b + 489. Let y = -1193/5 + b. Is y less than 3?
True
Let m be 144/672 - (6/(-27) - (-4)/(-63)). Let y be (-10)/5 - (-118)/(-10). Are m and y unequal?
True
Let f(g) = 2*g**3 + 20*g**2 + 14*g + 30. Let d be f(-8). Let u = d + -523/3. Is u less than -9/2?
False
Let r = 341/520 - 2/65. Let i(a) = a**3 - 10*a**2 + 14*a + 14. Let v be i(8). Let g be 0*((-11)/(-11) - (0 - v)). Is r greater than or equal to g?
True
Suppose -4*q + 186 = 6. Suppose -3 = 2*c + q. Let z be c/(-11) - (-2 - (-72)/33). Is z equal to 1?
False
Let a be 1/(-1 + 2)*-1. Let r(v) = 1329*v + 1 - 1320*v + 3 + 17 - v**2. Let m be r(11). Is a < m?
False
Let p(c) = -2*c**3 - 7*c**2 - 5*c - 6. Let q be p(-3). Suppose 3*r = -i + 2, i - 5*r = 48 - 6. Let s = i + -20. Which is smaller: s or q?
s
Let d = 32 - 20. Suppose -21 = m + d. Let x(i) = -i + 128. Let n be x(162). Which is greater: m or n?
m
Suppose -3*i - f = 544, 2*f + 190 = -5*i - 718. Is i at least as big as -159?
False
Let k = -27171944/13 + 2091146. Which is bigger: k or 996?
k
Let g(a) = 19*a + 273. Let p be g(20). Is p greater than 1963/3?
False
Suppose -2*d - m = -6, 5*d + 5*m - 25 = 10. Which is greater: 1/4049 or d?
1/4049
Suppose 0 = -6594*j + 6626*j. Is -5/17 at least j?
False
Suppose 2*t = -m + 6 - 2, -36 = -3*m + 2*t. Suppose -5*h - w = 33, -m = -4*h - w - 36. Which is bigger: h or -9?
h
Let r(b) = b**2 + 2*b + 1. Let z be r(-5). Let t be 1 - 158/(-5) - (-228)/(-380). Suppose 257 = t*p - 287. Is p at least z?
True
Suppose -44*k - 28*k = 6*k - 384618. Which is smaller: 4930 or k?
4930
Suppose -3*i - 23 = 4*a, a + 0*a - 1 = 0. Let r be (-2)/4*(12 - 9 - i). Do r and -10 have the same value?
False
Let h be ((-509447)/713412 - (-2)/(-7)) + (0 - -1). Which is bigger: 0 or h?
h
Let n = -41.48 - -41.462. Is n bigger than -1?
True
Let d(c) = -8*c - 1. Let z be d(-2). Suppose z = 5*a - 3*m, 4*m + 14 + 6 = -2*a. Let b = 153/65 + -329/195. Is a less than b?
True
Let a = 3667 + -267665/73. Which is bigger: 5 or a?
5
Let h(m) = m. Let n be h(-3). Let g = n - 0. Let j = 3212/5 - 644. Which is greater: j or g?
j
Suppose 2*f + 40*v - 42*v - 1404 = 0, -5*f + 3*v = -3516. Do 704 and f have different values?
True
Let s = -20.437 + 20.4. Let p = s - -0.077. Is p less than -14?
False
Suppose 3089 + 4233 = 16*x - 5382. Is 794 greater than x?
False
Suppose -6 + 3 = -3*s. Let v = -26071/234 + -88/117. Let d = v + 112. Which is smaller: d or s?
d
Let t be 4/10 + (-522)/30. Let i(d) = -d - 5. Let x be (4 + 35)*((-6)/9 - -1). Let n be i(x). Is n smaller than t?
True
Let m = 165 - 71. Let k = 94 - m. Which is greater: k or -0.4?
k
Suppose -4*q - 1 = 3*i - 9, -4*i = 3*q - 6. Which is bigger: 9.2 or i?
9.2
Let i = 133829/13 - 10283. Which is smaller: i or 11?
11
Let b = -54 - -88. Let u = 5 - b. Let x = u + 31. Which is bigger: 12 or x?
12
Let d be 69/6*((-560)/32 + 17). Is -6/11 smaller than d?
False
Suppose i - m + 1 = 0, i + 4*m = -2*i - 3. Let j be ((-54)/4)/(i/(-2)). Suppose 91 + 21 = -4*c. Which is smaller: c or j?
c
Let n be 4 - (4/1 + -5). Let a be ((3 - n) + 2)/(-1). Let u be (-899)/(-868) - (-1)/4. Which is smaller: u or a?
a
Let t be 1 + 1/(3/(-15)). Let v = 44 + -24. Let i be (-8)/v - 13/5. Is t greater than or equal to i?
False
Let x(k) = -26*k**2 - 8*k + 12. Let l be x(-10). Let r = l - -383726/153. Is r > -1?
True
Let q(o) = 1128*o + 452. Let m be q(-2). Which is smaller: m or -1806?
-1806
Let c be 7 + 8/(-8) + -7. Let j be ((-24)/(-40) - c/15)*-3. Let t = 3.03 - 0.03. Which is smaller: j or t?
j
Suppose -15 = -4*d - 3*t + 2*t, 0 = -5*t + 15. Let r be 2 + (5 - d - 6). Which is smaller: r or 34?
r
Let t = 31 - 31