4*u = 5*u + 314. Do b and n have different values?
True
Suppose 16*v + 16 = -16. Let y be (v/((-16)/(-14)))/((-3)/(-48)). Which is bigger: 0 or y?
0
Let v(x) = 5*x**2 - 54*x - 27. Let n be v(9). Let c be -3*(-4)/(-6) - -5. Suppose r + c = -106. Is n at most r?
False
Suppose 17*z - 796 = 1856. Suppose -32*x = z - 700. Is x <= 18?
True
Suppose -16 = -5*y - 4*a + 378, 5*y = -5*a + 395. Let n = -0.3 + 0.1. Is y < n?
False
Let q(n) = -2*n**3 - 5*n**2 + 11*n + 35. Let x be q(-4). Let p be (-10)/(13/x*(1 + 0)). Is -30 > p?
False
Let d = 2669/387 + -287/43. Which is smaller: -1916 or d?
-1916
Let c be (6435/26)/33*-2. Which is smaller: -368/25 or c?
c
Let s = 3 + -2. Let a = 10702 - 4655372/435. Let p = a + 49/145. Is p at most as big as s?
True
Let m(s) = -38 - 40 - 12*s - 41 - 42 + 166 - 2*s**2. Let b = -1 + -6. Let r be m(b). Is -8 at most r?
False
Let k be 6/217098*506569 - 14. Which is bigger: -1 or k?
k
Let x = 12314 - 14294. Are -1980 and x nonequal?
False
Let x = 22 - 79. Let u = x + 75. Let b be (-2)/12 - (87/u - 0). Is b bigger than -9/2?
False
Let v = 20.35 - 20.304. Which is greater: 29 or v?
29
Let f = -3750 - -1643. Let x = f - -2108. Let q(k) = 27*k**3 + 1. Let u be q(1). Which is smaller: u or x?
x
Suppose 0 = 27*g - 220 + 247. Which is bigger: g or 75/11?
75/11
Let o be (-4)/(-20) - 1 - 1377/(-15). Let v = -90 + o. Is v less than -4/15?
False
Let b(p) be the second derivative of p**5/30 + 19*p**4/24 - 5*p**3/6 + 8*p. Let o(c) be the second derivative of b(c). Let d be o(-5). Which is smaller: 4 or d?
d
Let a(b) = -33*b - 66. Let t(p) = -30*p - 64. Let h(d) = -5*a(d) + 6*t(d). Let q be h(-3). Which is smaller: -7 or q?
q
Suppose -20*h + 648 = -29*h. Let i be (-1)/4 + (-618)/h. Which is bigger: 2 or i?
i
Let q = -4.344 + 4.3. Let b = 30 - 28. Is q < b?
True
Let k = 2157.9 - 2158. Suppose 9 - 3 = 3*t. Suppose -3*r + t*r - 23 = 0. Which is greater: r or k?
k
Let l(n) be the first derivative of -n**3/3 + 9*n**2/2 - 9*n + 55. Let r be l(8). Is r bigger than 2/237?
False
Suppose -2*l - 72 = -6*l. Suppose 1 = 2*u + o, -l*u - 3 = -13*u - 3*o. Which is greater: -1/190 or u?
u
Suppose 263 = 19*t - 212. Suppose t*d - 1773 - 2677 = 0. Is 178 greater than d?
False
Let u = -7/7848 - -52055833/54936. Let p = 946 - u. Which is bigger: p or -2?
p
Let m = 8.7 + -7.71. Let i = 0.01 + m. Suppose 3*x + 152 = -5*l + 75, -2*l = -2*x - 30. Is i at least as big as x?
True
Suppose 0 = 26*i + 791 - 843. Does i = 0.254?
False
Let a be ((-22)/(-22))/(-1*(-1)/2). Let t be a - (0 - -4) - (-2)/2. Which is smaller: -24/7 or t?
-24/7
Suppose 2*d - b - 6 = -4*b, 4*b - 9 = -3*d. Suppose -d*h + h = -2*w - 34, 2*h - 29 = 3*w. Let y = h - 34. Is y less than or equal to -47/4?
True
Let u = 25330 - 25280. Which is smaller: 0.6 or u?
0.6
Let u(o) = 8*o - 3. Suppose 2*s = 5*m - 15, -5*m + 6*m - s = 6. Let d be u(m). Suppose 0 = -i - d - 16. Is -20 equal to i?
False
Suppose 8*q = 3*q - 3*p - 450, 450 = -5*q - p. Let l = -221 - q. Do l and -130 have different values?
True
Let c = 10239 - 10186.77. Let a = -52 + c. Let q = 0.13 - a. Is q bigger than 3?
False
Suppose 0 = -76*q + 77*q - 2, -3802 = 4*i + 3*q. Which is greater: i or -950?
-950
Suppose 4*g = 4*z - 184, 2*z + 5*g - 250 = -3*z. Let c = z + -50. Let k = 2 + c. Are 1 and k non-equal?
True
Suppose 4*t = 4*y - 1664, -5*t - 3*y - 1097 = 1023. Which is smaller: -417 or t?
t
Let i be 16/(-4) - (-10573 + 0/(-5)). Suppose 0 = -26*k + i - 3003. Is k at least as big as 291?
True
Let i be ((-4)/(-312))/(10/120). Is 364 less than i?
False
Suppose -234*x - 152 - 117 = -35. Let z = 0.28 - 53.28. Is z equal to x?
False
Let b = -15 + 136. Suppose o - 3*i = -7*i - 41, -i = -5*o - b. Which is smaller: -76/3 or o?
-76/3
Suppose 2201 + 4659 = 686*m. Let w = -5 - -8. Suppose -33 = -w*v + 6. Which is bigger: v or m?
v
Let z = 304381/39 - 7806. Is 0 less than z?
False
Let s = -71 + 35. Let q = -99973/20 + 4997. Let j = q + 5/4. Which is smaller: s or j?
s
Let u = 0.2 - 0.43. Let o = u - 0.17. Let w = o + 0.4. Is -0.1 >= w?
False
Suppose 1 + 3 = -4*t. Let f(c) = 6*c + 42. Let g(m) = -m. Let n(w) = -f(w) - 9*g(w). Let r be n(13). Which is bigger: r or t?
t
Let l(i) = -3 - 2*i**2 + i**3 + 2*i - 3 + 5. Let a be l(1). Let s = -156358 + 3283508/21. Do s and a have the same value?
False
Let i be 756/(-408)*1/(3/54). Is i <= -34?
False
Let v be -2*2*-4 + (-124 - -120). Is 620/59 >= v?
False
Suppose 0 = 2*h - 2*n + 22, -3 = 5*h + 4*n + 7. Let w be (6 - (-4)/(4/(-3))) + 11. Suppose 6*q - 3*q - 34 = 5*a, 0 = -4*a - 2*q - w. Which is smaller: a or h?
h
Suppose -h - 5*c = -724, 3*h - 5*c - 1448 = h. Suppose -6*l - 4852 = -h. Let i be (l/(-24) - 4)*1/2. Are 11 and i nonequal?
True
Suppose 0 = 9*q - 5*q - 0*q. Let k(s) = 3*s - 1. Let x be k(q). Let i be (0 - 2) + (-1 - (-14)/6). Do x and i have the same value?
False
Suppose -5*d + 4*d - 155 = 0. Let n = -209 - d. Is n at least as big as -52?
False
Suppose 0 = -502*q + 422*q + 2240. Which is smaller: -5 or q?
-5
Let x = 681 - 687. Suppose 3*i = 0, 8*i = -s + 10*i - 13. Which is smaller: s or x?
s
Suppose -54 = 99*d - 122*d + 452. Let q = 23 + -14. Suppose -11 = -r + q. Is d at most r?
False
Let i(x) = 4*x**3 + 93*x**2 + 10*x - 337. Let s be i(-23). Suppose 2*w - 5*w = 123. Is s equal to w?
False
Let d = 0.1 + -0.3. Let w = 7074 + -7076. Is w less than d?
True
Let z(b) = -4*b**2 - 3*b + 3. Let p be z(-6). Let t be (p/12)/((-3)/(-12)). Which is greater: -42 or t?
t
Let y = 0.7117 - -58.5483. Let g = -1.26 + y. Let m = 7 - g. Which is greater: m or 1?
1
Let s = -222 - -220. Let v(a) = 2*a - 16. Let t(b) = -b. Let h(r) = 3*t(r) + v(r). Let z be h(-10). Which is smaller: s or z?
z
Let r be (-5704)/(-3360) - (2 + 0). Let y = 9/28 + r. Let b be 1 - 1 - (-1 + 2). Is b bigger than y?
False
Let k(u) = u**2 + 8*u - 424. Let p be k(-31). Is p at most as big as 306?
True
Let c = 3.6773 - 3.652. Is 0.6 at least as big as c?
True
Suppose 0 = 3*w - 12*w - 36. Let z be (7 - 3 - 94)/1. Let c be w/10 - z/(-25). Is c greater than or equal to -3?
False
Suppose -r - 4*r - 10 = 0, 0 = 3*d + 3*r. Suppose 0 = -u - 5*h - 14, 2*u + d*h = u - 14. Let q be (-24)/108 - u/(-18). Is -6/29 at least as big as q?
True
Suppose 12381 = -19*x + 1931. Let z = x + 519. Which is smaller: -33 or z?
-33
Let k = 176 - 170. Let h be ((-121072)/20184 - -6)/(4/k). Which is smaller: 0 or h?
0
Let w(t) = -5*t - 19. Let i be w(-5). Let f be (4/i)/((-296)/(-111)). Are f and 27 non-equal?
True
Let s = 205.983 + 23.017. Which is bigger: 25 or s?
s
Let k(s) be the third derivative of s**4/12 + 19*s**3/6 + 351*s**2. Let u be (6 - 1)*(-9)/3. Let o be k(u). Is -10 less than or equal to o?
False
Let w = -4536 + 4445. Are 0 and w equal?
False
Let n(r) = -231*r + 202. Let y be n(5). Let d = -963 - y. Is d < -12?
False
Let v be (-210)/20*((-14)/6 + 1). Let f be 2/(-4) - (1 - (-1323)/v). Is -94 smaller than f?
False
Let z = -3996 + 3995.8. Which is smaller: z or -0.763?
-0.763
Let b = 4376 - 4370. Let i = 3.5 - 4. Which is smaller: i or b?
i
Let b = -26556 + 24134. Which is smaller: b or -2423?
-2423
Suppose 16 = 4*i + 4*i. Suppose -r - x + 2 = i*x, -2*r - 2 = 3*x. Let d be (0/1)/(-7*r/28). Which is smaller: d or 5/11?
d
Let s = 1 + 4. Suppose m + 0*m = -s. Let p = 2859 + -2865. Do m and p have different values?
True
Let b(t) = 2*t**3 + 13*t**2 + 5*t - 4. Let a be b(-6). Let g be (732 + -2)*(-1)/14. Let n = -51 - g. Is n bigger than a?
False
Let t = -254 + 205. Suppose 364 = -14*d + 7*d. Are d and t non-equal?
True
Let g = 3836 - 425. Is 3413 < g?
False
Let l be (-1)/(1/(-8)) - 330. Let f = 297 + l. Which is bigger: -12 or f?
-12
Let x = -1187 + 1269. Which is smaller: -2/3 or x?
-2/3
Let v be 6 - (33 + -24 - 9). Is 313/58 not equal to v?
True
Let n = -7.975 - -7.875. Which is smaller: -13458 or n?
-13458
Suppose -p + 2 = 5*s + 1, 2*s = 4*p + 18. Let g be -3 + p + (-8)/(-2). Let o(i) = i**3 - 2*i**2 + 7*i - 17. Let l be o(2). Is l greater than g?
False
Suppose 57*n + 6437 = -574. Let u = n - -159. Let s = 1.8 - 2. Which is smaller: u or s?
s
Let j = -954 - -1088. Let z = -133 + j. Let x be (-8)/(-30) - 2/(-6). Which is smaller: x or z?
x
Let a be 2/(-1)*(47/(-2) + -1). Let v(c) = c**2 + 5*c - 1. Let r be v(-6). Suppose -m + 1 = -r*o - 33, -m - o + 52 = 0. Is m small