- t = -21. Suppose 7*a = 8*a - 5. Is a < t?
False
Let g = 42 - 40. Let s = -1 + g. Which is smaller: -16 or s?
-16
Let l = 151/39 + -48344/429. Let a = l - -109. Which is greater: a or 2?
2
Let x(c) = 2*c - 9. Let n be x(6). Suppose -g + h = -1, -n*g = 5*h - 1 - 10. Let p be 0 + g + -1 + -2. Which is smaller: p or -1/3?
p
Suppose y = 58 + 92. Suppose 0 = -4*p + 5*n + y - 21, 5*p - 3*n - 158 = 0. Does p = 30?
False
Let l be (-10 - (-170)/20) + (-21)/(-6). Is l at most 58/57?
False
Let x = 18.789 + -18.9. Let u = x - -0.011. Is 36 smaller than u?
False
Let w = -5 + 3. Suppose -q - 4*g = g - 16, -q - 4*g + 13 = 0. Let h be q/(15/(-6) - -1). Is h less than or equal to w?
False
Suppose 0 = 3*a - 5 - 1. Suppose 3*u + 0 - 2 = -5*x, 3*x - 5 = a*u. Is x > 1?
False
Let q be (-27)/(-17)*(66 + -65). Which is greater: 2 or q?
2
Let t be (29/(-12))/(2/6). Let i be 23/(4692/24) - (121/17 + 0). Which is smaller: i or t?
t
Let f(r) = -r**3 - 11*r**2 + 2*r + 119. Let j be f(-10). Is j smaller than -10/221?
True
Let i = -44 - 42. Is i less than or equal to -81?
True
Let d be (-15)/(-3) + (3 - -7). Are d and 16 nonequal?
True
Let c = 939 + -160571/171. Which is bigger: c or 1?
1
Suppose -5*u + u = 452. Let s = -221/2 - u. Is s at most 3?
True
Let o be (-1)/(-3 - -2) + 1692/(-1716). Is 6 greater than or equal to o?
True
Let y(g) = g**3 + 23*g**2 - g - 24. Let k be y(-23). Let c be ((-3)/39)/((-5)/(-25)). Which is greater: k or c?
c
Suppose 0 = 9*a - 5*a - 176. Let m = a - 69. Is m bigger than 2?
False
Let k be ((-9)/(-54)*-291)/(4/8). Is k greater than -99?
True
Let k(o) = o**3 - 5*o**2 - o + 6. Let v be k(5). Which is greater: v or 4/5?
v
Let n = -6 - -4. Let z be 44/9 - (-9)/81. Suppose -m - m + 3*p = 0, 2*p = z*m. Is m bigger than n?
True
Suppose 26 = o + 2*z, 2*o - 86 = -3*z - 32. Let n be 2/5 - (-168)/o. Suppose -4*m + n*m = 14. Which is greater: m or -2?
m
Suppose 2*s = 4*n - 16, 0 = 3*n - s - 4*s - 26. Suppose 2*g - g = -n. Which is greater: -3/5 or g?
-3/5
Let f = 1198/3 + -400. Which is smaller: f or -83/6?
-83/6
Let d = -0.6 + -8.4. Let t = d + 10. Let n = t + -1.1. Are n and -0.7 unequal?
True
Let c be (-13494)/(-17355) - ((-9)/(-5) + -1). Is -1 less than c?
True
Let t be (-365)/4540 + (-3)/(-36). Which is bigger: 1 or t?
1
Let a = 1/4 - 1/12. Let i(w) = -w - 5. Let l be i(-5). Is a at most as big as l?
False
Suppose 2*a = 2*z - 16, -5*z = -27*a + 31*a - 67. Which is greater: 9 or z?
z
Suppose 6*u - 3*u = 9. Suppose 0 = u*s - 2*s + 16. Let b be s/4 + (-36)/(-10). Is b < 2?
True
Let o(b) = -9*b**2 + 99*b - 2. Let y be o(9). Which is greater: 163 or y?
163
Suppose -4*y - 30 = -6. Let x = 4 + y. Let s = 1250/13 + -96. Which is greater: x or s?
s
Suppose 35*x = 24*x + 99. Let s(g) = 9*g - g**3 + 0*g**3 + 2*g**3 - 10*g**2 + 11. Let v be s(x). Is 12 smaller than v?
False
Let a be 18/30 - 3156/35. Let v = a - -14881/182. Let p = 56/13 + v. Which is smaller: -4 or p?
-4
Let k = -73 - -76. Let s be 5/2 - k - (-69)/142. Which is bigger: -1 or s?
s
Suppose 9*n = -24*n - 1914. Are n and -56 equal?
False
Let n = 28 - 18. Let h be (1414/35 - 4/n)*1. Are h and 40 unequal?
False
Let x be 2/(-4) - 2125/(-34). Is -0.2 at least x?
False
Let h = 0.41 - -4.59. Suppose 4 = -2*g + 6. Suppose -g + 3 = 2*w. Which is greater: h or w?
h
Suppose 11 = 4*l - 2*z - 15, -3*z - 11 = l. Suppose 18 = -l*s + 14. Is -4/9 not equal to s?
True
Let l = 0.13 + -0.07. Let r = -0.46 + 0.16. Which is greater: r or l?
l
Suppose -6*j = -11*j + 30. Suppose 2 = s + j. Which is smaller: -5 or s?
-5
Let g = 15 - 12. Suppose 2*x + 1 = -u, 0 = g*u + 2*x + x - 9. Let a = -1 - u. Which is smaller: a or -3?
a
Let h be ((-7 - -6) + -2)*(-4)/3. Let p be -2*(-3 + (-18)/h). Which is smaller: 16 or p?
p
Let j be 1/(-4) + (-14)/(-24). Let x = 29 + -176. Let g = x - -147.12. Is j <= g?
False
Let h = 86533/315 + -5155/18. Let y = 35/3 + h. Is 1 < y?
False
Suppose 5*m - 1144 = -5*r - 3369, 5*r + 2*m = -2222. Which is smaller: -442 or r?
r
Let o = -4.648 + -0.352. Is 0.09 >= o?
True
Let w be (-28)/(-9 + (-640)/(-72)). Which is greater: w or 253?
253
Suppose 2*h + 17 - 4 = g, 0 = 2*g + 4*h - 2. Let a(y) = y - 8. Let d be a(g). Let f(n) = n**3 + 2*n**2 + 11*n + 41. Let m be f(-3). Is m smaller than d?
False
Suppose -q - 4 = 0, -5*l - 191 = 3*q - 4*q. Let u = 30 + l. Suppose 0 = 5*y + 5*p + 25, 0 = -2*y + 5*p - 40 - 5. Is u less than y?
False
Let o = -110 + 267. Is 156 greater than or equal to o?
False
Let r be ((-2)/4)/((-2)/4). Let x be ((-68)/(-119))/(132/14). Which is greater: r or x?
r
Let t be 7843/(-18)*3*(-3)/(-42). Let s = t - -280/3. Which is bigger: 1 or s?
1
Let l = 2096 - 10487/5. Which is smaller: l or -56?
-56
Let k(i) = 2*i**3 + 6*i**2 - 10*i + 14. Let t be k(3). Are t and 94 equal?
False
Let y = -7/4 + 5/4. Let q be (-4 + (-112)/(-35))/(4/90). Let h = q + 13. Which is bigger: h or y?
y
Let p be (-13)/(2*(-5)/10). Suppose 5*m - 31 - 44 = 0. Which is smaller: p or m?
p
Let u(g) = 3*g**2 + 3*g - 1. Let i be u(1). Suppose 32 = -0*z + 5*z + q, -i*z + 28 = -q. Is 35/6 at most z?
True
Let x be 2 - (-2 + (-70)/(-2)) - -3. Let b = 29 + x. Let j = -5 - -4.7. Is b greater than j?
True
Let k = -0.11 + -9.89. Let u = k - -10.2. Is 0.9 equal to u?
False
Let z(c) be the first derivative of c**4/4 + 16*c**3/3 + c**2/2 + 15*c - 7. Let u be z(-16). Is 2.9 > u?
True
Let r(m) = -9*m - 10. Let z be r(-5). Let c = 34 - z. Do c and -7 have different values?
True
Let p = -3264737/5 + 650680. Let t = p + 2259. Are t and -9 nonequal?
True
Let a = -0.1091 - -3.1591. Does a = -1?
False
Suppose -3*r - 4*q - 6 = 0, -3*r + 1 = -r + q. Let w be r/14 - 124/(-14). Are w and 9 equal?
True
Let r = 30 + -29. Let l = 90 - 73. Which is smaller: r or l?
r
Let q be ((-588)/16)/(2/((-16)/(-3))). Let p = -95 - q. Is p less than 5?
True
Let d(i) = 3*i**2 - 4*i + 2. Let s be d(2). Suppose 4*p - 3 - 9 = 2*r, -2*p - 2 = 3*r. Suppose -3*x + 8 = 4*m, -x = p*m - 5 - 1. Is s <= m?
False
Let v(u) = u**2 - 3*u + 4. Let c be v(-4). Let w = -88 + 122. Is w smaller than c?
False
Let i = -0.16 - -0.25. Let k = i - 1.09. Are 5 and k unequal?
True
Let c = -20 - -81/4. Let d = -0.14 + -2.26. Let p = d - -2.3. Which is smaller: c or p?
p
Let m = 83/70 - 24/35. Which is smaller: 3 or m?
m
Suppose 2*r = 2*x + 4, -5*r + 3*x = -x - 14. Let v be r/9 - 185/(-15). Let m = 12 - v. Which is smaller: m or 2/11?
m
Let i(x) = 5*x. Let z(m) = -m**2 - 7*m. Let s be z(-6). Let a be i(s). Let k be 4/(-14)*a/12. Which is smaller: k or -2?
-2
Let d be 5*(-35)/30 - 5/(-1). Which is greater: d or 0?
0
Let w(o) = o**2 + 5*o + 5. Let m be w(-4). Let b = 179/69 + -6/23. Which is bigger: m or b?
b
Let x be ((-1)/(-14))/((-65)/(-26)). Do x and -1 have the same value?
False
Let m be 24/1784*6/(-27). Which is greater: -1 or m?
m
Suppose 3 = 4*x - 5*o - 4, -o - 2 = -x. Let q(g) = -3*g**2 + 7*g - 4. Let h be q(x). Is -0.1 >= h?
True
Let k = -1819/1162 + -1/166. Which is greater: k or -1?
-1
Suppose -35 = -4*r + 61. Let i be r/(-32) - (-13)/28. Is i greater than 2/9?
False
Let j = -24 + 31. Suppose -j*l = -5*l - 2. Do 5/12 and l have the same value?
False
Let d = 10 + -8. Let n = -2.06 + d. Let g = n + -2.94. Which is bigger: g or 1/5?
1/5
Suppose -18*m - 21 + 39 = 0. Let c be 5/(-6)*33/30. Let h = -1/4 - c. Is h at least as big as m?
False
Let c = 3 + -2.6. Let t(k) = -3*k**3 - 45*k**2 - 3*k - 48. Let h be t(-15). Which is bigger: c or h?
c
Suppose -2*c - 4*q - 36 = 0, -2*c + 5*q = 39 - 12. Let s = 23 + c. Let g be (-3)/(-6)*4/s. Is g at least as big as 0?
True
Let p be (-7)/(-147)*3 - 2/14. Let b be 11/6 + -3 - p. Is b greater than 0.1?
False
Let g(l) = l - 4. Let c = 45 - 36. Let u be g(c). Do 7 and u have the same value?
False
Let r be 39/(-2) - 2/4. Suppose 2*j + 0*j + 38 = 3*x, 38 = -2*j - x. Let u = r - j. Do u and -9 have the same value?
False
Suppose 2 = 5*w - 8. Suppose -3*j = -w*v + j + 16, 0 = v + j + 4. Does -2/49 = v?
False
Let g be ((-4)/36)/(-2 + 7611/3798). Which is bigger: g or -29?
g
Suppose 6*o = 3*o + 21. Suppose -3*f = -o*f + 4. Let y be 1 + f + (-8 - -1). Is -6 equal to y?
False
Let x be 7 - 0 - 13 - 3*1. Let v(j) = -j**2 - 10*j - 10. Let l be v(x). Is -9/28 at most as big as l?
False
Let f be 17 + (-3)/(-2)*-2. Let q = -19 + f. Let m be (2/(-4))/(2/16). Which is b