3. Do -32 and y have different values?
True
Let g(n) = -10*n**2 + 15*n**2 - 6*n**2 + 16*n - 63 - 64 + 20*n. Let z be g(33). Let d = -52 - -25. Which is greater: d or z?
d
Let d = -501 + 82. Let x = d + 384. Which is greater: -43 or x?
x
Suppose 13*a - 14*a - 890 = -4*f, -5*f = 5. Is a at most as big as -894?
True
Suppose -4*o + 162 = -13*o. Let i be 30/(-40)*(44/o - -2). Let y = 13 - 18. Are i and y nonequal?
True
Let b be (-1 - 1)/((-16)/454). Let i = -57 + b. Suppose -375*m - 137*m + 1536 = 0. Which is smaller: m or i?
i
Let d(q) = -q**2 + 6*q - 8. Let r(o) = o**3 - 5*o**2 - 19*o + 98. Let x be r(5). Let c be d(x). Is 4/15 equal to c?
False
Let i(m) = -6*m + 1. Let r be i(-9). Suppose x = -5*x + 1980. Suppose 0 = -295*h + 301*h - x. Are h and r equal?
True
Let t be (3*13/6)/((-111)/(-1554)). Is 76 greater than t?
False
Let g = 535 + -507. Suppose -g*a - 8 = -8. Are a and -1/198 non-equal?
True
Suppose -350 = -27*g - 512. Let f = 1561 + -12527/8. Which is smaller: f or g?
g
Let v(c) = -3*c**3 + 46*c**2 + 2*c - 13. Let g be v(16). Which is bigger: -3 or g?
-3
Let s be (-2016)/(-3024) - 56/(-6). Let d = -23/5 - -47/10. Which is greater: s or d?
s
Suppose 5*m - 6699 = 5*a - 2*m, -3*m = -6. Do -1338 and a have the same value?
False
Let d(w) = -1246*w + 9970. Let q be d(8). Let o(v) = -v**2 + 6*v - 2. Let g be o(5). Suppose -q*a = 5*z + 15, -3*a = z - 2*z - g. Which is greater: a or -0.6?
a
Let u = 264246 + -264288. Suppose -2*l = 8, 4*k + k - 2*l + 192 = 0. Which is smaller: u or k?
u
Let b(p) = 45*p**3 + 52*p**3 + 6 - 99*p**3 + 4*p - 5*p**2. Let a be b(3). Which is greater: a or -78?
-78
Let d = -44.9 - 10.6. Let a = -55.57 - d. Is a at least 6?
False
Let s = -42837.6 + 45812.71. Let r = s + -2959. Let o = 0.11 - r. Is o greater than -0.2?
False
Let h be (2/28)/(656/(-32)). Let n be (-7 - 100/(-15))/1. Is n at most as big as h?
True
Let o = -232 - -279. Suppose 20*x = o - 67. Which is smaller: 11/26 or x?
x
Let u = -627145 - -627462.853. Let w = 318 - u. Which is greater: w or 1?
1
Let w = 2512 - 2292. Which is smaller: -8 or w?
-8
Let s be 18/(-280)*((-16211)/(-10707) + 9/(-6)). Is s less than or equal to 0?
True
Suppose 8 = 4*s + j - 12, 5*s + 3*j = 32. Suppose 2*d - 4 = x, -s*x - 5*d = -26 + 3. Which is smaller: -0.5 or x?
-0.5
Let x(q) = -q**2 + 35*q - 127. Let f be x(7). Let w = -69 + f. Let v = 27 - 83/3. Is v > w?
False
Let d(o) = -o**3 + 9*o**2 - 7*o. Let g be d(8). Let u be (15/(-4))/((-1)/g). Suppose n = -5*r - u, -2*r = -7*r - 5*n - 10. Which is smaller: r or -6?
r
Let a = -3642 + 3027. Is a bigger than -611?
False
Let u be (57/5 + -1)/(856/14980). Is u less than -1.7?
False
Let u be -3*11/(33/155). Which is greater: u or -2/39?
-2/39
Let i = -269.58 + 5297.58. Which is smaller: i or 2/7?
2/7
Let s be (0 - (-5 + 6)) + (-411)/(-854). Let r = s + -25/61. Is r <= -1?
False
Let f be (6/7)/(2/(-3)). Let k = 70.264 + -70. Let y = -0.264 + k. Which is smaller: f or y?
f
Let m = -331979/3 - -108735. Which is smaller: m or -1925?
-1925
Let l(h) = 45*h**3 + 13*h**2 - 26*h + 12. Let d be l(2). Which is greater: 381 or d?
381
Let m be 4 - 168/196*(-14)/(-3). Let j = 16 - -283. Let t = j + -19135/64. Which is greater: m or t?
t
Let d be 5 - ((1/(-6) - 2336/(-192)) + -8). Which is smaller: -1/6917 or d?
-1/6917
Suppose -4*m = b - 135, m - 101 = -2*m - b. Let q(r) = r + 1. Let f(d) = -14*d - 123. Let j(a) = -f(a) + 5*q(a). Let u be j(-5). Is u <= m?
True
Let w be (-10)/(-35) + (-1961)/28. Suppose -242*i = -253*i + 770. Let j = w + i. Is 2.9 bigger than j?
True
Let h(p) = -p**3 - 13*p**2 - p - 14. Let o be h(-13). Let x = 15293 - 10720395/701. Is o less than x?
True
Let w = 1226259/236 - 5196. Is 2/9 > w?
True
Suppose -1380*z - 21088 = -1348*z. Which is bigger: -662 or z?
z
Let d = 5 + -7. Let g(c) = -7*c - 31. Let f be g(-4). Let w be f*56/(-60) - 3. Do w and d have the same value?
False
Let w = -1/10986 - 258161/109860. Which is greater: -1 or w?
-1
Let k = -757 + 754. Is k at most -3144?
False
Let b = -47.29 - -23.29. Which is smaller: -33 or b?
-33
Let k = 15.273 + -15. Let a = 0.273 - k. Is 0.04 at least as big as a?
True
Let w = -5090097/2 - -2412704327/948. Let h = w + -2/237. Suppose 2*o + 3*g + 14 = 0, 0*o + 4*o - 2*g - 4 = 0. Which is bigger: o or h?
o
Let b be (-9)/((-180)/935)*(-5 - -9). Let m(r) = -187*r + 1. Let x be m(-1). Is b greater than or equal to x?
False
Let h = -1669 - -1343. Which is smaller: -0.4 or h?
h
Let x = -0.0393 - -4.8693. Let s = -4.93 + x. Which is greater: s or -421?
s
Let a = 5709 - 2771. Is a less than 2938?
False
Let k be ((-78)/91)/(12/28). Is k < -3?
False
Let m be 22/8 - 4/(-16). Suppose 5*p = 2*f + m*p + 80, -f - p = 38. Let j = f - -48. Which is smaller: j or 0?
0
Let n = 159 + -159.1. Let c = -0.077 + -0.543. Is n at least as big as c?
True
Let n = -17 - -19. Suppose -4*z + 0*f + 32 = n*f, 5*f - 2 = 3*z. Suppose -7 = -m + z. Is m > 12?
True
Let v be 3 - 14 - 247360/(-22464). Which is bigger: v or 0?
v
Suppose -h - 4*n + 20 = h, -2*h + 3*n - 15 = 0. Let x be (-3)/(3*(-209)/(-38)) + 312/1474. Which is smaller: h or x?
h
Let p be (83 + -81)*2/(12/(-433)). Which is smaller: p or -145?
-145
Let z = -16857 - -16857.2. Which is smaller: z or 2/589?
2/589
Suppose 7*a - 74 = -18. Let w = a + -118. Are w and -112 non-equal?
True
Let q(j) = -j**3 + 21*j**2 + 8*j - 30. Let p be q(21). Suppose -i + 3*n + 13 = 0, -4*i - n = 21 - p. Are i and -2/3 equal?
False
Let r = 86347/1302574 + -29/442. Let t = -144413/14735 + r. Let p = -191/20 - t. Which is smaller: p or -0.14?
-0.14
Let f = 3295/7 - 13133/28. Is f at most 2?
True
Let s(p) = -128*p - 3324. Let g be s(-26). Is 180/37 not equal to g?
True
Let w be (-4)/2 + 2*7. Suppose 0 = -627*s + 660*s - 687 + 60. Is s at most as big as w?
False
Let h be 446/(-2007) + (-520)/(-2178). Let t(f) be the third derivative of -f**4/24 + 2*f**3/3 + 2*f**2. Let c be t(5). Which is greater: h or c?
h
Let q be ((-455)/1846)/((-370)/(-2184)). Let p = q + 58/37. Is -1 less than p?
True
Let p be (-111)/(-12) - (-96)/(-384). Let g = 0 + 0. Is g greater than or equal to p?
False
Let p = 224.4 + -295.52. Let h = -70.38 + -0.62. Let l = h - p. Which is bigger: 0.01 or l?
l
Let h be (16/20*5 - 1) + -4. Let j be (123/18)/((-12)/9 - h). Is -20 at most j?
False
Let q(x) = 5*x**3 + x**2 + 5*x - 6. Let u be q(1). Are u and 93/16 unequal?
True
Let p(g) = 3*g**3 + 147*g**2 - 9*g - 49. Let b be p(-49). Is 386 equal to b?
False
Let k(f) = f**3 + 4*f**2 + 6*f + 4. Let v be k(-1). Is 7/450 at least v?
False
Let d = -0.5 + 0.9. Let z = 2.834 + -2.73. Let h = z + -0.004. Is h > d?
False
Let o = -18 + 25. Let l be (14 - 9498/678)*o*-1. Do -0.1 and l have the same value?
False
Suppose -42 = -6*c - 36. Let b be (c + 7/5)/(6/15). Let n be (15 + b)*1/(-6). Which is smaller: 2/3 or n?
n
Suppose -4*c = -3*d + 373, -199 = -0*c + 2*c + d. Let g = 246 - 345. Does c = g?
False
Let u be (-12)/(4*3/42). Let k = 3233/3 + -1121. Which is smaller: k or u?
k
Let v be (42/(-12) + 0 - -2)*4/(-6). Which is bigger: v or -2/3233?
v
Let x be (-15)/10*(-12)/(-3). Let v(m) = -24*m - 146. Let d(f) = -16*f - 97. Let u(b) = 8*d(b) - 5*v(b). Let g be u(x). Which is smaller: g or 15/7?
g
Let l = 0 + -1. Let q = -98 + 323. Let s be (-130)/56 + q/90. Is l at most as big as s?
True
Let a be (-43 - -42) + (0 - (2 - (-36)/(-14))). Let b = -6 - -3.5. Which is smaller: b or a?
b
Let z(y) = -797*y + 5362. Let t be z(6). Is t equal to 583?
False
Let t = 3925 + -3765. Is 162 > t?
True
Let i = 1887/4 - 463. Let a = i + -109/12. Let z = -90274 + 90285. Is a less than or equal to z?
True
Let x be -1 + -1 + 12 + (-189644)/18756. Which is smaller: x or 694?
x
Let m be (459/(-654))/(92/(-60)). Let l be 578*(-18)/(-2616) - 4. Let a = l + m. Is 0 at least as big as a?
False
Let w be ((-2)/3)/(4/12). Let s be w + 3 - (250 - -3). Let g be (-135)/s*(-16)/(-6). Which is smaller: g or 1?
1
Suppose 0 = -4*k - 12*k + 48. Suppose 0 = -z + 5, g + 25 = 5*g - k*z. Which is smaller: -1 or g?
-1
Let f = -7801 + 7799. Is -5848 != f?
True
Suppose 153 = p - 0*q + 5*q, -4*q = 3*p - 492. Let k be (-17208)/p + (-6)/(-14). Which is bigger: k or -103?
k
Let c(b) = -b**3 - b**2 + 2*b + 673. Let i be c(0). Let g = 478 - i. Is -1 <= g?
False
Let p = 89 - -91. Suppose m - 5*z +