0 = -c*t - 23 - 31. Let v be ((-2)/2)/((-2)/(-18)). Are v and t nonequal?
False
Let d = 37813891/653090 + 2/65309. Let c = -212/5 + d. Which is greater: c or 17?
17
Let f be 35/(-1)*7*2016/2120. Let j(d) = 2*d**3 - 6*d**2 + 3*d - 1. Let m be j(6). Let b = f + m. Which is smaller: -1 or b?
-1
Let j(r) = 6*r**2 + 15*r - 11. Let p(w) = -7*w**2 - 16*w + 11. Let o(s) = 6*j(s) + 5*p(s). Let y be o(-11). Which is smaller: y or 4/5?
y
Let l be -2*(-1 + 14/7). Which is greater: -1/15 or l?
-1/15
Suppose v + 29 = -91. Let j be (-2814)/(-24) + (-2 - -4). Let t = v + j. Which is smaller: 0.1 or t?
t
Let u = 39.33 + -39.3. Which is smaller: -27 or u?
-27
Suppose -13 = -h + 2*h. Let m be h/(-7) - (0 + 2). Let t(s) = -s**3 - 13*s**2. Let u be t(-13). Which is greater: u or m?
u
Let t be (-3)/12 - 63/(-28). Let u be t/(-15) - (-68)/60. Are u and 6/7 equal?
False
Let m(v) = -4*v**2 + 7*v - 4. Let i be m(6). Suppose -12*g + 209 = -14*g + 5*l, 4*g = l - 427. Which is bigger: i or g?
i
Let q(y) = -4*y**2 - y + 83. Let s be q(0). Let f = -104 + s. Which is smaller: f or -22?
-22
Let z = -239 + 238. Let l = -9 - -9.11. Which is smaller: l or z?
z
Suppose -2*w + 3*k - 2*k = 17, 3*k + 59 = -4*w. Let d = -3 + w. Suppose 4*a = 2*o - 60, -38*o - 52 = 3*a - 36*o. Which is greater: d or a?
d
Let b(j) = j**3 + 4*j**2 + 4*j + 1. Let g be b(-3). Let f be (0/2 - 0)/g. Let a be 16/(f + (-2)/(-1)). Is 8 equal to a?
True
Suppose t = -7*o - 40, -4*o - 11 - 1 = 0. Which is smaller: -36 or t?
-36
Let t be 2/(-20) - (-1297)/(-30)*1. Which is greater: t or -43?
-43
Suppose s - 5 = -0*s, -i - 3*s + 18 = 0. Let j be (-111)/15 - 2/(-5). Let k = 10 + j. Is k at least i?
True
Let w(n) = -n**2 - 7*n - 7. Let z be w(-2). Let s be 54/15 - (-2)/5. Suppose s*a - 27 = -5*r, -3*r + 4*r = -a + 6. Does r = z?
True
Let d(z) = z**3 - 2*z**2 + z - 2. Let r be d(3). Suppose -3*c - 22 - 71 = 0. Let k = -20 - c. Is k bigger than r?
True
Let s = -129/116 - 4/29. Let l = s + 23/12. Let z = 6 - 6. Is z < l?
True
Let m be (-4)/(-666)*(-18)/(-8). Do -1 and m have different values?
True
Let x = -19.3 - -19.2. Which is greater: 10.6 or x?
10.6
Let d = -3 - -3. Let r = -11 + 9. Let g be r/6*(-3)/(-2). Which is bigger: g or d?
d
Let q(o) = -o**2 - 20*o - 39. Let y be q(-15). Let h be 6*-1*(-4)/y. Is -4 > h?
False
Suppose 0 = -h + 6*h. Suppose h = a - 5 + 3. Suppose 0 = 5*m + c + c - 8, 0 = m - a*c - 4. Which is smaller: m or 0.2?
0.2
Suppose -1489 = h - 1511. Which is bigger: h or 25?
25
Suppose -9*b = -4*b - 15. Suppose 4*u - 4*n = -3*n - 3, 0 = -3*n - b. Is -2/5 bigger than u?
True
Let h = -987 + 988. Which is smaller: -0.042 or h?
-0.042
Let u = -143/96 + 21/32. Let m = -1.9 - -3.9. Is m smaller than u?
False
Let m = -0.0081 + 0.0081. Which is smaller: m or -2/51?
-2/51
Let m = 65411449/1199 + -54555. Which is smaller: m or 1?
m
Suppose 2*q + 10 + 16 = 0. Let c(n) = -5*n**2 + 43*n - 9. Let o(y) = y**2 - 11*y + 2. Let p(k) = -2*c(k) - 9*o(k). Let h be p(q). Which is bigger: h or -4/9?
h
Suppose -4*a = 2*d + 86, -71 = 3*a - 4*d - 1. Let i = -15 - a. Let w(p) = p**3 - 2*p**2 - p + 1. Let r be w(3). Is i equal to r?
True
Let v(g) = -27*g - 18. Let p be v(-1). Which is bigger: p or 6?
p
Let d be 204/(-36) + 6*1. Is d < 60?
True
Let o = -1036 - -927. Is o at most -3?
True
Suppose 25*w + 43 = -107. Is w not equal to -7?
True
Suppose -5*r + 0*b = -4*b - 22, -3*r + 5*b + 8 = 0. Let q be (10/75)/(4/r). Which is bigger: q or -1?
q
Suppose -15 - 11 = -2*y. Let d be 1071/84 - 2/(-2). Which is bigger: y or d?
d
Let a(y) = -y**2 - 5*y - 2. Suppose 3*h = 4*b - 0*b + 3, -2*h - 6 = 0. Let f be a(b). Let m(i) = i**2 - 51*i + 192. Let d be m(47). Is d < f?
False
Let w be (3/9)/((-2)/(-24)). Let n be ((-7)/(-42))/((-7)/w). Which is bigger: -1 or n?
n
Let v be 1 + 56 + (2 - (-24)/(-4)). Let s = -51 + v. Which is smaller: s or 6?
s
Let v = -238 - -588. Let h be ((-8)/v)/(18/15). Is h at least 1?
False
Let c be 26/3 - 4/6. Suppose -2*v + 3*f = -17, -3*f = v + f + c. Let o be 2 + (-1)/(1/v). Which is smaller: -0.1 or o?
o
Suppose 2*j = 6 - 102. Let s = j - -72. Which is bigger: 23 or s?
s
Let j(y) = -3*y**2 + 7*y + 13. Let s be j(-5). Let w = s - -77. Which is smaller: -22 or w?
-22
Let t = 48 - 90. Let p = t + 37. Is p at most as big as -4?
True
Suppose 5*f + 4*h + 39 = 13, 2 = -3*f + h. Let k be ((-24)/48)/(f/120). Let q = -28 + k. Which is smaller: 9 or q?
q
Suppose 3*j = -2*u + 112, 3*j + 5*u = 4*u + 107. Suppose 0 = 8*z - 10*z - j. Does z = -17?
True
Let q(p) be the third derivative of p**6/120 + p**5/15 + p**4/8 + p**3/2 + p**2. Let m be q(-3). Let t be m - 18*9/48. Which is bigger: 1 or t?
1
Suppose -3*w = 4*q - 21, 3*q + 2*q = -2*w + 28. Suppose -4*p = -l - 20, -4*l + q*l = 0. Let x be 2/p*5/13. Which is smaller: x or -1?
-1
Let z be (-35)/140 - -1*(-9)/12. Which is smaller: -1/511 or z?
z
Let n = -13 - -13. Let g = -0.38 - 5.62. Which is smaller: n or g?
g
Let x = 184/151 + -15698/6191. Which is smaller: -1 or x?
x
Suppose 18 = 8*d - 2*d. Suppose -2*x = -d*l + 62, 0 = -0*l + 5*l - x - 115. Which is bigger: 2 or l?
l
Let s = 2 + 0. Let i be s/(-8) + 21/4. Suppose -i*q - 15 = -10*q. Is q at least as big as 4?
False
Let z be 736/(-1*4) - 3. Let l be z/95 + -3 + 5. Let p = -17/2470 - l. Is p < 1?
True
Let k be -1 + 3 + (-37 - -8). Let f = 37 + k. Suppose -3*q = -f*q + 7. Does q = 2/11?
False
Suppose q = t - 14, 7*t - 5*q - 44 = 4*t. Suppose -10 = 3*d - t. Is d equal to 1?
True
Let w = -7 + 7. Let c = 2 - -2. Let d be (21/(-72))/(-1)*c. Does w = d?
False
Let r be (14/4)/(((-350)/812)/25). Is 0 at least r?
True
Let f = 131909/174 - 6823/9. Is -1 less than f?
True
Suppose 5 = 4*l - 9*l. Let x be l/(-3)*516/126. Let s = 8/7 - x. Is s at most -1?
False
Let j(g) = -g - 3. Let v be j(-5). Suppose 3*b - 2*b + 1 = -q, v*q = -4*b. Let l = 48 - 48.13. Does l = b?
False
Let s be (5*-992)/(7 - 8). Let h = s - 1383838/279. Are -1 and h unequal?
True
Let l be (-5)/(60/(-54)) - (-4)/(-8). Which is bigger: l or -5?
l
Let u(m) = 9*m**3 - m**2 + 2*m - 1. Suppose -3*l - 6 = -9. Let h be u(l). Suppose 2*g - 3*g + 19 = 2*z, -h = -3*z. Is g greater than or equal to 11?
True
Suppose -2*v - 884 = -2*c, 17*v - 1760 = 21*v - 2*c. Which is smaller: -437 or v?
v
Suppose 4 - 1 = l, 2*h = 2*l + 2. Suppose 6*u + h*u = -10. Which is greater: -1/188 or u?
-1/188
Let a be (-16)/(-6) + 40/(-60). Let p be (-252)/(-20)*a/(-6) + 4. Which is bigger: p or 0.7?
0.7
Let k be (5 - 3)/(12/(-126)). Is -19 less than k?
False
Let h be (0 + 0/(-1))/(30/10). Suppose 5*v - 36 + 6 = h. Is v greater than or equal to 7?
False
Suppose -m = -4*z + 18, 0 = 2*z - 2*m + 3*m - 6. Let t be z/(-14) - (-18)/14. Let c = 1366/15 - 899/10. Are t and c unequal?
True
Suppose 0 = 7*n - 1891 - 265. Is n not equal to 307?
True
Let r be 4/6*99/22. Suppose 4*b - r*n - 69 = -6*n, n = -3*b + 48. Suppose -2*m = 2*o + 3*o - b, 3*o - m + 2 = 0. Which is smaller: 0.1 or o?
0.1
Let c be (-3 + (-33)/(-6))/(5/(-10)). Let k be (5 - 4)*(c - -4). Which is bigger: -20/9 or k?
k
Let a = -5 + 10. Suppose i - 6 + a = 0. Let v be i/(-2)*(6 - 4). Is v at most as big as -1?
True
Suppose -3*i + 135 = -s, 5*i - 14 + 9 = 0. Which is greater: -133 or s?
s
Suppose -x - t = 2*x, x + 16 = 5*t. Are x and -8/69 equal?
False
Let s = 264 + -262. Which is smaller: -50/17 or s?
-50/17
Let v = 21 + -25. Let g be (-8)/(-8 - v) + 8. Let k be 1 - -2 - (2 + -10). Is g less than k?
True
Let z be 28/(-112)*(-32)/41. Which is greater: z or 0?
z
Suppose 3*o - 19 = -22. Let c be 2 - 1/(34/(-5196)). Let u = -155 + c. Is o > u?
False
Let n be 3 + ((-3)/(-6))/((-7)/98). Is -11/3 at least as big as n?
True
Let w(v) = -4 + v**2 - v + 6*v - v. Let s be w(-5). Let m = -3347/21 + 479/3. Is m at most s?
True
Suppose 0 = c + s + 4 + 1, 4*c - 5*s = -65. Is -57/5 not equal to c?
True
Let w(h) = -h**2 - 13*h + 53. Let s be w(-16). Suppose -132 = s*k - 127. Which is bigger: k or -2/171?
-2/171
Let p = 5/2 - 11/6. Let d = 0.2 - 1. Let q = d - -0.7. Which is bigger: q or p?
p
Let r(f) = f**2 + 5*f - 5. Let d be r(-5). Suppose 5*m + 4*x = -1748 + 404, -3*m + x = 820. Let w be m/255 - 2/d. Which is smaller: -2 or w?
-2
Let c = 583 - 583. Which is bigger: c or 1/62?
1/62
Let a = -695 - -983. Suppose 3*l - 9 = 0, -z - 4*z + 4*l = -a. Let k be ((-4)/10)/((-