= 101.5 - 13.7. Which is greater: j or -2/5?
j
Let b = 1026 + -1184. Which is greater: b or -156?
-156
Suppose -15 = -3*o - 0. Suppose 3 = -2*q + o*q. Which is smaller: q or -1/3?
-1/3
Suppose 246*h - 1820 = 226*h. Does h = 88?
False
Let u = -274 + 4112/15. Suppose 5*i + 3 = 28. Let s(l) = l**3 - 4*l**2 - 6*l + 7. Let p be s(i). Is u at most as big as p?
True
Let h = -22 + -3. Suppose 0 = 223*y - 164*y + 1416. Which is greater: h or y?
y
Let f be 1 + 5 + 122 + 4 + 0. Is 131 greater than f?
False
Let t = -135164/11 + 12286. Let c(b) = b**3 - 4*b**2 - b + 4. Let n be c(3). Let p be (12/n)/(1/2). Which is greater: t or p?
t
Let k be (-3)/(-12)*(2000/(-12))/1. Let u = 166/3 + k. Which is bigger: u or 14?
14
Let u be (-4)/5*(-30)/4. Let s be (-6 + 2)*65/(-390). Which is smaller: u or s?
s
Let o(y) = 2*y**2 + 63*y + 14. Let m be o(-31). Suppose -2*z - 4 - 32 = 0. Which is smaller: z or m?
z
Suppose r + l = 4, -16 = -4*r - 3*l + 1. Suppose r*p - 19 = -o, 0 = 5*p - 3*o + o - 7. Suppose 0 = p*x + x. Which is greater: x or -2?
x
Let s = 1 - 0.3. Let i = s - 0.5. Let j = 0.4 + -0.2. Is i at most as big as j?
True
Let v = -1207 - -1170. Is v < 1.1?
True
Let n(m) = 9 + 3*m**2 + 1 - 2*m**2 - 2*m. Let y be n(5). Suppose -2*g - 3*g - y = 0. Which is bigger: -4 or g?
-4
Let q = -143/28 + 41/7. Suppose 3*h - k - 56 - 27 = 0, 0 = 4*h + 5*k - 117. Let t be 98/h*(-2)/(-14). Is q at least t?
True
Suppose 5*m + 0*l - 394 = l, -3*l - 76 = -m. Let w = m - 82. Which is smaller: w or -1/7?
w
Suppose 4*y + 7950 = 2*r - 3*r, -1977 = y - 5*r. Which is smaller: y or -1986?
y
Let c be 2/(3/498*-2). Let o = c - -167. Is 2/379 at most o?
True
Suppose 5*u + 6 = 4*c, -3*u - 10 = -c - 3*c. Suppose -u = 13*b + 11. Which is greater: -1/20 or b?
-1/20
Let z = -2337/16 + 146. Is 0 at least as big as z?
True
Let z be 19 + (-3 - -2) + 2. Let j be 0/((-5)/(z/12)). Suppose 0 = 4*k - j*m + 4*m + 12, -4*k = -4*m + 4. Is -2 greater than or equal to k?
True
Let c be (-1388)/(-4128)*-3 - -1. Which is smaller: 1 or c?
c
Let c(v) be the third derivative of -v**4/24 - 7*v**3/6 + v**2. Let y(j) = j**3 - 5*j**2 - 15*j + 1. Let h be y(7). Let i be c(h). Which is bigger: -3/16 or i?
-3/16
Suppose -28*k - 624 = -2*k. Is 1 > k?
True
Suppose 6*k + 8 = p + 8*k, -5*p + 2*k = 20. Let g be (-2 - 2)/(2/(-3)). Which is smaller: g or p?
p
Let h = 0.7 - 12.7. Let z = -26 - h. Let q = z - -15. Which is smaller: -15 or q?
-15
Let f(b) = -14*b**3 + b**2 - b - 1. Let s(i) = 5*i**2 + i. Let k be s(1). Suppose 11*j = k*j + 5. Let h be f(j). Which is smaller: -14 or h?
h
Let d be (2 + 0)/((-6)/(-21)). Let t be 2 + d/((-98)/32). Let q = -10 - -9. Are q and t equal?
False
Let o be (4 - 42/9)*(-6)/1160. Let w = o + 431/1160. Which is greater: 0.2 or w?
w
Suppose 4 = 5*q - 6. Suppose q = -3*n - 4. Let h be (-4 - -4)/(-3 + 5). Does n = h?
False
Let z = -0.019 + -4.281. Let n = -4 - z. Let d = n + 0.7. Is 1 less than d?
False
Let c = 188 - 2629/14. Suppose 2*o - 82 = 4*k, -k - 19 = -0*k + o. Let y = 21 + k. Which is bigger: c or y?
y
Let b = 29 - 32. Is b at least -1/4?
False
Let w be (-3)/12*5 - 1085/(-196). Let l(t) = -t**3 + 7*t**2 - 4*t - 8. Let y be l(6). Which is bigger: w or y?
w
Let g(h) = -h**3 - 4*h**2 + 6*h + 3. Let a be g(-5). Let r be -1 + 5 - (a - 46). Let f be ((-10)/(-32))/(13/r). Is 0 smaller than f?
True
Let f = 607/21 + -88/3. Is -2 > f?
False
Let h = 45.33 - -8.57. Let u = h - 54. Does u = 54?
False
Let i = -55 + 98. Let w = 38 - i. Suppose 5*b + 1 = -4*y, -3*y + 1 = 2*b + 7. Is b at most as big as w?
False
Let l = 11 + -11.18. Let h = -0.82 + l. Let w = 0.1 - h. Which is smaller: 0 or w?
0
Let t(w) = -5*w + 62. Let f be t(7). Is f at least as big as 20?
True
Let o = -11 + 26. Let q(n) = -n**3 + o*n**2 + 2*n**2 + 10*n + 8*n. Let l be q(18). Which is smaller: -2/7 or l?
-2/7
Let t = 5212/13 + -402. Which is bigger: -0.04 or t?
-0.04
Let r = 820 + -819.87. Let p = 4 + -4.03. Let c = r + p. Which is greater: -0.1 or c?
c
Let j be -6 + (8 + 1 - (-87)/(-4)). Suppose 0 = -2*d - d - 57. Is d less than or equal to j?
True
Suppose 2*r - 4*t = -2*t - 12, t = -5*r. Let p = -807 + 5645/7. Which is greater: r or p?
p
Let r = 0.07 - -2.13. Let k = 2.1 - r. Let v = -1.1 + k. Which is greater: v or -1?
-1
Let f be (0 - (-7 - -5)) + (-5 - -3). Let d be 1 + 1 + 102/(-53). Let l = d - -94/159. Which is greater: l or f?
l
Let y = -291 + 290.87. Let o = -2.02 + 0.02. Is y at most o?
False
Suppose -116 = -9*r + 13*r. Let m be (r - -31)*(-1 - 16). Is m != -35?
True
Let a = -88165871/420 - -209918. Let s = 1/105 - a. Suppose -11 = -4*d - 3. Are d and s nonequal?
True
Let t(k) = k**3 - 2*k**2 - 5*k - 4. Let l be t(-2). Let d be (32/(-12))/((-6)/27). Suppose -1 = -f - d. Which is smaller: f or l?
f
Let u be (1 - 0) + -2 - 0. Suppose 5*y = 3*j + 6, 2*y + j - 7 = -9. Is u at most as big as y?
True
Suppose 106 = -2*r - 2*y, -102 = 36*r - 34*r - 2*y. Is -52 not equal to r?
False
Suppose -4*y + 28 = 4*b - 8*y, 0 = 5*y + 25. Suppose h = 6*h + b*r + 10, 2*r - 4 = 2*h. Is -20/11 at least as big as h?
True
Let k = 49/2 + -24. Let c = 0.03 + -3.03. Let m = -6 + c. Is m at most as big as k?
True
Let c be 1/1 + (12 - -7). Suppose 3*d - c = 5*t - 5, 4*t + 5 = d. Let p = 24 + -21. Is p less than d?
True
Suppose -p + 16 = 3*p. Suppose p*c + 3 = c. Let t = 10624/189 - 394/7. Which is greater: c or t?
t
Let s = -152 - -135. Let c(t) = -t**2 + 3*t - 5. Let u be c(5). Are s and u non-equal?
True
Let m(o) be the first derivative of -o**3/3 + 3. Let a be m(0). Let k be (-5*2)/((-28)/4). Which is smaller: k or a?
a
Let r be 7 - (-3 + -2 - -3). Which is smaller: -30 or r?
-30
Let k = -1.03 + 1.38. Which is smaller: k or 0.2?
0.2
Let o = -1194/7 + 20269/119. Let l = o - -9/17. Which is smaller: -2/5 or l?
-2/5
Let x = 0 - 114. Let u = x + 111. Which is greater: 7 or u?
7
Let c = 73 + -24. Let t be 4/1 + (-924)/(-21). Is t at most c?
True
Let m be 22/60 - 4/6. Let t = -7.1 - -0.1. Let w = t + 5. Are m and w unequal?
True
Let l(u) = -u**3 + 4*u**2 + 1. Let v be l(4). Suppose 0 = 2*s + 2*s + 5*n - 24, 2*s = 2*n - 6. Is s greater than v?
False
Let v be ((-8)/(-12))/(2 - 0). Let q = -0.059 + 0.149. Let b = 0.05 + q. Are v and b non-equal?
True
Let q = 266 + -263. Let r = -1356 - -10863/8. Is r at most as big as q?
True
Let y = -759 + 779. Does y = -1?
False
Let c be 5047/72761 + (-85)/(-29) + -3. Which is smaller: c or 1?
c
Let z(w) = -w - 22*w**2 - 1 - 2 + 2 - w. Let i be z(-1). Let q = i - -14. Which is smaller: -6 or q?
q
Let o(y) = 3*y - 26. Suppose 4*i - 32 = -0*i. Let k be o(i). Is -7/3 >= k?
False
Let l be 5/10 + 3/6. Let d = 5/7 + -158/231. Which is bigger: d or l?
l
Let r = 15 + -19. Let v be 1/r - (-91)/(-52). Let h be v/(-6)*(-6 + 8). Are 4 and h non-equal?
True
Suppose 4*o - 2*o + 5*i = -15, -54 = 3*o - 3*i. Which is smaller: o or -0.17?
o
Let a = -34.31 - -0.31. Let b = -37.4 - a. Which is smaller: -1/2 or b?
b
Suppose 0*i + 5*i + 20 = 0, 0 = -k - 2*i + 132. Suppose -5*m - 4*j - j = -k, 2*m - 44 = j. Suppose 8*p = 6*p - m. Are -12 and p nonequal?
False
Suppose -5*d = z - 20, -6*d + 24 = 3*z - 3*d. Suppose z*y + 4*k - 41 = 0, y = 3*k + 19 - 7. Let u = 8 + 1. Does u = y?
True
Let x = 2049.1 - 2050. Which is smaller: 2 or x?
x
Suppose -16*l - 1041 = 639. Let j = l + 91. Which is bigger: 0 or j?
0
Let j = 60163/26 + -2314. Which is smaller: -2 or j?
-2
Let w(s) = -s**2 + 6*s - 8. Let y be w(8). Suppose 2*x - 16 = -3*a + 4*a, -2*x - 8 = 0. Is a less than y?
False
Let i = -8 - -14. Let f be i/(-15) - 228/30. Let l = -74 + 66. Is l less than or equal to f?
True
Let v = 23 + -72. Let f(a) = -a**2 + 2*a + 274. Let d be f(19). Are d and v equal?
True
Let c(z) = -z + 32. Let j be c(-22). Let i = -24 + j. Which is smaller: 28 or i?
28
Let u = 5/276 - -9901/1932. Which is smaller: u or -2/3?
-2/3
Let y = 0.1796 - 0.0796. Let s = -2/71 + -347/284. Which is smaller: y or s?
s
Let n = 403.9 + -378.21. Let v = 26 - n. Let q be (-2)/(-7)*(-4 - 46/(-8)). Which is smaller: v or q?
v
Let c(z) be the second derivative of -25*z**3/6 + 12*z. Let x be c(-1). Which is greater: 26 or x?
26
Let v = 19 + -4. Let j = -2538 - -2552. Are v and j unequal?
True
Suppose -g - 4*g + 2*s = 2, 2 = 4*g + 2*s. Are -303 and g nonequal?
True
Suppose -2*u - 21 - 2 = -5*a, -4*u - 13 