 -1/6?
False
Let o(g) = -7*g + 5. Let d be o(1). Let c(m) = 3*m - 41. Let r be c(17). Let f be d/10 + 22/r + 3. Is 3/2 < f?
True
Let g = 377 + -364. Let o be (-2)/(-3)*-21*5/(-280). Which is greater: o or g?
g
Let h = 7.86 - 8. Let j = h - -33.14. Let f = j + -32.9. Which is bigger: f or 14?
14
Suppose 38*p - 224 = 270. Suppose a + 2*v - 345 = 0, 4*a - 4*v - 1331 = p. Which is bigger: 338 or a?
a
Let v be 4*-155*45/75. Let f(i) = 93*i - 2. Let q be f(-4). Which is bigger: v or q?
v
Let t = -0.054 - -0.03. Let s = -10 + 9.776. Let z = s - t. Which is smaller: z or -3/4?
-3/4
Suppose a = -106*b + 103*b + 13944, 5*b = 2*a - 27965. Which is smaller: 13966 or a?
a
Let j be 81/(-3)*360/1836*17. Let s = -205 + 116. Is s equal to j?
False
Let i be -59*1280/(-384)*(-12)/(-10). Which is smaller: -19 or i?
-19
Let u(b) = 6*b**3 + 6*b**2 + 10*b + 2. Let o = -4 - 0. Let j(d) = -5*d**3 - 5*d**2 - 9*d - 2. Let s(f) = o*u(f) - 5*j(f). Let q be s(-2). Is q bigger than -11?
False
Suppose 5*i - 25 = 0, -5*s + 6*i - 65 = 8*i. Let b be -1*(-8)/(-1128)*s. Is b >= -1?
True
Let i(o) = -o**3 + 12*o**2 - 8*o - 9. Let d be i(11). Suppose -33 = -3*x + 2*p + 2*p, d = 3*x - p. Let s = 329 - 319. Which is greater: s or x?
s
Let n be (-4125)/(-3276) + 24/(-18). Let j = n + -3/91. Which is smaller: -1 or j?
-1
Let a = 326.7 - 323.7. Is a less than or equal to 94/3?
True
Let r = 6063 + -6042. Is r bigger than 2?
True
Let u = -4093 + 3936. Is u smaller than -157?
False
Let x = 4.103 + -0.003. Let o = 30.7 - 26.7. Let b = o - x. Which is bigger: b or -1?
b
Let a be (-32240)/16124 - 1 - -3. Are 0 and a non-equal?
True
Let d = -13.01 + 13.087. Is d != 0.01?
True
Let l = -656/5 + 127. Suppose 5*a - 75 + 100 = 0. Which is greater: l or a?
l
Let f(a) = a**2 + 2*a - 1. Let d be f(1). Suppose -d*h = -5*u + 33 - 36, -5*u - 2*h = -13. Which is smaller: u or 36/19?
u
Suppose 0 = -4*m - 4*c, 2*m + 4*c - 10 + 0 = 0. Which is smaller: -1/40 or m?
m
Let z = -121814.645 - -124660.6. Let j = 2856 - z. Let h = j - 0.045. Is -2/19 >= h?
False
Suppose 126110 + 7702 = 84*a. Which is greater: 1595 or a?
1595
Suppose -19 = -10*z + 11. Suppose 0 = z*k - 2*i - 8, k - 2*i = i + 5. Let t be (k + -2)*3/6. Which is smaller: 24 or t?
t
Let i = 98.971 + -99. Let u = i + 3.029. Which is greater: u or -13/3?
u
Let u = 7.291 - -1.709. Is 4/11 greater than or equal to u?
False
Suppose -16*s + 9*s = -7. Let y be (-12454)/232 - 6/(-12). Let d = y - -213/4. Is s less than d?
False
Let o = 10 + -7. Suppose 485 - 477 = 8*p. Suppose p - 13 = o*n, -3*f + n + 1 = 0. Which is smaller: f or -26?
-26
Suppose -12*v = -17*v - 115. Let j(c) be the second derivative of -c**5/20 + 7*c**4/12 - 2*c**3/3 + 2*c**2 - c. Let q be j(7). Which is greater: v or q?
v
Let u = -270 - -273. Let a be (u + -1)*181 - 1. Which is bigger: a or 360?
a
Suppose 5*r - 89 = -2*a, -4*r - 24 = a - 94. Suppose 18*i - r*i = -7. Let c be (3/6 + -1)*i/(-11). Which is smaller: 1 or c?
c
Let k be (48/9 - -4) + (-189)/42*2. Which is smaller: 8045 or k?
k
Suppose -127*d + 341*d = 21828. Which is greater: d or -2/43?
d
Let k be (-46)/(-8) - 2 - (-1)/4. Let s = k + -12. Let g = s - -5. Are -8/3 and g unequal?
True
Suppose -4*n - 2*l - 708 = 0, n + 0*n = l - 177. Let s = n + 177. Are s and -106 equal?
False
Let y = 19/13 - -152/65. Let o = -148 - -55. Let c = 97 + o. Is y > c?
False
Let j(u) = -10*u - 20. Let q(b) = 3*b + 3. Let x be q(-1). Suppose x = 4*l - 21 + 37. Let i be j(l). Is 21 at least i?
True
Suppose 5*c - 19 = -14. Let m be c/10*54 - 5. Which is smaller: m or 4.3?
m
Let r = -41798 + 41748.979. Let n = r + 49. Let f = n - -19.021. Is 0.1 smaller than f?
True
Let b(f) = -5*f + 189. Let j be b(38). Let m be 4/(-7) + (-225)/(-252). Which is smaller: j or m?
j
Suppose 0 = -3*x + 2*u - 1828, 0 = 5*x + u - 12*u + 2993. Which is smaller: -623 or x?
-623
Let q = 39463 - 38403. Are -2 and q nonequal?
True
Let v = -11115 + 11100.982. Let a = v - -0.018. Which is greater: a or 1/5?
1/5
Let j = -0.02101 - 0.00989. Which is greater: -1 or j?
j
Suppose -u + 10 + 24 = 0. Let p be 0 + -3 - 3366/(-33)*(-3)/(-8). Which is smaller: u or p?
u
Let x = 15192 - 2795303/184. Is x at least 1?
False
Suppose -15*k + 45180 = -27*k. Let f = -26294/7 - k. Which is smaller: 10 or f?
f
Let p(o) = -18*o**3 + 2*o**2 - 3*o + 43. Let u be p(-7). Let r = u + -25465/4. Which is smaller: r or -29?
r
Let g = -584 + 604. Let x be (-18)/14 + (-6)/(-21) + 2. Is g less than x?
False
Suppose 2*s = w - 14, 5*w = -0*w + 20. Let g be (105/20 + s)*0. Which is greater: g or 1/91?
1/91
Let c be (-5 - (1 - 1))*-14. Let i be (4/(-9))/(28/(-378)*1). Let g be (c/6)/((-2)/i). Which is smaller: g or -34?
g
Let v(c) = 170*c + 44. Let h be v(-9). Let t = -150081/101 - h. Let w = t + -453/13231. Are 1 and w equal?
False
Let f = 34.77 - -0.23. Let c = 43.42 - 0.42. Let w = 44 - c. Which is smaller: f or w?
w
Let j be 0/(-5*(192/(-20) + 10)). Is 458 less than j?
False
Let w = -7.3374 + 8.066. Which is greater: -0.1 or w?
w
Let x(q) = -q**2 + 67. Let m be x(-8). Suppose -p + m = -54. Which is smaller: 59 or p?
p
Let s(j) = -j**3 - 37*j**2 - 285*j + 15. Let l be s(-26). Let x be 3*-2*(-4)/3. Let z = l + x. Which is smaller: z or -8/3?
z
Suppose 18*t = 146 - 18 + 88. Which is greater: 85 or t?
85
Let j = -19223 + 19223.044. Is -4.9 != j?
True
Let p = -4 + 4.05. Let d = p + 6.95. Let u = -7.05 + d. Which is greater: u or 3/5?
3/5
Let q = -22.48 - 1.62. Let k = 24 + q. Let y = -1.285 - -81.285. Which is greater: y or k?
y
Let k be (42/(-7))/(2/(-7)). Let z be ((-77)/k)/((-1)/(-42)). Is 2/7 bigger than z?
True
Let l be 66/385*(-2)/(-3)*(-20)/(-168). Suppose -4*d = -2*d - 2. Is d smaller than l?
False
Let r = 4410 + -4786. Which is bigger: -377 or r?
r
Suppose l = -l - 20. Suppose 15*s = -4*r + 20*s - 1931, -483 = r - s. Let a = 480 + r. Which is greater: l or a?
a
Let a be ((-3060)/240 + (-26)/(-2))/((-10)/(-40168)). Is 1003 greater than a?
False
Let i = -5339 + 5338.9. Is i less than 581?
True
Let g = -9645 - -9488. Is -2/17 smaller than g?
False
Suppose 166*a = -93*a + 44*a - 215. Which is smaller: a or -1/11802?
a
Let i(d) = -8*d + 17. Let p be i(1). Suppose -5*s - 3*g + 72 = -p*s, -2*s - 3*g - 18 = 0. Are s and -12 nonequal?
True
Let d = 64 + -59. Suppose d*m - 55 = -x + 2*m, -3*m - 225 = -3*x. Which is smaller: x or 71?
x
Let k = -186 + 214. Let t = -63.9 - -91.8. Let o = t - k. Is o less than -0.24?
False
Let a = -5.337 - 208.563. Let d = -214 - a. Which is smaller: d or -39?
-39
Let t = 1552 + -895. Let k = t - 654. Which is smaller: k or 29/10?
29/10
Let a be 1326/231 + 4/(-14). Let r = -21 - -26. Which is greater: r or a?
a
Let z be (1/8 + 1/120)/((-4356)/(-40)). Which is greater: 1 or z?
1
Let o be 70 - (-1)/3*15. Let s = o + -303. Is s smaller than -227?
True
Let r be (-2800)/(-1960)*(-2)/(-292). Is r at most as big as 0?
False
Let m(c) = -c**3 - 5*c**2 + 5*c - 7. Let u be m(-6). Let n = -40282/3 + 13233. Let r = n - -193. Are r and u equal?
False
Let q = -81 + 81.223. Let i = -0.977 - q. Which is bigger: 1.5 or i?
1.5
Suppose -11*f + 0 - 22 = 0. Suppose 3*w - 9*w = 30. Let k be w/2 - f - 132/(-72). Which is smaller: k or -0.4?
-0.4
Let w = -51.3 - -349.3. Let k = 298.3 - w. Do k and -37 have different values?
True
Let q be -1 - 4/(-2) - (12 - 10). Let x = -31.28 - -31. Which is bigger: x or q?
x
Let i = 3039.91 + -2801.8. Let p = i + -238. Is p not equal to -6?
True
Let z(n) = -3*n + 24. Let k be z(44). Let i be k/(-63) + (-6)/(-21). Which is bigger: -3.4 or i?
i
Suppose 0 = d - 0*d - 186. Suppose -40*m + 46*m = d. Let z = 65/2 - m. Is 3 at least as big as z?
True
Let b = 219.78 - 218. Let k = b + -96.78. Let u = 93 + k. Is -2 at least u?
True
Suppose 0 = -2*o + 402 - 440. Is o less than or equal to -86?
False
Let q = 12.4 + -12. Let y = -0.3 - q. Let i = -0.12 + 0.02. Do y and i have the same value?
False
Let p = -4/409 + -1195/3272. Is -26.3 at most as big as p?
True
Suppose -6*r = 151 - 175. Suppose -5 = -8*h + 11*h - 5*d, r*h + 5*d + 30 = 0. Is 10 < h?
False
Let j be (-153)/(-4420)*(10/6 + 3). Which is greater: -1 or j?
j
Let h = -60 + 41. Let w = 1.421 + -1.621. Which is smaller: h or w?
h
Suppose 61*m - 66*m = -5*r - 885, 4*m = -5*r + 663. Suppose m = -w + 41. Which is smaller: w or -130?
w
Supp