f
Suppose 3*u = 11*u + 8. Let d be u*(2 - (2 + 0)) - 14. Is d at least as big as -14?
True
Suppose -2*s - s = 0. Let h = -22.4 + 22. Let v = -10.4 - h. Which is greater: v or s?
s
Let s be (0 + (-3)/156)*-2. Let y(c) = 7*c + 62. Let l be y(-9). Do s and l have different values?
True
Let s = 1818 + -1651. Are s and 2 equal?
False
Suppose t - 32 = -a, 2*t - t = -3*a + 90. Which is smaller: a or 27?
27
Let m = 2381 - 461913/194. Which is greater: m or 1?
1
Let k(c) = 2*c**2 + 2*c - 40. Let w be k(-6). Suppose -3*q + 38 - w = 0. Is 4 not equal to q?
True
Suppose -g + 2 = -m + 1, 0 = m + 1. Let n be 14 + -16 - (-112)/63. Is g >= n?
True
Let m = 17 + -121/7. Are 0 and m unequal?
True
Let m be 56/(-448) + (-49)/(-396). Is m not equal to -1?
True
Let o be (14620/30)/(-3 + 22/6). Is 733 equal to o?
False
Let y = 15845 + -3248217/205. Which is smaller: y or 0?
0
Let c = 2 + 4. Suppose -c = 5*n - 1. Let x = -0.16 + 0.06. Which is smaller: n or x?
n
Let x(i) = -5*i - 35. Let d be x(-10). Let b be 2/(-10) + (-516)/(-30). Are b and d equal?
False
Suppose -5*v + 92 = z, -2*z + 12 + 163 = v. Which is smaller: 88 or z?
z
Let q = 8.42 + -8. Let t = -1.6 + q. Let i = 0.18 + t. Which is smaller: i or 0.2?
i
Suppose -2*b - v = 23, -5*b + 4*b - 14 = v. Which is smaller: 0 or b?
b
Let v(s) = -s**2 - 6*s + 8. Let r be v(-7). Suppose -1 = m + r. Are m and 1 unequal?
True
Let w = -14 - -13.91. Let y = w + -0.11. Let r = 0.11 + 0.19. Which is bigger: y or r?
r
Let c be 6/(-4)*46/3. Let p be (c + 1)/(0 - -2). Suppose -16*u - 117 - 43 = 0. Which is bigger: u or p?
u
Let m be 22/(-2) + 7 + (0 - -5). Which is smaller: m or 1/2441?
1/2441
Let g be 2*((-4)/32)/((-2)/4). Suppose -5*a - 84 = 3*b, 3*a = 8*a - 3*b + 66. Which is greater: g or a?
g
Let i(n) = n**2 - 7*n + 8. Let u be i(4). Let l(s) = -s - 2*s + 1 + 5*s. Let m be l(-2). Is m at most u?
False
Let u = 0.028 - 34.028. Let i = 34 + u. Which is greater: i or 0.2?
0.2
Suppose -61*f + 50*f = 220. Is -20 greater than or equal to f?
True
Let z = 42 - 36. Let d be ((-6)/(-4) + -2)*(-2 + z). Is 2 greater than or equal to d?
True
Let s = -1 + -22. Let q = -22.6 - s. Is q <= -6?
False
Let p = -73 - -37. Let s = p + 38. Suppose -q = q + 2*f - 12, -14 = -5*q + 3*f. Which is bigger: q or s?
q
Let h = -593/3 + 2962/15. Suppose 4*v + 0*v - 4 = 0. Does h = v?
False
Let r = -79 + 51. Let z(n) = 2*n**2 - 8*n - 149. Let s be z(10). Is r less than s?
False
Let n = 0.05 + -0.05. Let p = -503/2002 - -15/154. Which is greater: p or n?
n
Let f be (-6)/(-4)*-28*(-10)/20. Which is smaller: 27 or f?
f
Suppose -3*f - 198 = -0*f. Is -64 less than or equal to f?
False
Let c = -55.9 - -46.9. Is c at most 0.2?
True
Let w = -44/91 + 5/7. Let z be (82/205 - (-3)/5)*0. Is w at least as big as z?
True
Suppose -24*p + 27*p - 3 = 0. Let k be (-1)/2 - 17/(-34). Suppose 5*l = 3*o - 9, k = -2*l - o - 0*o + 3. Which is greater: p or l?
p
Let f = 48/89 + -93/178. Let g = -661/3026 - f. Let n(l) = -l**3 + 4*l**2 + l - 3. Let i be n(4). Is g less than or equal to i?
True
Let h(q) = -q**3 - 25*q**2 - 4*q - 91. Let j be h(-25). Suppose 10 + 45 = 5*z. Suppose -5*d - z = -51. Which is smaller: j or d?
d
Let w = -7 + 9. Let d be 1148/(-572) + w + 0. Let u = d - -717/286. Is 2 less than u?
True
Let z = 3.8 - -12.2. Let s = -0.772 - -0.772. Which is smaller: z or s?
s
Let s = -712 - -822. Which is smaller: s or 108?
108
Let t = -164 - -163. Which is smaller: -7/114 or t?
t
Let b = -0.12 + 1.12. Let w = -549 - -10440/19. Let n = w - -115/38. Which is smaller: b or n?
b
Let i = 197/291 - 1/97. Is i equal to -119?
False
Suppose 0 = -3*x + c + 172, -18 + 111 = 2*x - 5*c. Let n = 389 + -329. Is x greater than n?
False
Let r = -6 - -4. Let c(y) = 20*y - 23*y + 7 + y**3 - 6*y**2 - 2*y**3. Let l be c(-5). Which is bigger: l or r?
r
Let a = 426 - 453. Are a and -24 nonequal?
True
Let v = 2.55 + 8.45. Is 22 less than v?
False
Let l = 829 - 828. Is -1/1561 less than l?
True
Let l = -0.022 - -19.022. Let t = -12 + l. Which is bigger: -2/7 or t?
t
Suppose 13*q - 243 + 100 = 0. Which is greater: 13 or q?
13
Let l = 196 - 196. Which is bigger: 5/38 or l?
5/38
Suppose 13 = -6*s + 37. Suppose s - 4 = -8*a. Suppose -3*x = -2*q + 19, 4*q - x - 4 = 9. Which is greater: a or q?
q
Let p = -45 - -26. Let f = 63 + -63.1. Does p = f?
False
Let n be ((-44)/4)/(1/(-2)). Let i be ((-6)/n)/((-30)/(-20)). Is 4 less than or equal to i?
False
Suppose 34*p - 31*p = -72. Let u be -4*1/(p/186). Is 30 greater than or equal to u?
False
Let s be 42/(-56)*((-218)/(-108) + -2). Are s and 1 non-equal?
True
Let b = 6.73 - -0.27. Which is greater: 1.1 or b?
b
Let m be -4 + -1 - 2*(-37)/12. Is 0.2 at least as big as m?
False
Let x(w) = w - 3. Let f be x(3). Which is bigger: f or -3?
f
Let c be 111/(-259) + (0 - (-3688)/8442). Let b = c + -2209/48240. Do -1 and b have the same value?
False
Suppose 25*o - 1987 - 88 = 0. Is 83 at least as big as o?
True
Let m = -1.51 - -0.09. Let v = 0.32 + m. Which is smaller: -3 or v?
-3
Suppose -10*x + 11*x = n + 5, 0 = -3*n + 5*x - 9. Which is greater: n or 10?
10
Suppose 15*x - 2231 + 161 = 0. Which is bigger: x or 962/7?
x
Let k(b) = 2*b - 11. Let a be k(5). Let o be ((-10)/(-5))/(a/(-1)). Suppose -8 = 2*c + o*c. Is -2 less than c?
False
Suppose -52*q + 39*q = -533. Which is smaller: 40 or q?
40
Let m = 192 - 113. Let w = 98 - m. Which is greater: -1/2 or w?
w
Let w = 2137 - 2147. Is w < -7?
True
Let s = -869/90 + 86/9. Let v = -1/75 - -31/75. Let l = v - s. Are l and -2 unequal?
True
Let w = -0.101 - -0.041. Let a = w + 0.16. Let i = 3 + -2.9. Is a at least i?
True
Let i = 1 - -8. Let y = -12 + i. Let x be 552/(-84) - 4/(-7). Which is smaller: y or x?
x
Let n = 87 + -86. Is n at most 18/61?
False
Suppose -4*y - 23 = 3*t - 2, -5*y = t + 18. Let u be t*1*4/6. Suppose -5393*j = -5408*j. Which is smaller: u or j?
u
Let q be 1 - (0 + (-3685)/(-3696)). Which is smaller: q or 0?
0
Let n = 1507/5 - 1569/5. Which is smaller: n or -12?
n
Let x be (2/(-7))/((-660)/(-3080)). Let o be 0 + 1*(-1)/2. Which is smaller: x or o?
x
Let x be ((-2)/(-15))/(18/(-27)). Are x and -10/13 non-equal?
True
Let j be 44/(-30) + 240/144. Is 0.08 < j?
True
Let w = -593878858/7659 + 77540. Is w not equal to 0?
True
Let n(c) = -c**2 - 11*c - 6. Let t be n(-9). Suppose 7*s = t*s + 80. Which is greater: -14 or s?
-14
Suppose 5*k + 65 = -5*m, 2*k + 0*m + 14 = 2*m. Suppose 55 + 77 = -22*y. Which is greater: y or k?
y
Let a = -126 + 130. Let t be a/((-12)/(-9)) + 11 + 0. Which is smaller: t or 13?
13
Let c = -316/2975 + -2/175. Which is bigger: -8/13 or c?
c
Let a(k) = -65*k + 194. Let h be a(4). Which is bigger: h or -64?
-64
Let o(v) = -50*v + 10. Let l be -6*4/(-8)*1. Let c be o(l). Let q be c/18 - 12/54. Is q greater than -8?
False
Let x = 55 - 53. Let f be (-2)/(-2) + -3 + x. Is -1/24 smaller than f?
True
Let g = 1648/3 - 552. Which is bigger: 0.028 or g?
0.028
Let n(y) = -y**2 - 11*y + 5. Let j be n(-10). Let o be 9/j - (-865)/100. Is o greater than or equal to 10?
False
Let r be 2/4*(3 - 1). Let c be 1*r*(-6)/(-21). Let k = 0 - 0. Which is smaller: k or c?
k
Suppose -268 = 4*t - 4*g, -4*t - 86 = 4*g + 206. Is t less than -70?
False
Let r = -330 + 363. Which is greater: 34 or r?
34
Let x(u) = -3*u**3 - 2*u**2 - 2*u - 1. Suppose -2*m + 2 = -2*d, 3*m - 7*m - 12 = 4*d. Let b be x(m). Suppose b = -n + 1. Which is bigger: -3 or n?
n
Let v be 2*-3 - (17 - 250/11). Let m be 0 + -1 + 1 + 0. Which is bigger: v or m?
m
Let b = -827549/13188 - -1/6594. Let d = 63 + b. Is d >= 1?
False
Let z be 2/(-4) + (146531/(-506) - 8). Let x be (-1488)/5 - 4/10. Let p = x - z. Which is smaller: 1 or p?
p
Suppose -4*f = -2*u + 112, -u + 2*f + f = -51. Is u less than or equal to 66?
True
Suppose y - 4333 + 4349 = 0. Are y and -102/7 equal?
False
Suppose -5*y = 126 - 356. Are y and 45 equal?
False
Let m be (9/(-6))/(6/(-20)). Let i be 5 + 366/(-33) + m. Do -1 and i have different values?
True
Suppose 4*t = 21 - 9. Let b = -1 + t. Suppose 0*s = b*s. Is -2/57 at most as big as s?
True
Let m = -175/4 - -44. Let g = 69.53 - 1.53. Let n = 53 - g. Is n greater than or equal to m?
False
Let y = -24.2 + 23.2. Is y equal to -131?
False
Let q(l) = 7*l + 459. Let f be q(-65). Is f smaller than 109/21?
True
Let t = -75.87 + 79.4. Which is g