 is smaller: 0.2 or f?
0.2
Let x = -2.371 - -2.4. Let t = 4 - 30/7. Which is smaller: x or t?
t
Let u = -13564/3787819 - -6/3023. Is u bigger than -1?
True
Let q(x) = x**2 + 9*x + 7. Let k be q(-9). Suppose -4*b - 4*v - 32 = 0, -12 = 5*b + 2*v + 19. Let t = b - -11. Which is smaller: t or k?
t
Let s = -0.136 + 0.036. Which is bigger: s or 10?
10
Let h = -364 - -384. Is h greater than or equal to 62/3?
False
Let n be ((-3)/(-2))/((-20)/(-40)). Suppose 4 = h - n*h. Which is smaller: -10/3 or h?
-10/3
Suppose 0 = 3*n + 56 - 182. Let l = n - 32. Which is smaller: 8 or l?
8
Let o be ((-6)/(-7))/(2/14). Let y be ((-4)/10)/(o/10). Which is bigger: y or -5?
y
Suppose -67 = 4*y - k, 0 = 2*y + 2*y - 5*k + 79. Suppose -4*d + 2*w + 10 = 0, 5*w = 3*d - d - 9. Let j be (d - 1)/((-4)/y). Which is bigger: j or 5?
5
Let t = -2.934 - 0.066. Let b be (-1)/(-2) + (-10)/(-4). Which is smaller: b or t?
t
Let d(u) = u**2 - 25*u + 28. Let h be d(23). Which is greater: -10 or h?
-10
Let v = -38 - -53. Let u = -4 + v. Let p = u - 13. Which is smaller: 1/3 or p?
p
Suppose -10 = 3*f - 1, w + 16 = -2*f. Let z(x) be the first derivative of x**4/4 - 3*x**3 - 5*x**2 - 12*x - 17. Let s be z(10). Does w = s?
False
Let l = 0.218 - 0.218. Is l less than or equal to 81.7?
True
Let b(s) be the first derivative of -s**4/4 - 4*s**3 - 13*s**2/2 - 23*s - 5. Let g be b(-11). Let j = -6 - -10. Is j at least g?
True
Let b be 1 + 3 + -2*13. Let y = -23 - b. Is y greater than or equal to 1/23?
False
Suppose 0 = 3*c + 5*g + 2254, 2*c = 5*c - g + 2260. Is c <= -752?
True
Let y = -13 + -19. Let s = y + 45. Is 13 less than s?
False
Let i be (-5265)/162 - 3/(-2). Which is smaller: i or -21?
i
Let c = 1794 - 19810/11. Which is greater: c or -7?
c
Let b = -5364 + 5359. Let y = 1.05 + -1. Which is smaller: y or b?
b
Suppose 3*f + 60 = 7*f. Let o be 2/f*7/14. Are o and 1 equal?
False
Suppose 0*q = -3*q - 15. Let j be (3 + 2)*2/q. Is 0.9 greater than or equal to j?
True
Suppose -3*y + 10 - 79 = 0. Let o(p) = p**3 - p**2 + p - 24. Let u be o(0). Which is smaller: y or u?
u
Let w = -39 + 38. Let u be (-339)/1113 + 6/21. Which is smaller: u or w?
w
Let q(g) = g**2 + 2*g - 33. Let c be q(-7). Suppose -n + 6 = -c*j, -4*n + 2*n - 5*j = -21. Is n > 8?
False
Let o = 51 - 52. Is 2/439 equal to o?
False
Suppose 1383 = 2*b - 3663. Let d be (-4)/(-18) + b/(-3780). Let n = -1/60 - d. Are n and 1 non-equal?
True
Suppose -5*r + 6*r + 856 = 3*o, 0 = -2*r - 4*o - 1762. Which is smaller: r or -872?
-872
Let g = 2157 + -1751. Is 403 equal to g?
False
Let t be (1 - (3 + -6))/4. Let h(p) = p + 3*p - 6*p + p + t. Let i be h(4). Which is bigger: -5 or i?
i
Let t = 12 + -2. Let d = -312.3 + 312. Is t at least as big as d?
True
Let a(b) = -6*b + 24. Let s be a(-5). Suppose -5*n = 31 + s. Which is smaller: -15 or n?
n
Let i(t) = 23*t - 13*t - 11 + 0*t**3 + 8*t**2 - t**3 + 2. Let a be i(9). Which is smaller: 5/13 or a?
a
Let s be 2/3*((-6)/(-528) - 0). Is s less than or equal to -1?
False
Let i = 34 + -40. Let v = -10 + i. Let o(n) = -n - 15. Let b be o(0). Is b smaller than v?
False
Let q be ((-75)/4)/((-1)/8). Let y be ((-15)/q)/(2/(-4)). Are -1 and y equal?
False
Let y be 0 + 0/(-1) + 2. Let a(l) = -3*l**2 - 2*l + 18. Let j be a(2). Do y and j have the same value?
True
Suppose -31*g - 14 = -45*g. Is g bigger than -52?
True
Suppose x = -2*x. Let a be (-36)/2*2/26 + 0. Which is smaller: a or x?
a
Let i = 266 + 474. Which is smaller: i or 741?
i
Let p = 0.19 - 0.5. Let d = p - -0.4. Let s = d - -0.11. Which is greater: -0.04 or s?
s
Let s be ((-1)/4)/((-6)/(-8)). Let u = 71.2 - 71. Let b = 1.2 - u. Is b > s?
True
Suppose 2*v - 18 - 3 = 5*o, 0 = 4*v + o - 9. Suppose -i + v*g = -4, 0 = 3*i - 2*g - g. Suppose 0 = -10*r + 6*r - 8. Is r at least as big as i?
True
Let b = 30.4 - 16. Let p = -13 + b. Let i = p - 1.5. Does i = -1?
False
Let v be 9*45/81 - (368 - 2). Is v greater than -723/2?
True
Let h be ((-70)/15 + 4)/(4/6). Let r be (h + 0)/(-1 - -2). Which is bigger: r or 1/12?
1/12
Let g = 88 - -286. Is g not equal to 374?
False
Let b(g) = -10*g**3 + g**2 + 3*g + 2. Let r be b(-2). Let t be (-2)/(r + (0 - -2)). Which is smaller: 0 or t?
t
Let f = -0.84 + 1.84. Which is greater: -2.74 or f?
f
Let o = 1909.1 + -1910.4. Let l = -3/10 + -1/5. Which is greater: o or l?
l
Suppose -5*k - 21 = 14. Let f(c) = 1 - 3*c**3 + 4*c**3 + 7*c + 8*c**2 - 6 + 0*c**3. Let i be f(-7). Is i < k?
False
Let v = 9563/93003 + 2/3207. Let q be 0/(1 - -4 - 3). Which is greater: v or q?
v
Let h be (4/6)/(1 + (-5)/3). Let n = -552 + 8284/15. Which is bigger: h or n?
n
Let q = -69522/103 + 675. Which is smaller: 0 or q?
0
Let c(w) = -16*w - 39. Let j be c(-7). Is 147/2 less than j?
False
Let q = 413 + -481. Is q at least -68?
True
Let r be (-320)/(-54) + (-126)/(-1701). Which is bigger: r or 19/4?
r
Let s be ((-35)/25 - -1) + 298/(-5). Let h = s + 64. Is 4 > h?
False
Let s(n) = n**2 - 20*n + 17. Let z be s(21). Let m(u) = u**2 - 11*u - 3. Let d be m(14). Is z bigger than d?
False
Let k be (-72)/(-168) + (0 - 2/(-28)). Let d = 2896/9291 + 2/489. Is d < k?
True
Suppose 2*y - 5*c + 22 = 0, 2*c + 0 = -4*y + 4. Let l = -13019/498 + 157/6. Let p = 152/581 + l. Which is smaller: y or p?
y
Let p = -6694 - -328024/49. Do p and -1 have the same value?
False
Suppose 14 = -2*r + x - 3*x, 26 = -5*r - 2*x. Let a be (r + 2)/(-1 - -10). Let h = 18 + -21. Is a at least as big as h?
True
Let a be (-2)/(-3)*(0 - 6). Let b = 9 - 12. Is b at most as big as a?
False
Let f = -46 - -24. Let h be (-210)/55 - -4 - (-4)/f. Which is bigger: -2 or h?
h
Let b = 23 + -47. Let c be ((-52)/b - 3)*2. Which is bigger: c or -1?
-1
Let w = -8 - 7. Let f(c) = 5*c + 1. Let v be f(-3). Is v less than or equal to w?
False
Let v be 2 - (2/(-5) + (-40774)/(-110)). Let x = -368 - v. Let q be 2/(-6)*(0 - 3). Is x at most as big as q?
True
Suppose -j = -4 + 11. Let c be ((12/21)/(2/j))/23. Let g = -4 - -3. Which is smaller: g or c?
g
Let m = -59 + 59. Suppose 5*d - 20 = 0, m*d = 2*v - 2*d. Are 4 and v nonequal?
False
Let j(f) = -f**2 - 5*f + 5. Let v be (-1083)/18 + (-1)/(-6). Let t be (v/(-45))/(4/(-18)). Let q be j(t). Is 2/75 < q?
False
Let m be -1 - 0 - (-108)/42. Let o(h) = h**3 + 19*h**2 - 17*h + 63. Let u be o(-20). Which is smaller: m or u?
m
Suppose f - 49 = 3*f - 3*v, 2*v + 2 = 0. Let j be (-13)/f + 3/(-2). Is j greater than or equal to 1/5?
False
Let u = -0.4 + 1.4. Let n = u + -0.8. Let g = 1.8 + n. Which is smaller: -3 or g?
-3
Let o(m) = -2*m + 1 - 6*m**3 + 3*m**3 - 7*m**3. Let z be o(1). Let g = z + 6. Is -7 smaller than g?
True
Suppose -27 = -v - c + 5*c, 20 = -4*c. Suppose -64 = -11*z + v*z. Which is smaller: 15 or z?
15
Let n = -25 + 28. Suppose -2*q = -n*v + 4, 11 - 3 = -v - 4*q. Which is smaller: v or -1?
-1
Let t = 44 - 42. Suppose t*x = -3*x + 15. Which is greater: 6 or x?
6
Let c be 5062/1267 - (0 + 4). Let n = c - -7932/69685. Is n greater than 1?
False
Let l = 2/19 + 11/76. Let f = 22 + -21.93. Let b = -0.06 + f. Which is smaller: b or l?
b
Suppose s = -5*v - 441, -2*s - 539 = 3*v + 329. Is -430 > s?
True
Suppose -4*t = -2*g + g - 15, -5*t = -4*g - 104. Which is bigger: -48 or g?
g
Suppose 12*o - 17*o = -15. Suppose 0 = 5*t - t. Suppose t = 5*q - o + 13. Which is smaller: 2 or q?
q
Let l(w) = -2*w**2 - 19*w + 37. Let t be l(-13). Is 0.2 < t?
False
Let u = -684 - -685. Is u not equal to 197?
True
Let r(k) = -6*k + 12. Let q be r(6). Let n be 192/60 - (-1)/(-5). Let m be ((-1)/n)/(2/q). Which is bigger: 20/7 or m?
m
Let l = 82 - 83. Let t = l - -0.9. Do 20 and t have the same value?
False
Let i = -26 - -27.8. Let p = -21.8 + 20. Let x = i + p. Is x at least as big as 6?
False
Suppose -3*z + 4*z = 0. Suppose z*r + p = -3*r - 120, 0 = -4*r + 4*p - 176. Which is greater: r or -81/2?
-81/2
Suppose 2*j + 2*o = 196, -2*j + 3*j - 96 = o. Let l = 102 - j. Which is bigger: 18/5 or l?
l
Let i = -867 - -21679/25. Which is bigger: i or 0.1?
i
Let l = -805 - -811. Is -2.5 greater than l?
False
Let d(u) = -u**2 + 41*u + 449. Let y be d(-9). Let z be 2/(-1)*2/26. Does y = z?
False
Suppose -2*l - 4*p - 62 = 0, -3*l - 89 = -9*p + 11*p. Which is smaller: -24 or l?
l
Let f(u) = 5*u**3 + 5 + 8*u - 6*u**3 - 4*u**2 - 6*u**2 + 4*u**2. Let w be f(-7). Which is smaller: w or 0.4?
w
Suppose 0 = -13*l +