*c - 4*n. Which is bigger: c or 5?
5
Suppose 3 - 13 = -5*j. Suppose -3*f = -2*b - 1, j*b - f - 24 = -3*f. Let i = 636 + -632. Is i less than b?
True
Suppose -3*k = -7*k + 4. Suppose -r + 16 + k = 0. Suppose -3*s - 4*x = r, -4*s - 13 - 9 = 5*x. Which is smaller: -2 or s?
s
Let w = -203.1553 - -0.2553. Let l = -213 - w. Let u = -10 - l. Is 0.04 less than u?
True
Let o = -44 + 74. Suppose q - 32 = 5*p, -3*q - p = 2*q - o. Is q less than or equal to -0.3?
False
Let y = 0.3 + 0.4. Let t be (-1)/3*(-2)/8. Let l = 1/3 - t. Is y at least as big as l?
True
Let p(v) = -v**3 - 9*v**2 - 2. Let g be p(-9). Let w be 1 + g + (-212)/(-216). Are w and -1 non-equal?
True
Let y = 0 + 1. Let w be 224/512 + (-6)/24. Is w >= y?
False
Let w = -8.9 - -17. Let l = -7.9 + w. Let h = 1/23 + -25/46. Are h and l equal?
False
Let z(a) = -a - 17. Let p be z(-7). Let y be (1 + 1/p*14)/1. Is y >= 14?
False
Let j(x) = x - 3. Suppose -4*r = -5*k - 1, -3*k + 2*r - 11 = -3*r. Let t be j(k). Let d = -4156/13 + 320. Which is bigger: t or d?
d
Let m = -25 - -29. Suppose 5 - 1 = m*r, 3*r + 172 = 5*k. Is k less than -1?
False
Let r = 9.019 - 0.019. Let m = r + -7. Which is greater: -1 or m?
m
Let h = 109 + -94. Suppose 16*m = h*m + 32. Is m less than 31?
False
Let y = -1.3 - 6.5. Let u = -0.8 + 8.8. Let d = u + y. Which is smaller: 1/2 or d?
d
Suppose 0 = 41*m - 29*m - 720. Which is greater: m or -2/3?
m
Suppose -10*d = -17*d + 140. Let q be ((-18)/(-30))/(2/d). Let b be 3/(-12) - (-23)/4. Which is smaller: q or b?
b
Let l be (-7)/14*-4*-2. Which is smaller: l or -39/8?
-39/8
Let t = -23.5 + 28.5. Which is greater: t or -4?
t
Let y be (3 - 2)/(-4 - (-39)/10). Let x be (-4)/(-6) + 8/(-12). Let t be 11/(-2 - (-1 + x)). Which is greater: y or t?
y
Let y be (2/12)/(-2 - -5). Let r = -7/36 - y. Which is bigger: 1/14 or r?
1/14
Let p(x) = 0*x + 1193*x**2 - 1196*x**2 + 3*x + 5 - 4*x**3. Let s be p(-3). Which is greater: 1 or s?
s
Suppose 9*j = 12*j - 18. Suppose l + 4*p = -12, -2 = -4*l + j*l - 3*p. Is -4 at least l?
True
Let j = 1 - 3. Let b = -2.74 - -2.9. Let f = b - -0.14. Which is smaller: j or f?
j
Suppose -22*x - 8*x = 30. Let s = -1756/13 - -135. Which is smaller: s or x?
x
Let n be ((-60)/(-1075))/(-2)*(1 + 4). Which is smaller: n or -1?
-1
Let d(s) = -s - 30. Let c be d(7). Which is greater: -0.01 or c?
-0.01
Let v be 3/(-2)*80/(-24). Suppose v*x = -0*x. Suppose x + 12 = -4*t. Which is greater: t or -1?
-1
Let f = -123 - -122.75. Let g = 0.4 + f. Are g and 3/5 unequal?
True
Suppose -3*p = -3*n - 7*p + 13, 0 = -5*n - 3*p + 29. Suppose -12 = f - n*f. Which is bigger: 3 or f?
3
Let g = -257 + 296. Is g at least -0.1?
True
Let k be (12/(-150))/((-4)/42). Which is bigger: 1 or k?
1
Let t = -87 - -72. Let b be (-4)/(-3)*4*t/1480. Is b at most 1?
True
Let g(p) be the second derivative of p**5/20 - 13*p**4/12 - 13*p**3/6 + 10*p**2 + 16*p. Let v be g(14). Which is smaller: 35 or v?
v
Let y = 12 - 12. Let v be 484/(-825) + 2/3. Is y greater than v?
False
Let c = -10 + 8. Let g = -8 - -8. Suppose -3*d - d - 8 = g. Is d at least c?
True
Let y = 225 + -149. Let q be (-8)/y*(-2)/(-4). Which is smaller: -1 or q?
-1
Let q(f) be the second derivative of -f**3/6 + 5*f**2/2 - 5*f. Let g be q(9). Which is bigger: g or 1/4?
1/4
Let n = 32/7 - 103/21. Let d = -25 + -123. Let a = d + 146. Which is smaller: n or a?
a
Let q = 4 - 1. Suppose -25 = 2*t + 3*t + q*i, 5*t + i + 25 = 0. Let o(m) = -2*m**2 - 10*m + 4. Let s be o(t). Is s < 5?
True
Let x(w) = w**3 - w + 3. Let h be x(-2). Let p be 12/30*h/(-6). Is p greater than or equal to 1?
False
Let z = 4297/2390 + 1/478. Which is greater: z or 2?
2
Let h be (-8)/10 + ((-12012)/30)/2. Which is smaller: h or -2/5?
h
Let h = -23 + 23. Suppose h*y - 3 = -3*y. Does -1/9 = y?
False
Let x = 16.008 - 0.008. Let l = -15 + x. Let u = -12 - -20. Which is smaller: l or u?
l
Suppose -5*p + p = -4. Suppose -4*v - 4*b = -24, v = b + 3*b - 4. Suppose -11 = -5*w - 2*h, -4*w + v*h - 7 = p. Is w at most as big as 6?
True
Let m = 0.1073 - -0.4197. Let b = m - -0.173. Which is smaller: -2/11 or b?
-2/11
Let k(f) = -f**3 + 2*f + 1. Let q be k(-2). Let p(x) = 3*x - 31. Let n(z) = -2*z + 21. Let a(c) = -7*n(c) - 5*p(c). Let w be a(q). Which is smaller: 5 or w?
w
Suppose -4*y = y + 195. Let g = 1221 + -1259. Is g at most as big as y?
False
Let x(r) = -4*r + 4. Let a be x(-2). Suppose 4*k + 14 = 38. Suppose -a = p + 3*f, 4*p + 3*f = k*p - 12. Which is smaller: 5/4 or p?
p
Let o be 4/(-16) - 21/12. Let x be (4 - o)/(3/(-84)). Let w be (-40)/x + (-2)/6. Is 0 < w?
False
Let o be 28/(-4) + 65/(-13). Is -6 >= o?
True
Let q be 2 - (-3)/3*-32. Let z be q/(-9)*(-1)/(-5). Is z greater than or equal to 3?
False
Let s = -832 + 850. Is s greater than 6?
True
Let u be 2/5 - (-34)/(-10). Let h(v) = -v**3 - 8*v**2 - 9*v - 3. Let f be h(-7). Suppose 2*c - f = b, b + 2 = 3*b + 2*c. Is b > u?
False
Let n = 21 - 51. Let a = 30.2 + n. Is -0.8 greater than or equal to a?
False
Let n = 44 + -39. Suppose n*z - g = -92, -3*g - 29 + 89 = -3*z. Let x be -2*3/z*3. Which is smaller: -2/17 or x?
-2/17
Let t be ((-18)/8)/(6/(-16)). Let h(j) = -j**3 + 3*j**2 + 8*j - 1. Let b be h(5). Let f = b + 18. Is f at most t?
False
Let i be (-6)/(-4) - (-4041)/(-2646). Let u = i - -517/2793. Which is greater: -1 or u?
u
Suppose -4*w - o + 0*o - 49 = 0, 5*w = -4*o - 75. Which is bigger: w or -8?
-8
Suppose 4*z + 0*z = -24. Let b be (-6)/4*z/3. Suppose 65 = -5*x - 2*y, -4*y + 39 = -0*x - b*x. Is -12 != x?
True
Suppose -3*d - 1 = n - 38, 0 = -3*n + 3. Let a = 4 + d. Is 33/2 greater than a?
True
Let q be (4 + (-1743)/28)/1 - -5. Is 1 smaller than q?
False
Let g(c) = -c + 16. Let o be (18/4)/((-3)/(-8)). Let z be g(o). Let p be 12/z*(-5)/3. Which is greater: p or -2/5?
-2/5
Suppose 2*l - 24 = 6*l - 4*v, 3*l + 5*v - 6 = 0. Let m = 123/2 - 60. Are m and l equal?
False
Let g = -25 + 24. Let s be (-3 + (-212)/(-76))/10. Does s = g?
False
Let o be (0 - -1) + (-792)/104. Are -7 and o nonequal?
True
Let g be 0 + 1 - (1 - 0). Which is smaller: g or 0.5?
g
Let g = 21 - 19.2. Let x = g + -1.6. Let y = x - 0.1. Which is smaller: y or 8/3?
y
Let a be 2 - (-1 - -3 - -3). Let q be (-1)/(-2)*a*-2. Suppose -6 = 2*r, r + 2 = 3*x - 1. Does q = x?
False
Let k be (-8)/(-14)*63/4590. Which is smaller: -1 or k?
-1
Suppose -32 = l - 5*l. Suppose h + 0*j + 10 = -2*j, -2*h + 3*j = -l. Let t = -2.622 + 1.822. Is t <= h?
False
Let a(m) = m**3 - 8*m**2 - 4*m + 42. Let p be a(7). Is -34 at least p?
True
Let w be (-6 - -3)/((-2)/(-8)). Let b = -24 - w. Suppose -6 = 3*q + 30. Is b less than or equal to q?
True
Let q = -290 + 291. Does q = -76?
False
Let u be (-2 + 4*1)*5. Suppose -6*f - 24 = -x - f, 3*f = -4*x + 50. Is u greater than x?
False
Let j = 308 + -219. Is j < 0.1?
False
Let j be (-5)/2 - (-10)/(-20)*-23. Is 8 not equal to j?
True
Suppose -57*g + 65*g = 0. Which is smaller: -6/35 or g?
-6/35
Let o be 4/6*(-9)/6. Suppose 4*m + 0*z + 4*z = 0, 5*z = -3*m + 6. Which is smaller: o or m?
m
Let f = 20 + -58/3. Let x = -25.2 + 21. Which is greater: x or f?
f
Let j = -40 + 39.72. Let p = j + 2.28. Which is bigger: p or 6?
6
Let z(o) = o**2 + 53*o + 158. Let h be z(-50). Is h at least 19?
False
Let k be (-4 + -1)*8/(-100)*-5. Suppose -24 + 4 = -2*z. Suppose -4*a - a - z = 0. Is k less than or equal to a?
True
Let a be 4/(-3) - 233256256495/(-2583). Let o = a + -90304394. Let b = -4/369 + o. Which is bigger: 2 or b?
2
Let k be ((-8)/(-2))/(20/15). Suppose 0 = g + 2*w - 4*w, 3*g - k*w + 6 = 0. Is -5/2 > g?
True
Suppose 4*p + 0*t = -2*t, -4*p - 4*t - 8 = 0. Suppose -4*o + o + 12 = -3*x, 0 = -p*x - 4*o - 20. Let r = x - -8. Do r and 1 have different values?
True
Let o = -361 + 107. Which is smaller: -255 or o?
-255
Let o = -186 + 188. Is 5/7 > o?
False
Let u(m) = -m**2 - 8*m + 3. Let b be u(-8). Suppose 16 = t + b*t. Suppose 0 = t*j - j - 6. Is 2 greater than or equal to j?
True
Let c = 1.0107 - 0.0107. Let a = -0.1 - -0.2. Let o = a - -0.9. Is c less than o?
False
Suppose -4*j + 5*j - 45 = 0. Suppose 130 = 47*o - j*o. Is 65 <= o?
True
Suppose -1735 = 6*s - 1189. Is s greater than or equal to -83?
False
Let v be 1/(3/2) + 37/37. Let s be 288/112 - (-8)/(-14). Is s <= v?
False
Let v = 268/9 - 1009/36. Do v and 2/9 have the same value?
False
Let k = -0.03 - -0.29