0*p = 32. Let z be k(p). Let v = 74 - 71. Are z and v unequal?
True
Let l = 8 - 7.95. Is -0.3 at least as big as l?
False
Suppose -2*j + 2*u = -18, -4*j - 3*u = -28 - 29. Suppose -q - j = 5*r + 13, -3*q - 3*r - 39 = 0. Let w = -0.08 - -1.08. Which is bigger: w or q?
w
Let l be 1*(5/(-1) - -10). Is -2 equal to l?
False
Suppose 100*d - 95*d = 30. Let f be 3*((-14)/(-6) + -1). Is d less than f?
False
Let u be -1 + 12*-1 + (-7 - -9). Is u at most -0.1?
True
Suppose -2*q - d - 3*d - 210 = 0, 0 = -5*q - 3*d - 497. Are -97 and q equal?
True
Let c = -300 + 301. Which is greater: c or -9/26?
c
Suppose -z = -2*g + g + 3, -39 = -5*g - 3*z. Suppose -5*t + 1 = g. Is 2/55 not equal to t?
True
Suppose -6*x = -3*x. Let r be ((-13)/(-65))/(11*12/(-40)). Which is bigger: r or x?
x
Let j(p) = -3*p**3 + 1 + 7*p**2 + 6 + 4*p**3. Let g be j(-7). Suppose -2*r = -g*r. Which is bigger: r or 8/7?
8/7
Let d be (-8)/(-35)*(-1)/2. Let i = 1353 - 1353. Which is smaller: d or i?
d
Let i(k) = -k**2 + 6*k + 8. Let o be i(6). Let z(w) = w - 7. Let b be z(o). Let t = 388/247 + -24/19. Is t less than or equal to b?
True
Suppose 0 = -17*q + 42 - 25. Is -3/44 greater than or equal to q?
False
Let y be (-4)/50*5/11. Let j(k) = k**2 - 12*k - 86. Let u be j(17). Which is greater: u or y?
y
Suppose -2*o = -3*p + 277, 0 = -2*o - 4*p + 87 - 385. Let b = o + 41. Let r be b/30 - 3/5. Is -2 less than or equal to r?
False
Let q(p) = -p**3 - 3*p**2 + 2*p. Let k be q(-3). Let d be (1 - 0)*k/(-14). Are d and 1 non-equal?
True
Suppose -9 = -6*l + 3. Let j be (l - 3/2) + (-195)/(-10). Are j and 20 equal?
True
Let j be (-2)/(-3)*(-126)/(-28). Suppose -3*g + 18 = -j*y, 4*g + 6 = 2*g - 4*y. Do g and 0.3 have the same value?
False
Let m = 666 - 980. Is m > 0?
False
Suppose 5*r + 0*q + 5 = -q, 4*r = 3*q - 4. Suppose -3*o - 1399 + 3910 = 0. Let n = o + -27619/33. Which is greater: n or r?
n
Suppose -6 = -2*n - 0*n. Let s be 1/n + (3 - 3). Let t(j) = 10*j + 200. Let r be t(-20). Is r less than s?
True
Suppose -3*m + 3 = -0*m. Let j be 4/8 - (-136)/(-400). Which is smaller: m or j?
j
Suppose -72632 = 1697*f - 30207. Let c(h) = -2*h - 3. Let g be c(-4). Suppose 180 = -g*u + 50. Which is smaller: f or u?
u
Let u = -1 + 13. Let l be ((-1)/2)/(u/(-3312)). Let p be l/(-8) + (-13)/(-52). Is p equal to -18?
False
Suppose 3*p - 3*v + 30 = 0, 2*p - 4*v + 14 = v. Let t be (5/20)/((-1)/p). Suppose 6 = -5*c + y, -c - 2*y - 1 = 2*c. Which is smaller: c or t?
c
Let p = 0 + -0.15. Let n = 0.0379 + -0.1379. Do p and n have different values?
True
Let d be 8/(-84)*-18 + -2. Is 18 at least d?
True
Let i = -19 + 18.2. Let u = -0.8 - i. Which is bigger: -10 or u?
u
Suppose 5*i - 85 = -3*q + 2*q, -2*i + 11 = 5*q. Let t be 33/27 + (-4)/i. Let l be t/3*(-11 - -11). Which is bigger: -2/13 or l?
l
Suppose -5*g = 25, a + 2*a + 11 = 5*g. Let d = 2 - a. Suppose -3*x - 4*k + 78 = 2*x, 2*k - 46 = -3*x. Do x and d have the same value?
True
Let z = 59/220 + -1/55. Let s = 537 - 538. Which is smaller: z or s?
s
Suppose -2*m + 103 = -2*g + 89, -5*g - 2*m + 21 = 0. Let s = 3.2 - -28.8. Which is smaller: g or s?
g
Suppose 3*i - 860 = -w, 5*w + 7*i - 12*i - 4400 = 0. Is w greater than or equal to 875?
True
Let p = 0 - -1. Let h(a) = a**2 + 17*a + 34. Let s be h(-17). Let x = -36 + s. Which is smaller: x or p?
x
Let n = -0.115 + -4.885. Let u = 33 + -34. Is n greater than u?
False
Suppose -25*k + 17*k - 8 = 0. Are k and 2/2001 unequal?
True
Let c(z) = 2*z**2 + 2*z - 4. Let r be c(-3). Let b = r + -7. Let m be 6/14 - (-220)/(-350). Which is greater: m or b?
b
Let f = -299 - -285. Which is greater: f or -7?
-7
Let d(s) = s**2 + 4*s + 2. Suppose 2*a - 14 = 6. Suppose -25 + a = 5*r. Let p be d(r). Is p less than 0?
True
Let s = 0.2236 - 50.2236. Which is greater: 4 or s?
4
Let y = 70.1 - 70. Is -3/73 < y?
True
Let x = 316/5 - 1579/25. Which is bigger: 2/11 or x?
2/11
Suppose 0 = -12*l + 17 + 55. Suppose -l*j = -2*q - j + 15, -5*q = 4*j + 12. Which is bigger: q or -2/201?
q
Let a = -58 - -60. Let z be (8 + -7)*a/2. Which is greater: z or 0.41?
z
Let i = -0.278 - -0.578. Let r = -0.14 + 8.14. Which is greater: r or i?
r
Let y = -3214/27 - -119. Let w = 170 - 169. Is w bigger than y?
True
Let g(z) = -196*z + 15. Let w be g(4). Is -769 at most w?
True
Let k = 99 + -197. Let n = 76 + k. Are n and -22 equal?
True
Let n(d) = d + 0*d + 0*d + 4. Let b be n(-2). Let a(m) = -m**2 + 54*m + 497. Let j be a(-8). Which is bigger: b or j?
b
Let x(m) = 2*m**3 + 1. Let a be x(1). Does 0 = a?
False
Let z(c) = -20 + 1595*c**3 - 18*c**2 - 2*c - 1596*c**3 + 5*c**2. Let k be z(-13). Which is bigger: k or 4?
k
Suppose -6*m + 918 = -15*m. Is -103 smaller than m?
True
Suppose 0 = 2*r - 0*n - n - 14, 0 = -2*r + 2*n + 16. Let c be (r/4)/(3 - 0). Let d = 1 - c. Is 0.3 at least d?
False
Let d = -2/1527 - -27500/10689. Which is smaller: d or -0.01?
-0.01
Let s = 4.5376 + 0.2624. Which is bigger: s or -1?
s
Let k be 3/(-9)*-9 - 3. Suppose k = 7*c - 3*c + 60. Let s be (-6)/c*20/1. Which is smaller: s or -2?
-2
Let m = -0.5 + -4.5. Let u = -10 + 0. Let b = u - m. Does b = 0.2?
False
Suppose 75*m - 5*u + 18 = 78*m, -u = 4*m - 7. Is -2/27 not equal to m?
True
Let l(w) = -96*w - 9. Let z be l(-4). Suppose -19*r = -14*r + z. Which is smaller: -76 or r?
-76
Let w be (-3)/(-12) - (-4)/(-16) - -20. Suppose r - p - 3*p = w, 4*r - 4*p = 20. Is 4/31 smaller than r?
False
Suppose 6*i = 3*i + 12. Let j(o) be the second derivative of -o**3/6 + 2*o**2 + 27*o. Let p be j(0). Do i and p have different values?
False
Let k = -37 - -39. Let j(v) = -v**3 + 3*v - 2. Let y be j(k). Are -4 and y non-equal?
False
Let j be ((-3)/(-9))/(3/(-45)). Let l be (j/3)/((-1)/3). Suppose l + 0 = 5*c. Is -1/14 less than or equal to c?
True
Let l(p) = -29*p - 14. Let c be l(2). Let z = c + 78. Do -3 and z have different values?
True
Let z = 12 + 12. Let c = z - -1. Let a = c - 26. Which is bigger: -2/3 or a?
-2/3
Let d be 0/((-2)/1) - (-598)/(-552). Suppose -4*s + 4*q - 3*q - 10 = 0, 5*s + 5*q = 0. Is s != d?
True
Let m = -364 + 363. Are -5/26 and m non-equal?
True
Let d be (-3 + 4 - 5)*-23. Which is smaller: d or 90?
90
Let b = 61.4 - 61.8. Are b and 40 unequal?
True
Let u(s) = s + 12. Let f be u(-7). Suppose -f*x + 9*x = 0. Which is bigger: -1/6 or x?
x
Suppose -l + 4*f = -21, -5*l + 5*f + 3 + 27 = 0. Let y be 2/l + -4 + -8. Let w = -3 - y. Which is bigger: 8 or w?
8
Let o = 22.6 + -4.6. Let q = o - 18. Which is greater: -1/2 or q?
q
Let v(c) = 2*c**3 + 3*c**2 - 3*c + 1. Let o(f) = f**2 - 10*f + 2. Let s be o(10). Let x be v(s). Which is greater: 24 or x?
24
Suppose -j + 21 = u, -3*u + 64 = u - j. Let h = 15 - u. Let i be h/10 - (-416)/80. Is i at most 3?
False
Suppose -n = 0, 0*n = -4*p - 2*n + 192. Let t = p + -38. Suppose t*m - 16 = 14*m. Which is bigger: m or -2?
-2
Suppose 2*i + z - 23 = 0, 2*i + 10 = 3*z + 45. Is 27/2 smaller than i?
False
Let u(l) = -l**3 + 9*l**2 + 10*l + 5. Let h be u(10). Suppose 5*p = 185 + h. Which is bigger: p or 36?
p
Let f = 151 + -163. Is -90/7 != f?
True
Suppose 8*d - 5*d = 30. Let b be (-1)/(8/d) + (-10)/(-5). Which is smaller: 1 or b?
b
Suppose -3*k + 2*w - 4*w = -131, -2*k = -3*w - 70. Suppose 6*o - k = -11. Which is greater: o or 3?
o
Let j = 0.223 + -0.123. Which is greater: 19 or j?
19
Let t(k) = -8*k - 38. Let o be t(-5). Let r = 2/1273 + 19081/8911. Is r less than or equal to o?
False
Suppose -6*d - 8 = -14. Let z(j) be the second derivative of j**5/20 - j**4/6 - j**3/6 - j**2/2 - 6*j. Let n be z(2). Which is smaller: d or n?
n
Suppose 0 = -p + 3 + 3. Let t = p + -1. Suppose 0 = -5*s - v - 1, 10*v = -s + 5*v - t. Which is bigger: -1/5 or s?
s
Let x = 2801696/83811 + -2/11973. Which is greater: 32 or x?
x
Let o be (1 - (-3)/(-2))*2. Let i = -28 - -27. Let k be 35/30*3/21*i. Is o at least as big as k?
False
Let d be (60/(-17))/(-4 + 2). Let n = d - 261/119. Is 1 <= n?
False
Suppose -18*x - 407 + 1289 = 0. Which is smaller: x or -0.09?
-0.09
Suppose 5*g = -4*b - 0*b - 316, -356 = 4*b - 5*g. Is -86 > b?
False
Let v be 8*(10 + 1432/(-160)). Is 0.03 less than v?
True
Let d(i) = -2*i**3 - 39*i**2 - 84*i + 13. Let t be d(-17). Which is smaller: t or 8?
t
Let l = -8 + 1. Let b(g) = 16*g - 11. Let h be b(0). Let z be 76/h - (-7)/(-77). Are z and l non-equal?
False
Let r be (-8