 or h?
h
Suppose 2*r = -5*j + 27, 2*j - r + 7 = 16. Let g be ((-4)/(-6)*3)/j. Which is smaller: 0.2 or g?
0.2
Suppose -5*a + 4 = 9. Let q = -225 - -2469/11. Are q and a nonequal?
True
Let m = -31788/5 - -6478. Let v = -120 + m. Is v equal to -4?
False
Let x = -30 + 14. Let g be -2*1/x*-2. Let t = 88/3 + -29. Is g less than or equal to t?
True
Let z = 19 + -22. Let p be -2*233 - z - -2. Let v = p + 4135/9. Which is smaller: -2 or v?
-2
Suppose -3*t = -v - 14, -22 = -5*t - 0*v + v. Suppose -w = t*z + 45, 0*w + z = w + 30. Which is greater: -32 or w?
-32
Let b = 437 - 615. Let q = 65892360/369863 + 12/28451. Let d = b + q. Which is greater: d or -1?
d
Let g = -4 - -23. Let k = g - 19. Let q = -6 - k. Which is smaller: q or -5?
q
Let c(g) = -510*g - 13. Let y be c(1). Is y at most -523?
True
Let c be 8/14*(-1 + (1 - -1)). Is 1 less than c?
False
Let y be ((-8)/(-16))/(2 - (2 + -1)). Is y at most -3?
False
Let m(g) = g + 0 - 4 + 0. Let z be m(4). Suppose -5*b + 9 = -6. Which is smaller: b or z?
z
Let y be 33*(2/3 + 56/24). Does 99 = y?
True
Let u be -4*(-2 + (-9)/(-6)). Suppose -2*q = -4*q - 24. Let s be (-5)/(-4)*q/(-10). Which is bigger: u or s?
u
Let d = -1626 + 1939. Is 309 < d?
True
Let m = 3 + -3. Let f be (m - -1)/(205/10). Which is smaller: 2 or f?
f
Let j(o) = o**2 + 6*o - 3. Let n be j(-4). Suppose 45 = 38*z - 33*z. Let m be (z/18)/(2/(-12)) - -2. Which is smaller: n or m?
n
Let p(n) = 23*n + 40. Let u be p(-2). Let w(f) = -5*f**3 + 6*f + 8. Let r(q) = -q**3 - q**2 + q + 1. Let b(i) = -6*r(i) + w(i). Let g be b(u). Is g > 3?
False
Suppose -3*s = 4*j + 66 + 316, 0 = -2*j + 3*s - 200. Is j at most -97?
True
Let j = 52 - 30. Let a = -257/3 - -108. Let m = j - a. Which is bigger: -1 or m?
m
Let x be 2/(-9 + 338/65). Is -2 at most as big as x?
True
Let v(n) = 2*n**2 - 4*n. Let q be v(6). Let a = q - 36. Are a and 12 equal?
True
Let c be 1*1*(-3)/153. Is 0 greater than or equal to c?
True
Suppose -4*s = -20, 4*a + 5 + 0 = s. Let v(w) = -4*w + w**3 - 281 + 0*w - 3*w**2 + 279. Let l be v(4). Is l greater than or equal to a?
False
Let n(y) = -y - 5. Let d be n(-10). Suppose -f - 3*r + 1192 = f, 0 = d*f + r - 3006. Let v = -19868/33 + f. Is v at least 1?
False
Let c = 0.226 - -0.004. Let j = c - 1.23. Let i = 35/8 - 369/88. Which is bigger: i or j?
i
Suppose 6*w = -0*w + 6. Which is greater: 30 or w?
30
Let h = -334 - -334.2. Which is smaller: h or -133?
-133
Let t be (-16)/520*(-4 - 45/(-6)). Is 0 bigger than t?
True
Let s = 5607628799178491/5541698416182390 - -10/178937630487. Let h = 43/1630 + s. Let a = -18/19 + h. Is 1 not equal to a?
True
Let o be (1050/9)/5*(30 - 36). Are o and -139 unequal?
True
Let i(k) = -k**2 + 5*k + 3. Let c be i(3). Let w = -8 + c. Suppose u + 0*u - s = 5, -3*s = -5*u + 19. Is u less than w?
False
Let m(n) = -n - 6. Let d be m(-7). Let i(b) be the first derivative of -b**2/2 - 2*b + 1. Let l be i(-2). Is l equal to d?
False
Let b = -3/7 - 1/14. Let c = 0.3 - 0.352. Let m = 1.948 - c. Is m at least as big as b?
True
Let w = 0.1312 - -0.0688. Is w > -218?
True
Let r be 7/12 + 1/(-4). Let d = -24 - -214/9. Which is smaller: d or r?
d
Suppose 3*l - l - 4*y - 246 = 0, 2*l + 2*y = 258. Is l > 129?
False
Let a be (10614/8)/(-3) - 12/(-48). Which is smaller: -441 or a?
a
Suppose 4*f = -m + 21, 4*m - 2*f - 32 = 2*m. Suppose -3*i - 6 = 2*l + m, -5*i + l - 21 = 0. Let j = -16 + 10. Which is smaller: j or i?
j
Let u be ((-2178)/204 - -7)*(-1)/5. Is 1 not equal to u?
True
Let m(u) = -u + 3. Let z be m(-2). Suppose -3*r + 0*r - 2*j = -10, z = -5*j. Is r at most 24/7?
False
Let s = -1.3 + 2.35. Let y = s + -0.15. Let o = 0.1 + y. Are o and -3 nonequal?
True
Let k be (4 - 18/6) + 1. Suppose -11*p = -k*p + 54. Are p and -45/7 non-equal?
True
Suppose -4 = 2*l - 4*l. Let z be (6/(-12))/(3/l). Let y be (0 + -5 - -1) + 3. Is z less than y?
False
Suppose 1 = 4*v - 19, 0 = -4*p + 5*v + 23. Suppose 63*d + 103 - 56 = 551. Does p = d?
False
Suppose 0 = 4*l - 12, 3*m + 0*l = l - 60. Let f be 1290/(-65) - 4/26. Is f <= m?
True
Let y be 0 - (-1)/(-3) - 38/(-114). Suppose 2*i + 5*n - 32 - 26 = 0, -2*i + 3*n + 26 = y. Is 17 greater than or equal to i?
False
Let t(o) = o**3 - 3*o**2 + o + 3. Let n be t(3). Let a be (3 - 6)/n*-12. Let y be (-4)/a - 4/(-6). Which is greater: y or -4/11?
y
Let z = -13.1 + 8.9. Let i = -93.1 + 97. Let t = i + z. Which is bigger: 0.1 or t?
0.1
Suppose 0 = -2*s - 2*s + 20. Suppose 0 = -3*z - 3*w + 6, -w + 2 = -3*z + 20. Is s smaller than z?
False
Let z = -1 + 95. Suppose -93*r + z*r = 68. Which is smaller: 0 or r?
0
Let j = 4 - 19. Let q be (-9)/j - (-2)/5. Are 9/17 and q equal?
False
Let b be 1 + (-1 + 1 - -1). Suppose -b*d = -4*d + 8. Let v be (-2)/d + (-21)/(-6). Do -2 and v have the same value?
False
Let o be (1 + 9/(-6))*(-8)/354. Which is greater: o or -1?
o
Let m be 1*2*(-54)/(-12). Let j = -12 + m. Is j < -7?
False
Let c = -37 - -11. Let a = c - -15. Let i = -349 + 350. Is i >= a?
True
Suppose -3*v - 1 = 2*y + 1, -5*y - 5 = v. Which is smaller: -2/27 or v?
-2/27
Let f be (-3)/(-6) + 37/(-2). Let z be (-40)/f + 14/(-63). Suppose 4*g - z = 4*r + 6, -2*r + 4*g - 8 = 0. Which is greater: r or -8/9?
r
Let x be -15 - -22 - ((-11577)/(-3858) - -4). Are 1 and x non-equal?
True
Let h = 0.2 - -6.5. Let x = 54 + -47. Let f = x - h. Which is smaller: 3 or f?
f
Let b be 1 + (-26)/(-18)*-1. Let w(n) = -2*n + 79. Let u be w(39). Is u bigger than b?
True
Suppose 73 = -5*q - 187. Which is bigger: q or -59?
q
Let b(w) = w**3 + 5*w**2. Let r be b(-5). Let d be r/((1 - 1) + -2). Are 4/35 and d equal?
False
Let q = 3917/2 - 372131/190. Is q < 1?
True
Suppose -2*w + 4*w = 2. Let r(n) = 4*n**3 + n. Let f be r(w). Is -2/9 greater than or equal to f?
False
Let k = 12 + -42. Suppose 5*y + 0*v - 2*v + 153 = 0, y + 35 = -4*v. Is y at most k?
True
Let z be (21/(-15))/(468/60). Which is greater: z or -1?
z
Let u be (-23)/23 - (1 - 6). Suppose -u*r - 3*r = -56. Is r at least 10?
False
Suppose -z = -2*h - 46, -4*h + 158 = 3*z - 0*z. Which is greater: z or 0?
z
Let s(n) = -n**3 - 10*n**2 + 10*n + 10. Let m be s(-10). Let b = m + 127. Let t = b - 112/3. Which is bigger: t or 0?
0
Let f = -59 + 25. Let l = f - -32. Do -10 and l have different values?
True
Let h = 419 + 11. Which is greater: h or 429?
h
Let y be (-4)/22 + 1236/22. Let f = 78 - y. Is 22 > f?
False
Let m(y) = 3*y**3 + 2*y**2 + y - 1. Let o be m(-2). Let g = 1.08 + -1.17. Let k = g - -0.09. Which is bigger: o or k?
k
Let s = -0.23 + 0.4. Which is greater: s or 1?
1
Suppose 2 = 2*k - 4. Suppose 25 = k*n + 2*n. Let o = -1090 - -5469/5. Which is smaller: o or n?
o
Let k = -554955191/7403350 - -3/296134. Let a(r) = r**2 - 18*r + 5. Let c be a(10). Let i = c - k. Which is smaller: 0 or i?
i
Let b(v) = 5*v - 34. Let z be b(9). Suppose a = 3*s + s + 9, 5*s - a = -z. Let i = -0.2 - -0.05. Which is greater: s or i?
i
Let k(m) be the third derivative of m**5/20 + m**4/12 + 5*m**3/6 + 10*m**2. Let b be k(-2). Is 11 greater than b?
False
Let l(o) = 2*o**2 - 5*o + 2. Let c be l(3). Suppose -5*q = -c*u + 67 + 728, 5*u = -4*q - 654. Let x be q/(-35) + 6/(-10). Which is bigger: 2/13 or x?
x
Let s = 2918 + -2902. Is 17 <= s?
False
Let k(g) = 4*g + 30. Let w(j) be the first derivative of -j**2/2 + 3. Let b(d) = k(d) + 2*w(d). Let z be b(-15). Is z bigger than -2?
True
Let r = 700 - 3482/5. Let z(o) = o**2 + 8*o + 21. Let j be z(-4). Which is greater: j or r?
j
Let x = -40 - -51. Let j be (-2)/4*18*-1. Does x = j?
False
Let d = 280 + -266.7. Let a = -1.3 + d. Let v = a + -12.1. Is -0.3 <= v?
True
Let u(o) = -o + 8. Let i be u(-9). Suppose -3 + i = t. Let v = 13 - t. Is 1/10 at least v?
True
Suppose -3*p + b = -2, -4 = 2*p - 2*b - 12. Let j be (-1 - p)*(-4)/8. Is -1/34 bigger than j?
False
Let x = 32 - 0. Suppose -t = -1 - x. Which is greater: 95/3 or t?
t
Suppose 5*x + 15*x + 220 = 0. Which is smaller: x or -10?
x
Suppose 0 = -4*v - v. Suppose 8*w - 30 = -6. Suppose 2*o - w = 3*o. Is o != v?
True
Let u = 5373/2596 + -102/59. Do u and 0 have the same value?
False
Let r = 15 + 9. Let n = r + -24. Which is bigger: n or -1?
n
Suppose 20*k + 6228 = 29*k. Is 691 <= k?
True
Let m be (-3480)/600 - (1 - -7). Is -15 < m?
True
Suppose -460 = 5*f - 10*f. Suppose -k - 3*k = f. Is k bigger than -23?
False
Let j = 