 5*d. Is 4/9 not equal to o?
True
Let c = -197 - -190. Which is smaller: c or -60?
-60
Let l(t) = t**2 + t - 5. Let o be l(3). Suppose 0 = -4*d + 16, 2*j + d = o*j - 11. Suppose 3*i - 2*b - 19 = j*b, -5*i + 2*b = 0. Which is greater: 0.3 or i?
0.3
Let q(j) be the third derivative of -j**6/120 - 13*j**5/60 - 11*j**4/24 + 11*j**3/6 + 15*j**2. Let f be q(-12). Let r = 0.38 - 0.3. Which is bigger: r or f?
r
Let k = 1210.61 - 1202.7541. Let w = k - -0.0841. Let m = -0.06 - w. Which is bigger: -1 or m?
-1
Let s be 174/(-728) - (-4)/16. Let t(i) = -5*i + 101. Let o be t(20). Which is smaller: s or o?
s
Let r = 0.01 + -0.31. Let f = -92 + 93.14. Let s = f + -0.14. Which is smaller: s or r?
r
Suppose 24*h - 20*h - 4 = 0. Let q be (-4)/10 - (-1077)/10. Let s = q + -107. Is s smaller than h?
True
Suppose -i - i + 3*a - 52 = 0, 4*a + 153 = -5*i. Let c be (-3 - i/7) + -1. Suppose 0*m + 3 = -3*m. Is c less than m?
False
Let x = 0.2 + 0. Let r = -84.8 - -92.8. Which is greater: x or r?
r
Let s be (-2)/(-8) + (-14)/(-8). Suppose 0 = -2*v - 2*o - 30, -o - 5 = v - s*o. Is v less than or equal to -2?
True
Suppose 65*d + 10 = 60*d. Let u be (d/(-28))/(1/76). Which is smaller: 5 or u?
5
Let w be (28716/968)/(5/30). Let a = 178 - w. Which is bigger: a or 1?
1
Let y be (-1 - 1) + 104/8. Suppose 5*b = -5*n - 11 - 24, -n = -2*b - y. Let c be (-3)/9 + (-32)/b. Which is smaller: c or 3?
3
Suppose -13 - 12 = -5*h + 3*k, 0 = -k - 5. Suppose 3*u + 5*o = -0*u - 30, -36 = h*u - 2*o. Let c = u - -12. Which is smaller: c or -4?
-4
Suppose k = -5*n + 4, -k = k + 2*n. Let b be (360/1890)/(1*2). Which is smaller: k or b?
k
Let t be (4/3)/(904/(-48) + -17). Which is bigger: t or 1?
1
Let i = -1588 + 1641. Is i > 672/13?
True
Let i(p) = p**3 - 3*p**2 + p - 1. Let t be i(3). Let v be (-12)/(-3) + 2 - 10. Is t greater than or equal to v?
True
Suppose -15*p + 16*p - 59 = 0. Suppose 5*l = 6 + p. Which is smaller: l or 0.3?
0.3
Suppose 5*r + 0*r = 15, -27 = -4*k - r. Which is greater: k or 40/7?
k
Let y be 8/(-6) - (-50654)/37410. Which is smaller: -1 or y?
-1
Let u = 239 + -142. Let t = 85 - u. Which is greater: t or -74/7?
-74/7
Let y be 1/(1/(-2))*6. Suppose -4*o - 311 = 3*u - 243, -3*u = 12. Do o and y have different values?
True
Suppose -96*y - 469 = -89*y. Is y greater than or equal to -64?
False
Let c = 75 - -23. Let o = -98.11 + c. Is 1 <= o?
False
Let h = 43 - 41. Let z(t) = -t**3 + 3*t**2 - t - 1. Let g be z(h). Is 0 greater than or equal to g?
False
Let b = -133 - -225.6. Is b < 0.1?
False
Let w = 285 + -180. Is 105 smaller than w?
False
Let y = 92954085/2341 + -39707. Is y bigger than -1?
True
Suppose 0 = -5*k + 3*j - 22, 28 = 2*k - 6*k + 5*j. Suppose 28 = 3*q + w + 4*w, w - 32 = -5*q. Let y = -9 + q. Which is smaller: k or y?
y
Let l = 15 - -3. Let u be (-3000)/(-192) - 6/(-16). Which is smaller: u or l?
u
Suppose -m - 4*m - 51 = -2*s, 2*m - 48 = -3*s. Suppose -y - 4*v + 1 = -0*y, 3*v = -5*y + 39. Suppose 5*k = y*k - 76. Is s equal to k?
False
Let d be (-9)/(-18)*56/(-274). Let g = d + 927/10412. Let x = g + 159/532. Is 2/3 at most x?
False
Let m be (18/(-6) - -3)*(-1)/(-2). Do m and -2/543 have different values?
True
Let a = 14 + -12. Suppose 340 = -a*k - 3*k. Let d = k - -277/4. Which is greater: 2 or d?
2
Let k = -641 + 623. Let n = -64 + 44. Which is smaller: k or n?
n
Let s(q) = q**2 + 6*q - 8. Let d(l) = -l**3 - 14. Let v be d(0). Let g = v - -7. Let o be s(g). Which is smaller: 3/13 or o?
o
Suppose 2*c + 5*v - 27 - 17 = 0, 4*c - 64 = -4*v. Let y be (3 + -6)*88/(-6). Suppose y*r - 39 = 41*r. Is c greater than or equal to r?
False
Let y = 0.26 - 0.1. Let c = y - 1.16. Which is greater: -2/13 or c?
-2/13
Suppose 10*i = -4*m + 7*i - 386, -2*m - 5*i - 200 = 0. Is -95 at least m?
True
Let g be ((-4 - 12) + 1)/((-2)/(-74)). Let c be (3/g)/(3/(-15)*2). Is -1 bigger than c?
False
Let y = -2853/2 - -1470. Which is greater: 44 or y?
44
Let r be (-4 - -8) + (-4 - 0) + 1. Is -2/831 greater than r?
False
Let x = -6/5 - -23/15. Let h = 0.39 + -4.39. Is x > h?
True
Let q be 2*-5*(-2)/5. Suppose -q*p + 2*p + 2*o + 6 = 0, -5*o - 25 = 5*p. Is p greater than -5?
True
Let u = -2 - -2. Let t = 31/37 + -87/148. Which is smaller: t or u?
u
Let m = -127 - -110.8. Let n = m - -16. Are -0.5 and n unequal?
True
Let m(t) be the second derivative of t**3/6 + 6*t**2 - 13*t. Let a be m(-5). Suppose -5*c = 0, 5*c = 3*w + a + 8. Are w and 0 unequal?
True
Let b = -27 - -27.13. Let v = 15.1 + -15. Let l = b - v. Is 2 smaller than l?
False
Let k = -171 + 143. Are -25 and k nonequal?
True
Let y = 459.2 + -482.128. Let z = 0.072 - y. Which is smaller: z or -1/4?
-1/4
Suppose 0 = 3*m + 35 - 38. Let v(z) = 4*z**2 - 2*z + 1. Let y be v(1). Which is greater: m or y?
y
Suppose 2*q + 316 = 4*w, 73*w = 76*w + 2*q - 230. Which is bigger: 86 or w?
86
Let k = 57 + -61. Which is greater: -0.07 or k?
-0.07
Let i = 8 - 9. Let c(r) = -r**3 + 8*r**2 + r - 10. Let b be c(8). Let q be (3 - (-7)/b)/4. Is q bigger than i?
True
Suppose 0 = -2*l + 2*u + 286, l - 191 = -3*u - 68. Which is smaller: 137 or l?
137
Let j = -20 - -15. Let g = 13 - j. Let b = 118 + -588/5. Which is smaller: g or b?
b
Let h be -37 + (8/(-2))/(-2). Let w be 10/h + 71/224. Let c(b) = b**3 - 3*b + 2. Let a be c(1). Which is smaller: w or a?
a
Let q = 134.4 + -131. Let t = -71.7 + 75. Let y = t - q. Which is smaller: 17 or y?
y
Let g = 19 - -6. Let h be (22/(-99))/(g/3*1). Are h and -1 unequal?
True
Let m(j) = -j**3 - 13*j**2 - 15*j + 53. Let h be m(-9). Is -135 not equal to h?
True
Let z = -7316261/98487576 - -31/109188. Let d = z - -7/82. Which is smaller: d or 0?
0
Let g = 155/1233 - 2/137. Let v be 2/6 - 6/(-9). Is v bigger than g?
True
Let q(u) = -u + 5. Let n be q(3). Let r be 6/n - (-222)/(-80). Let g = r - 3/5. Which is smaller: 0 or g?
g
Let s = 1 - 12. Let l = 32 + s. Is -1 <= l?
True
Let k = 190 + -190.1. Which is greater: k or -13?
k
Let n = 26 - -243. Let k = -4575/17 + n. Which is greater: k or -1?
k
Let y = -1891 - -1931. Is 40 >= y?
True
Let s = 8 + -66. Let a = s - -408/7. Which is bigger: 1/3 or a?
1/3
Suppose -v = -2, s + 30 = -3*s + 3*v. Let p be (2 + -2)*(-2 - 14/s). Do 5/4 and p have different values?
True
Let h be 2/18*-2 - 1280/(-90). Suppose -2*z + 8 = -0*i + 2*i, -h = -2*i - 5*z. Which is bigger: 17/11 or i?
i
Let p(t) = -t + 7. Suppose -2*u = -4*u + 5*y + 2, 4*y + 39 = 5*u. Let k be p(u). Which is greater: k or -8/5?
-8/5
Let d(o) be the second derivative of o**3/6 + 3*o**2 + 3*o. Let u be d(-5). Suppose -10*m - 19 = 1. Is u greater than m?
True
Let v = -0.04 + 7.04. Let t = v + -6.93. Let a = -0.1 + t. Which is smaller: a or -2/3?
-2/3
Let t = 449/4 - 2221/20. Which is smaller: 1 or t?
1
Let p = 1762/5 - 351. Let t = -3823 + 3823. Is t less than or equal to p?
True
Let k = -49.5 + 40. Let s = 9 + k. Let c = -0.6 - s. Which is bigger: c or -3?
c
Let h = 9 - 15.1. Let b = h - -14.13. Let g = -8 + b. Which is greater: g or 1/3?
1/3
Suppose -4*i + u = 2, -2*i + 0 = -4*u - 6. Let j = -2 + 1. Let w be (-3)/(45/(-13)) + j. Which is smaller: i or w?
i
Let i = -0.079 - -58.079. Let h = i - 64. Is h less than -1?
True
Let l = -12 - -19. Let o = 18 - l. Let r = -83/170 - -3/34. Do r and o have the same value?
False
Let g = 23 + -32. Let i be (-2)/(-10)*(g + 4). Let m = -0.21 + 0.2. Which is bigger: i or m?
m
Let z = 1118 - 965. Is 0.1 > z?
False
Let p = 432097/65 - 6647. Is 1 less than or equal to p?
False
Let p = -0.077 + 0.257. Is p > -0.17?
True
Let k = -8381/2845 + -23055189/2037020. Let t = k + 5/358. Is -13 <= t?
False
Suppose 0 = 9*z - 10*z + 28. Let x = z + -19. Is 1 less than x?
True
Let r = 1661/8 + -207. Is 2 > r?
True
Suppose 0 = -87*y + 82*y + 25. Let r(f) = -f**2 + 3*f + 2. Let a be r(y). Which is smaller: -22/3 or a?
a
Let b = -0.018 - 33.982. Let t = 32.3 + b. Let q = t + 1.8. Which is smaller: q or 2/5?
q
Suppose 0 = -y + 2*y + 2*y. Suppose 2*a + 112 = -2*a. Let m be 2/a - (-2)/4. Which is smaller: m or y?
y
Let u be ((-6)/5)/((-47)/5). Suppose 0 = 26*x - 129*x - 135*x - 238. Is u less than or equal to x?
False
Let r = -2 - -10. Is r >= 5?
True
Let d(j) = -3*j**2 - 5*j - 5. Let k be d(-9). Let v = 3856/19 + k. Let r = -59/38 - v. Is -1/2 less than or equal to r?
False
Let h be 4/6 + (-44)/(-33). Let i(q) = q**2 + q 