-12 not equal to z?
False
Let p = 2 + -1.8. Let m = -8 - -13/3. Let z = -19/6 - m. Which is smaller: z or p?
p
Let s = 8 + -6. Suppose v + 2*l - 18 = -3*l, l = -s*v - 9. Let r = -110 + 103. Is r greater than v?
False
Let i = 7294 - 1320222/181. Are i and 0 non-equal?
True
Let l be 6/18 - 38/87. Let q = l + 41/116. Which is smaller: -2.1 or q?
-2.1
Suppose -l = -2*c + 72, 0 = -6*c + 2*c + 5*l + 156. Is 31 smaller than c?
True
Let g be 0/(15/(60/8)). Which is smaller: g or -8/133?
-8/133
Let v = 73361/26 + -2821. Which is smaller: 2 or v?
v
Let g be 27/(-36) - 22/(-8). Suppose l = 2, -4*q + g*l = q + 9. Let k = 346 - 1738/5. Which is smaller: k or q?
k
Suppose 4*l - 2 = -5*b + 13, 2*b - l + 7 = 0. Let m = 20507 + -266589/13. Do m and b have different values?
True
Let k be 248/(-6)*(10/(-4) - -4). Is k equal to -62?
True
Let k = -91 + 91. Let a = 0.04 - -0.02. Let v = 1.94 + a. Which is bigger: v or k?
v
Let r = 38.4 - 35. Let i = 5 - r. Let j = 1.4 - i. Which is bigger: j or 0.2?
0.2
Let m be (6 + 0)/12*-6. Let l = -5 + 6. Which is smaller: m or l?
m
Suppose 2*r - 5*t = 53, 0 = -8*r + 3*r + 4*t + 90. Let w be (-1)/(-1) - r/18. Let y = 703 + -704. Which is smaller: y or w?
y
Let b(m) be the third derivative of -m**4/24 + 4*m**3/3 + 11*m**2. Let j be b(8). Suppose j = 6*q - 3*q + 9. Which is smaller: q or -13/4?
-13/4
Suppose 25 = -2*m - 3. Let d = -9 - m. Suppose -2*c + 11 = 4*q - d*c, -40 = -5*q - 5*c. Is 5 bigger than q?
False
Let h = -3.4 - -2.4. Which is smaller: h or -121?
-121
Let j = -173 - -167.1. Let h = 19 + -13. Let i = j + h. Which is smaller: 2/5 or i?
i
Let w = -2148 - -2148. Which is greater: 4/305 or w?
4/305
Suppose 30 = -4*s - 6*s. Let o = 25 - 27. Is o smaller than s?
False
Let s = -510.954 - -511. Do -1 and s have the same value?
False
Suppose -4*a + 3*a = 0. Let v be 16988/(-224) + (-4)/14. Let d = v - -76. Which is greater: a or d?
a
Let n = -228 + 134. Let h = n + 83. Are -1 and h unequal?
True
Let o be (-3 - -2) + (1 - -1). Let i be 1/o - (8 + 4). Let n be 32/i + 26/13. Which is bigger: 0 or n?
0
Let d = -1956 - -1959. Which is bigger: d or -3/8?
d
Let k = -2 - -1.95. Suppose -d = 4*r - 2*d, -r + 2*d = -7. Which is bigger: r or k?
k
Let o(c) = -4*c**3 + 11*c**2 - 20*c + 6. Let b be o(6). Is b at least as big as -581?
False
Suppose 5*p = 3*s + 20, 6*s - p + 4 = s. Which is smaller: s or -2/161?
-2/161
Suppose -5*q = -2*q - 3. Let g be (0 - (-2)/(-74))/(81/36 + -2). Are q and g equal?
False
Let f = -909 + 942. Is f greater than 32?
True
Let m = -9 + 9. Suppose 5*f = x - 7, 4*f - 2*x + 8 = -m*x. Let n be f/5 + (0 - 0). Are -0.04 and n equal?
False
Suppose -40*n = -39*n + 10. Let u be 2/(-7)*n/15. Which is smaller: u or -2?
-2
Let s(y) = y + 2. Let w be s(3). Suppose 9 - 6 = -3*v - 5*o, -17 = -5*v - o. Suppose -v*i - 1 + w = 0. Which is bigger: i or 2/3?
i
Let j = -47.7 - -14.7. Let b = -14 + j. Which is greater: -1/2 or b?
-1/2
Suppose 5*z - 3*z = -2. Let v be (-14)/21 - (-100)/9. Let j = v + -100/9. Which is smaller: z or j?
z
Let v = -0.6 - -0.53. Let d = -0.8 - 1.2. Which is greater: d or v?
v
Let b = -2.32 - -2.12. Do b and 0.4 have different values?
True
Let y = -15.5 - -11.8. Let n be ((-2)/3)/(20/(-12)). Which is bigger: n or y?
n
Suppose 21*q - 70*q = -1127. Which is smaller: 153/7 or q?
153/7
Let k = -50 - -49. Let v = -2/848269 + -1660910624/33082491. Let a = v + 152/3. Are k and a non-equal?
True
Let l be 4 + 0/(-3 - -6). Suppose -5*o + 1 = 4*d, -d - l*o = -3*o. Is d greater than -1?
False
Suppose 0 = -280*o + 268*o + 588. Are 50 and o equal?
False
Let j be 42/69188*4/(-3). Which is bigger: -1 or j?
j
Suppose 5*b = -3*f - 8 - 8, 0 = -4*b - 4*f - 8. Let h be (-26)/(-65) - 33/b. Which is smaller: 8 or h?
h
Let b be ((-32)/(-12))/(2/3). Let d(p) = -p**3 - 7*p**2 - 2*p - 10. Let a be d(-7). Suppose -b = -a*i - 0. Do i and 1 have different values?
False
Let j be ((-21)/5)/(12/60). Let u = -19 - j. Suppose -u*z - 45 = 4*q - q, -5 = -z + 4*q. Do -15 and z have different values?
False
Let o(w) = w - 7. Let p = 10 + -7. Let j = p - -5. Let t be o(j). Is t at most 4/11?
False
Let u(k) = -k**3 - 14*k**2 - 5. Let c be u(-14). Let b be (c + 0)*(-24)/(-4740). Which is smaller: b or 1?
b
Let g(u) = 2*u**3 - 1. Let n be g(1). Let m be n*1*(-3)/57. Let k(j) = -j**2 - 8*j - 12. Let x be k(-6). Which is smaller: m or x?
m
Suppose 0 = x + 2*x + 3. Let j = -68 - -108. Let a = j - 41. Is x at most as big as a?
True
Let p be (-4)/(-6)*((-260)/(-55) - -1). Let k be 5/3*(2 + 1). Which is smaller: k or p?
p
Let d = 9 + -5. Suppose -2*f = 2*t - 8, 16 = 3*t - 6*t + 4*f. Suppose -30 = -5*s - t*s. Which is smaller: s or d?
d
Suppose 7013 = -45*t + 623. Are t and -142 non-equal?
False
Suppose 5*b - 12 = -37, -3*b + 60 = 5*a. Suppose -19 = 2*f - n + 2*n, 2*n + 26 = -3*f. Let v = f + a. Is 3 less than v?
False
Let s = 575.7 - 559.7. Let m(y) = -y**3 + 5*y**2 - 4*y. Let z be m(4). Is s at most as big as z?
False
Let c = 33 - 32.8. Let z = -0.1 + c. Which is greater: z or 0?
z
Suppose -2*t - 3*t - 3*w + 162 = 0, 3*t + 4*w - 106 = 0. Suppose s - t = -4*o, -2*o + 4 = -o + 2*s. Let a = o - 14. Which is smaller: a or -5?
a
Let m be (-3)/((-162)/12) + 21/27. Does m = 5/101?
False
Let o be 4 + 3/(84/(-32)). Let f(c) be the second derivative of 5*c**3/6 - c**2 - 6*c. Let j be f(1). Which is smaller: o or j?
o
Let f be 660/84 - 2/(-14). Let i be 12/f + 0*3/(-9). Let w be (2*2)/2 - 1. Do w and i have different values?
True
Suppose -d = 3*c + 7, 3*c = 4*d + 4 - 21. Suppose 0 = 5*h - 25, 0*u + u + d*h - 41 = 0. Is u greater than 31?
False
Let f(u) = -u - 14. Let l be f(-11). Let p = 10 - 7. Let g be 0 - p - 28/(-21). Which is smaller: l or g?
l
Let i = 6 - 2. Suppose -4*n + 2*n - 58 = -3*f, 3*f - i*n - 50 = 0. Let r = 24 - f. Is 3/5 greater than r?
False
Let w = 83 - 85. Are 0.3 and w equal?
False
Let s be ((-1)/(-2))/((-5)/(-26)). Let n be 3 + 3 - 4/1. Suppose c - 2*c + n = 0. Which is smaller: s or c?
c
Let q be 6/(-4) + -9*7/(-28). Suppose 5*f - 63 = 2*f. Suppose 5*d + s + 3 = -6, 0 = -d - 5*s - f. Which is greater: q or d?
q
Let g(k) = k**2 - 11*k + 37. Let t be g(8). Suppose -t*s + 10*s + 51 = 0. Which is smaller: 18 or s?
s
Let p = -11 + 19. Let a = -2970 + 2978. Is a at most p?
True
Suppose 3*p + 9 = 0, -2*p = -2*u + 9 - 1. Is u at most as big as -12/535?
False
Let c = 29 - 16. Let k(f) = 3*f**2 + 21*f + 12. Let t be k(-7). Is t greater than c?
False
Suppose 2*z - 4*j - 21 = 61, -4*z = 4*j - 128. Let t(h) = -h + 32. Let m be t(-3). Let s = z - m. Which is greater: -1/50 or s?
s
Let r be 8/(-12)*54/(-4). Let m = 19/2 - r. Is 0 not equal to m?
True
Let b be -1 + 3 + -12 + -1. Suppose -59*r = -78*r - 95. Is b bigger than r?
False
Let s be 4/(-6)*-3 + -18. Is 0.1 not equal to s?
True
Let v be -37 + 44 + 3*94/(-39). Suppose 2*b = -2*g - 2, -6*g + 2 = -2*b - 2*g. Is v at most as big as b?
False
Suppose -6 = 2*p + 2*s, -29 = -4*p + 4*s - 1. Let u(i) = 10 + p + 0*i + 1 - 2*i. Let v be u(7). Are 1/6 and v non-equal?
True
Let s = -31 - -35. Suppose s*h + 4 = 16. Suppose h*x = 2*t - 2, -5*x - 3*t + t + 2 = 0. Which is greater: 29 or x?
29
Let g = -2.073 + -0.027. Let s = 2.19 + g. Let n = 5.91 + s. Which is smaller: n or 1/4?
1/4
Let s = -0.565 + 1.565. Is s equal to -0.8?
False
Let w(m) = 9*m - 6 - 5*m - 3*m + 1. Let p be w(6). Which is bigger: -1/16 or p?
p
Let f be -2 - -1*(-26)/(-8). Suppose 0 = -3*k - 5*r + 106, r - 166 = -5*k - 2*r. Suppose 0 = 4*z - k + 28. Which is smaller: f or z?
z
Let j = -16.03 - -16. Let f = 0.08 + j. Let q = f + -0.23. Is q less than 1?
True
Let j = -33.0449 + -0.0551. Let i = 33 + j. Which is smaller: i or -9/8?
-9/8
Let z = 3.59 + -3.59. Let f(p) = -p - 19. Let h be f(0). Let u = h - -27. Is u at most as big as z?
False
Let u = -1.11 - -6.11. Is u greater than or equal to -13?
True
Let y be (-18)/(-5)*(0 + -1). Let x(a) = 2*a**3 - 13*a**2 - 7*a - 4. Let i be x(7). Is y greater than or equal to i?
True
Let q = -0.838 - 21.162. Does q = 21?
False
Let y be -8 + (-28)/(-7) - (-126)/9. Which is greater: y or 21?
21
Let x = 10501/65475 + -1/2619. Suppose b + 14 = -5*v, 0 = 3*v + 2*v + 15. Which is smaller: b or x?
x
Let k = -2/6663 - 213118/326487. Which is smaller: -1 or k?
-1
Let d(m) = -m + 3. Let f be d(1). Suppose 3*n = f*h - 0