 + 4*y - 19. Let c be x(-7). Is q bigger than c?
False
Let b = -10833 - -10889. Which is smaller: -0.3 or b?
-0.3
Let n be ((-24)/(-470))/(14/(-279615)). Let o = -1020 - n. Which is bigger: -1 or o?
o
Let h = 0.396 - -3.084. Let m = 4.48 - h. Which is greater: 4.1 or m?
4.1
Let d = 59 - 57. Suppose -2*f = 10, -f - 1355 = 5*g + d*f. Let j be (-1)/4 + 6 + g/48. Is 0 at most as big as j?
True
Let u be 3216/(-1474) + 1 + 1. Does u = 65?
False
Let f be -8 + (-2145)/(-300) + 1/(-3)*-3. Which is bigger: -0.2 or f?
f
Let v = -27 - -23. Let s be 36/27*18/v. Let u(m) = 4*m + 15. Let w be u(s). Do w and -9 have the same value?
True
Suppose 2*z = -b + 435, 4*b - 95 = 4*z - 947. Let f = -189 + z. Which is bigger: f or 0.1?
f
Suppose 0 = l + 4*l. Let a be 4 + 1/(153/(-110472)) + -2. Let z = a + 720. Is l equal to z?
False
Let n = -7.1229 - 0.1071. Let x = n + 7.6. Let l = -143.229 - -144.229. Which is smaller: x or l?
x
Let k(t) = t - 8. Let u be k(3). Suppose 4*i - 121 + 77 = 0. Suppose -11 = i*n + 11. Is u greater than or equal to n?
False
Let w(u) = -171*u + 142. Let o be w(-15). Let a = o + -192193/71. Do a and 1 have the same value?
False
Suppose 3*k - 4334 = -846*s + 850*s, -3*k = 3*s - 4320. Is k less than -1/5?
False
Let q = -1069 + 1066.6. Which is bigger: -148 or q?
q
Let m be ((-37)/(-74))/(15/6). Suppose -16 = 2*j - 2*x, j - 5*j + 2*x - 26 = 0. Let z = -5 - j. Which is smaller: z or m?
z
Let s be (-3 - -5 - 31) + -4. Let o = 56 + s. Suppose -o - 69 = -4*a. Is a > 23?
False
Let k = -3009/7 + 429. Let h = -1.974 + 851.974. Let f = h + -850. Is k greater than f?
False
Let g = -968.5 + 1337.44. Let l = 369 - g. Is -0.42 not equal to l?
True
Let k be (-1)/(-3*2/96). Let q be (k - 14)*(0 + 2). Suppose 3*o + 5*g + 14 = -6, 16 = -5*o - q*g. Is o less than or equal to 11?
True
Suppose -602*y - 948 = -295*y - 295*y. Is y >= -1500/19?
False
Suppose -4*y + 5 + 5 = -5*i, -4*i = 3*y - 23. Let k(s) = -1530*s - 4580. Let b be k(-3). Which is greater: b or y?
b
Suppose -6*s + s = d + 161, 0 = 2*s + 5*d + 46. Which is bigger: s or -28?
-28
Suppose 0 = -3*z - 20*a + 21*a + 86, 0 = -3*z + 4*a + 83. Suppose 0 = 3*u + z*u - 6752. Is 210 at most u?
True
Let o = 474358/201 + -2360. Suppose -3*t = 3*v + 12, -5*t + 5*v - 27 = -57. Which is greater: t or o?
t
Let v be (16 + -13)/(6 + -3). Suppose 0 = -5*u - m - 2431, 3*u + 2*u = 3*m - 2427. Let o be (-5)/10 - 247/u. Is o at most v?
True
Let f be (7 + -4)/(-2 - -3). Suppose 4*n = 7*n + f*g + 12, -4*g + 12 = 0. Suppose -3*b - 63 = 6*b. Is n > b?
False
Let o be -5 - (-528)/150*330/(-12). Is o less than or equal to -102?
False
Let q be (1 - 2) + ((-554)/12 - -2). Let r = q + 41/6. Let f = r + 37. Is 0.2 > f?
True
Let t = -60 - -70. Suppose 5*p + 107 = 4*k, -5*k + 61 = -4*p - t*k. Are -19 and p non-equal?
False
Let y = 277 - 99. Let q = y + -180. Let v = 14.82 + -15. Which is bigger: v or q?
v
Let x = 0.2 - 0.1. Let s = 288.0561 + -0.0561. Let g = s - 288.6. Which is smaller: g or x?
g
Suppose 12*t - 14*t - 19051 = 7*w, 3*w + 8149 = -4*t. Does w = -2718?
False
Let i = 21 - -14. Suppose -i*t + 6*t - 29 = 0. Is 3/20 equal to t?
False
Let k(d) = d + 5. Let n be k(-4). Let g(i) = -651*i + 1886. Let o be g(3). Does o = n?
False
Suppose 0 = m + 4*k + 334, 5*m + 1343 + 352 = 5*k. Let t be (-33)/(-22)*m/(-3). Do 169 and t have the same value?
True
Let r = -2590 + 2589. Is r <= -11/102?
True
Let s(h) = 473*h - 1401. Let o be s(3). Which is greater: 244/13 or o?
244/13
Suppose 42*r - 421 = -43. Suppose -3*b + 2*g + 1 = -8, 3*b = 5*g + r. Let n be -1*(-1)/(-3)*-3. Which is greater: n or b?
b
Let q = 10878 + -10885. Which is greater: -21 or q?
q
Let j(g) be the first derivative of -g**3/3 + 23*g**2/2 - 45*g + 7. Let p be j(20). Let d = -16 - p. Is d less than -31?
False
Let l = -236 + 355. Suppose z + 3*n = -z + 63, 4*z = n + l. Are 26 and z nonequal?
True
Let a(o) = -4*o - 4. Let k be a(5). Let r be 4/(-6) + (-20)/k. Suppose 3*i = 3*s - 18, 0 = 35*i - 31*i + 20. Which is smaller: s or r?
r
Let i(g) = g**2 - 4*g - 357. Let w be i(21). Are w and 6/2219 non-equal?
True
Let t = 2360.8 - 2359.8. Which is smaller: 261.3 or t?
t
Let v(x) = 94*x - 22. Let r = -154 - -155. Let a be v(r). Is 71 at most as big as a?
True
Let h(d) = -408*d + 797. Let g be h(6). Is g > 1?
False
Let n = -88696 - -974976/11. Does n = -63?
False
Suppose 2842 = -4*g + 3*x, 6*g - 2*x - 4250 = 12*g. Is -1415/2 < g?
False
Suppose 0 = -2*r - 5*a - 15 + 14, 5*r = -3*a + 26. Which is smaller: r or -12?
-12
Suppose -4*c + 8 = 0, -30*c - 7608 = -5*y - 34*c. Which is smaller: -2/3 or y?
-2/3
Let q = -732.48 - -734. Let m = q - 2.52. Which is smaller: 116 or m?
m
Let m = -8711 - -26131/3. Is m less than -2102?
False
Let a be 1/4 + ((-770)/(-8))/7. Let x = a + -17. Let s be x*(-4 + 67/17). Is s bigger than 0?
True
Let u = -49/2 - -25. Let o = -10675 + 10750. Are u and o equal?
False
Let l = -904 + 865. Is l >= -161/4?
True
Let j = 0.083 + 0.019. Let t = j - 0.202. Is 11/13 bigger than t?
True
Let b = -3.9696 + 4.5696. Which is greater: b or -168?
b
Let x be (-503)/(-2515) - 4462/10. Are -4/3 and x non-equal?
True
Let z = 64261.57073618 - 1.52773618. Let x = z + -64234. Let m = 0.043 - x. Which is smaller: -0.1 or m?
m
Let t = -2166 - -2033. Is -149 smaller than t?
True
Let c = -4241 + 4132.5. Is c at most as big as -1/3?
True
Let l be 5 - (-2 - -323)*30/(-9). Suppose -5*w - 945 + l = 0. Which is greater: 23 or w?
w
Let n = -6834 + 9257. Is 2422 smaller than n?
True
Suppose -18*a - 134 = 46. Let g = -9 + 18. Let s = g + a. Which is smaller: -1/8 or s?
s
Suppose -25*c + 389 + 191 = 105. Is c less than 34?
True
Let i = 3927 + -4120. Which is bigger: i or -190?
-190
Let x = 1172 + -1173. Which is greater: x or 2/5221?
2/5221
Suppose -84 = 4*r - 3*g, -9*r + 3*g - 63 = -6*r. Suppose -3*x + 10 = 2*x. Suppose 0 = 3*v - 4*f + 29 + 21, -2*v - x*f - 52 = 0. Which is bigger: v or r?
r
Let z = -0.33 + 0.13. Let c = -5.163 - -2.763. Is c at most z?
True
Let k = 15 - 26. Let s = -12 - k. Suppose 2*w + p = 26 - 19, -4*w + p + 5 = 0. Is w at most as big as s?
False
Suppose 17*m = -152 + 492. Suppose 18*b - 2 = -m. Which is bigger: b or 22?
22
Let n be -1 - -45 - (6/(-18))/(28/1176). Let b(k) = -11*k - 9. Let q be (-2)/6 - 34/6. Let a be b(q). Which is greater: n or a?
n
Let m = 1.38 - 0.9507. Let x = 0.0293 - m. Which is smaller: 0.15 or x?
x
Let o = -0.06791 + 0.07874. Which is bigger: -0.2 or o?
o
Let p(y) = 9*y**2 - 1234*y + 79. Let c be p(137). Which is smaller: c or -32?
c
Let b(s) = 2*s + 26. Let v be b(-12). Let z be (-3)/v + (-158)/(-4). Let t = z + -38. Which is smaller: t or -2?
-2
Let u = -14 + 16. Suppose 3*l + u*l + 2*s - 314 = 0, 4*s + 76 = l. Let t be (-18)/l*2/18*-3. Which is greater: 1 or t?
1
Suppose 2*a - 4*a + 36 = 0. Suppose 7*l - a = 4*l. Let i be (0 - 69/l)/((-5)/(-10)). Which is bigger: -22 or i?
-22
Let a(c) = -12*c + 327. Let v be a(28). Let d(w) = -3*w - 4. Let j be d(-9). Suppose -3*q = 4 + j. Is v at least q?
True
Let x be 1*((3 - -2) + 1 + 1). Suppose j = 11 - x. Suppose 5*q - 8 = -j*m + q, -5*m = -q + 2. Is 2/197 greater than m?
True
Let r be 63/(-15)*(170 + -5)/(-3). Suppose -3*w + 2*m - 359 = 3*m, -2*w + m = r. Is w > -118?
False
Let f = 2077918 - 101845225/49. Let q = 556 + f. Suppose 0 + 2 = -2*m. Which is smaller: m or q?
m
Suppose 0 = -5*g - 2*v + 5, -2*g + 4*v = 25 - 27. Which is greater: g or -2/32261?
g
Suppose 7*a - 875 = 2*a. Let d(c) = -4*c**2 + 65*c - 259. Let z be d(7). Is z at least as big as a?
False
Let x be (-12)/3 - -4*1. Let z(w) be the first derivative of w**3/3 + w**2/2 - 2*w + 4. Let n be z(-1). Is n <= x?
True
Let r = -6316/77 + -4670/11. Is -507 less than r?
True
Let d = -21.1 + 20. Let y be 101 - ((-4)/(-6))/(2/6). Let c = -99 + y. Is c >= d?
True
Let i be -2*1*(-3 - 7). Suppose -5*a + i = -5*o - 3*a, -3*a = 5*o - 5. Let z be 1 + -1 + 2/o*1. Are z and 1/70 nonequal?
True
Let f = 8095/2 + -4086. Which is greater: f or -39?
f
Let y be 14*(6 - (-77)/(-14))*(-1)/7. Is 31/94 bigger than y?
True
Let f = 17 + -22. Let y = 2807 - 2802. Do f and y have different values?
True
Let x = 319 + 18. Suppose -3*p = -x + 340. Is p at least -5/121?
False
Let h = 561 + 334. Let y = 315 - h. Let m = y + 9277/16. Which is greater: -1 or m?
m
Let s(t) = t**3 -