
False
Let q = -0.0877 + 0.0877. Let w = -0.033 - 0.137. Is w at most q?
True
Let q = 8.2 - 8. Suppose -4*y - 2352 = -11*y. Let r = y + -301. Which is greater: r or q?
r
Let c = 374 - 693. Let x = c + 320. Is x equal to 13/27?
False
Let r be (-6)/(-8) - (-2)/24*3. Let g be (r/2)/(264/74). Let s = -1/24 - g. Which is smaller: -8 or s?
-8
Let o(w) = w + 5. Let h be o(-3). Suppose h*i + 14 = 76. Let z = i + -33. Which is smaller: z or -13/4?
-13/4
Suppose -252*x - 19 = -253*x. Suppose -x*g = -4*g. Which is bigger: g or -5/68?
g
Let g be 474/252 + (-36)/168 - (-1 - -3). Which is greater: g or -1/25?
-1/25
Suppose 4*c = 2*b - 108, -171 = 4*c + 2*b - 55. Let i be ((-6)/2)/((-72)/c + -3). Which is smaller: i or 5?
5
Suppose 31086*b - 31089*b - 1233 = 0. Which is smaller: b or -392?
b
Let o = -1 - -9. Suppose 2*d = -8, -o*w = -3*w - 5*d + 80. Suppose 0 = -18*g - 81 - 261. Which is bigger: w or g?
g
Suppose -17*r - 49045 - 61523 = 0. Is r less than or equal to -6505?
False
Let f = 238 - -922. Which is greater: f or -1/3?
f
Let x = 155246/5 - 30950. Which is bigger: 100 or x?
100
Let j = 102 - -67. Which is smaller: j or 157?
157
Let n(z) = -5*z + 16. Let p(t) = -9*t + 31. Suppose 2*v + 2*i + 5 = -7, -i = 2*v + 17. Let m(c) = v*n(c) + 6*p(c). Let s be m(8). Which is bigger: 16 or s?
s
Let m = -676 - -4057/6. Which is smaller: 303 or m?
m
Let k(b) be the third derivative of -3*b**5/20 + b**4/4 + 5*b**3/3 - 17*b**2. Let i be k(15). Let y be 335/i + (-2)/(-10). Is -1 equal to y?
False
Suppose -3*j - 11 = -5*g - 4*j, g - j = 1. Suppose -2*a + g + 3 = 3*c, -c = -2*a + 9. Which is bigger: a or 10/3?
a
Let b = 642 - 637. Suppose b*v - 6*v - 91 = -n, -4*v = -3*n + 369. Let u(p) = 15*p + 9. Let h be u(-7). Is v less than or equal to h?
True
Let q be (-8 + 1)*(-16 - -27). Let f = q - -77. Suppose -x - 5*l - 12 + 38 = f, 0 = -4*x + 4*l - 16. Do x and -1 have the same value?
False
Let h = -6338 + 6541. Are 226 and h nonequal?
True
Let h be (-34)/3 + 2/(-3). Let p(w) = -793*w**2 - 14*w + 1622*w**2 - 10 - 842*w**2 - w**3. Let y be p(h). Which is bigger: 12 or y?
y
Suppose 8*p + 12 = 11*p. Let x be 6 + -7 + -5 + p. Suppose 2*c + 4*v + 5 - 15 = 0, 25 = 5*c + 5*v. Which is bigger: c or x?
c
Suppose -7*j = -0*j. Suppose 2*y + 164 - 42 = 4*b, 5*b - 5*y - 140 = j. Let z = b + -31. Which is smaller: 11/7 or z?
11/7
Let l be 10 - (1 + -1 + 0). Let o = 1662 - 1657. Let q be l/(-14) - (33/(-7) + o). Which is bigger: 0 or q?
0
Let l = -21.3 + 21. Let x = l - 3.1. Let y = 0.081 + -0.081. Which is smaller: y or x?
x
Let i = -13232 - -13173. Which is bigger: i or -3.6?
-3.6
Let v = -52 - -66. Let t(d) = d**2 - 12*d - 30. Let g be t(v). Let x = -1 + -1. Is g < x?
False
Suppose -4*v + 10 = -5*p + 39, 4*v = 3*p - 27. Is p > 9/1136?
True
Let q = -30315 - -30801. Which is smaller: 478 or q?
478
Let f = 21535 - 21538.631. Is f bigger than -1?
False
Suppose 2*c = -20*c + 88. Let h = 22 + 28. Suppose -19*n = -14*n - h. Is c < n?
True
Let g = 24.98 + -29.3. Let z = -3.68 + g. Let s = -0.4 - 5.6. Which is smaller: z or s?
z
Let z = -705 - -479. Let v = z - 137. Do 1 and v have the same value?
False
Let w = 86 + 11. Let t be 3*(386/w - 2) + -6. Which is smaller: -1 or t?
-1
Let d = 193/231 + -37/33. Which is smaller: 3060 or d?
d
Let p = -0.98119 + 1.28119. Let x = -0.1 - 0. Let u = x - -0.11. Which is greater: u or p?
p
Let t be 0 + (4560/(-22790))/19. Is t >= -1?
True
Suppose -15 = -2*b + 5*f, 0*f - f + 4 = b. Let o be 6/(-27) + (b - 2044/36). Is o equal to -50?
False
Suppose 2*i = 2*n + 172, -n = -0*n + 4. Suppose -12*y + i = -13*y. Let q be y/20 + 33/22. Do -4 and q have the same value?
False
Let h = -393 + 429. Are 43 and h equal?
False
Let y = 20/163 + -254/4727. Let z = 1.66 + 1.34. Which is greater: z or y?
z
Let j be 33/(-2)*(-24)/12. Let s be 22/j - 512/12. Let d be 238/(-6) - (-2)/(-6). Which is greater: d or s?
d
Let a = -13.39 - -9.39. Which is greater: -0.179 or a?
-0.179
Suppose 68 - 43 = 5*g. Suppose -3*p - 11 + 5 = -g*f, 3*f = -4*p + 21. Which is smaller: 42/23 or f?
42/23
Let x = -4854 + 4881. Let c be (2/(-4))/(2/4). Which is bigger: c or x?
x
Suppose 0 = -2*r + r + d - 2, -d = -3*r. Which is greater: r or 3/3602?
r
Let p = 10744 + -32231/3. Is p < -530.4?
False
Let w(d) = 46*d**3 + 6*d**2 - 30*d + 77. Let b be w(3). Is 1283 < b?
False
Let o = 355 + -160. Let r = -237 + o. Let b = 16 + -18. Is b equal to r?
False
Let b be (10 + 26)/(-6) - (-48)/16. Is 0.1988 at least as big as b?
True
Suppose -4*o = 73*y - 75*y + 1298, 7*y - 4*o - 4573 = 0. Which is smaller: y or -6?
-6
Let v = -26.12 - -25.12. Is -3.45 less than or equal to v?
True
Let j(w) = w**2 + 8*w - 5. Let z be j(-5). Let p = -901 + 4507/5. Which is bigger: p or z?
p
Let t(d) = -d**2 + 24*d - 81. Let n be t(20). Let i be n/((-2)/8) + -4. Is 1/19 < i?
False
Let k = -4460 - -4460. Let t = 2634848194127/3998194410 + 1/38078042. Let q = t + -659. Are k and q equal?
False
Suppose 766*z - 484*z = 394*z + 6048. Let i(w) = w + 5. Let g be i(-3). Suppose -g*c = -6*c - 220. Is z less than or equal to c?
False
Let t = 3988 + -4029. Is 2/11 equal to t?
False
Suppose -4*y + 4*g + 5 = 13, 5*y - 10 = -5*g. Let a = 5344/69 - 230/3. Let x = a - 77/69. Which is bigger: x or y?
y
Let l be (-2 - (-5830)/2584) + ((-66)/24)/11. Which is greater: l or 0?
l
Let u = 3342 - 3348.7. Let q be 0/(((-12)/(-2))/(-3)). Which is smaller: u or q?
u
Let k be (-20406)/76 - 10/(-4). Let d = k + 262. Is -13/4 smaller than d?
False
Suppose 226*r - 996 = 238*r. Let o = -270 - -188. Is o less than or equal to r?
False
Let i = -1 + 15. Suppose 2*r = -5*h + 15, 0 = -4*h - 3*r + i - 9. Which is smaller: h or 7?
h
Let v = 10/4477 + -4866519/8954. Is v < -544?
False
Suppose -w + 1552 = 4*d - 4*w, 4*d - 1552 = w. Which is smaller: d or 0?
0
Let o(n) = 1035*n + 901. Let l be o(2). Is 2970 not equal to l?
True
Let g = -122 - -129. Let i(f) = -f**2 + 7*f + 1. Let w be i(g). Is -11/25 >= w?
False
Suppose 4*s + w + 12 = 5*w, s = 3*w - 7. Let t be s*(-3)/(-12) - (-468)/(-48). Does t = -15?
False
Let m = 1538 + -638. Let p be (-4)/(m/(-451)) - (3 - 1). Which is smaller: -1 or p?
-1
Let x be 4/(-10) - (-25853)/63345. Let l be (-3)/4 - (-4)/(-16). Is l greater than x?
False
Suppose 4*d + 12 = 0, -2*d + 199 = 5*n + 5. Let h(c) = -c**3 + 7*c**2 + 4*c - 15. Let w be h(6). Suppose -w = -f - n. Is f bigger than 12?
False
Let c(s) = 51*s + 461. Let r be c(-6). Let t = 94 + -246. Let d = t + r. Is d equal to 13/8?
False
Let c be ((-2)/(-314))/(-10*(-9)/180). Let w = 167/785 - c. Is 1 not equal to w?
True
Suppose 3*t + 0*t - 2*u = 9, 4*t - 12 = -u. Suppose 3*w + 84 = -t*j - 0*j, -5*w - 82 = 3*j. Let q = 11 - 42. Which is smaller: j or q?
q
Suppose 2*i + 3*i + 5*o - 20 = 0, -10 = -2*i - o. Let q(c) = c**3 + 7*c**2 - 26*c + 11. Let h be q(i). Is 324 not equal to h?
True
Let g(m) = 52*m**2 + 29*m + 1. Let h be g(-3). Let d = -383 + h. Which is smaller: -8/15 or d?
d
Let k be (-206)/(-42) - (8 - 3). Let m = k - -3/7. Is -8/9 > m?
False
Let t(h) = 23*h**2 + 22*h + 22. Let q be t(-1). Suppose -27*l + 77 = q. Is 0.33 >= l?
False
Suppose 3*i = i - 20. Suppose 2*y = -4*o + y + 64, 3*y = 3*o - 63. Let b = o + i. Which is smaller: b or 8?
b
Let d = 27 + -22. Suppose -22 = 3*h - 4*f + 357, -2*h = -f + 261. Let x be (1/((-5)/1))/(7/h). Do x and d have different values?
True
Let j(s) = -7 + 3 + 1092*s**3 - 1102*s**3 - s + s**2. Let i be j(2). Which is bigger: -81 or i?
-81
Let b = -116 + 117.34. Let i = -34752.66 - -34755. Let s = b - i. Is s bigger than 2/37?
False
Let k(t) = 33*t**2 - 38*t - 403. Let w be k(-11). Is w not equal to 4008?
False
Suppose 2*t - 6*t - 3*g + 6 = 0, 0 = t + 5*g - 10. Suppose 3*c + 182 - 479 = t. Let d be (c/2)/9 + 0. Is d != 5?
True
Let v = -415.52 + 435. Let s = v + -0.48. Let g = -19.1 + s. Is -0.17 smaller than g?
True
Let m = 13075 - 13534. Which is smaller: m or -463?
-463
Suppose 12*p - 8*p = -5*t + 24, -5*t + 20 = 0. Is -24/749 bigger than p?
False
Let h = -13.2 - -13. Let b = -68 + -51. Let f = b + 125. Which is greater: h or f?
f
Let n = -57361547/2038 - -28146. Which is smaller: 0.2 or n?
n
Let n be 1002/(-15) - (-2 + 0). Let b = -63905 + 63839. Is n smaller than b?
False
Let c = -443 - -433. Let x be 612/22 - 12/(-66). Suppose 0 = b - 4*b + 2*p - x,