er: -25 or o?
-25
Suppose -5*l - 405 = -2*y - 2*l, -2*y + 5*l = -415. Is y at most 196?
True
Suppose 5*q = 5*t - 3360, 5*t - 4*q = 4919 - 1560. Does t = 0.1?
False
Let p be ((-80)/32)/(-1 + 3/2). Let o(u) = 9*u - 6. Let y be o(p). Which is greater: -50 or y?
-50
Let v = -8 - -5. Suppose -16*g - 1 = -17*g. Suppose 4*i = -g - 3. Are i and v nonequal?
True
Let k = -709268888/3315 + 15623717/255. Let h = 152677 + k. Let s = 54/5 + h. Which is greater: 0 or s?
0
Let y(g) = -g**2 + 61*g - 613. Let v be y(31). Which is smaller: v or 316?
316
Let x = 82 + -19. Does x = 63?
True
Let k(h) = -h**3 - 19*h**2 - 16*h + 40. Let p be k(-18). Which is smaller: 54/11 or p?
p
Suppose l = i - 19, -3*i + 27 = l - 42. Suppose -5*s = -4*x - i, 2*x = -3 - 3. Is s less than -3?
False
Let p be (496/(-40) + 8)/(1/5). Let b = -56 - p. Is -34 smaller than b?
False
Suppose -x + 28 = 2*s - 6*x, -3*x = 5*s - 8. Suppose -6*c + 2 = -5*c + n, -c - 3*n = -4. Which is bigger: c or s?
s
Let n(x) = 14*x. Let u be n(1). Suppose 5 - u = 3*z. Let c be z*(-3)/9*-2. Which is smaller: 1 or c?
c
Let h = -41.4 + 37. Let i = h + -3.6. Is 1 bigger than i?
True
Suppose -2*w - w = -9. Suppose 0 = -0*a + a - w. Suppose -2*b - a*b - 2*h + 11 = 0, -4*h = 5*b - 17. Which is smaller: b or 2/17?
2/17
Let l be (-1597)/7 - 13/(-91). Which is smaller: -227 or l?
l
Let m = 313 - 4699/15. Suppose -2*f + 4*v = -v + 20, -2*f - 16 = -4*v. Suppose -c - 2*c = f. Which is greater: m or c?
c
Let w = -0.7 - 0.3. Suppose 0 = -4*f + 2*a + 2, -2*f + 2*a = 4*a + 14. Which is greater: w or f?
w
Let w(b) = -49*b + 2. Let n be w(-2). Suppose -q + 5*q + n = 0. Which is smaller: q or -26?
-26
Let a = 298 + -1767. Is -1468 at least as big as a?
True
Let q = -12.92 - 2.28. Let y = q + 15.2. Let s be (-124)/10 - (-4)/10. Which is greater: s or y?
y
Suppose 10 - 4 = -2*q + 4*d, 2*d = 4*q - 12. Suppose -5*j - 5*u - 1 = -6, -q*j + u - 7 = 0. Which is bigger: 8/17 or j?
8/17
Suppose 0 = 3*x - 2*u + 4, 6*u - 3*u = x - 1. Let a be (1/x)/((130/60)/(-13)). Is a != 0.02?
True
Let c = -43 + 47. Suppose 0 = 2*w + c*d - 0 + 24, -5*w = -5*d - 15. Is w at most 3?
True
Let r(v) = 7*v + 52. Let q be r(-2). Which is smaller: q or 32?
32
Let d = 0.1432 - -3.3168. Are d and -3 nonequal?
True
Let w = -0.01 + -29.99. Let b = w + 32. Which is smaller: b or 48?
b
Suppose -91 = -2*l + 2*k + 105, 0 = -l - 3*k + 78. Is l > 0?
True
Suppose -5*c + 725 = 3*k, -2*k + 6*k + 5*c - 960 = 0. Are k and 236 equal?
False
Let l = 125/2 + -63. Let n = -4/11 + -1/11. Let r = n + 3/11. Which is smaller: l or r?
l
Let x = -563 + 795. Is x greater than -3?
True
Let x = -3.8 + 0.8. Let i = 6 + x. Let b = 1081 - 1080.8. Which is smaller: i or b?
b
Let r be 2 - (8/5 - 0/(-2)). Let t be ((-1023)/(-10))/(81/12). Let c = -140/9 + t. Which is smaller: c or r?
c
Let u be (-26)/(-39) - (1 - (-8)/(-6)). Let m = -319/2769 - -10/71. Which is smaller: m or u?
m
Let h = -32 - -7. Let t = h + 25. Suppose 0 = 2*b - 2*n - 8, -3*b = 8*n - 3*n + 12. Is t <= b?
True
Suppose m + q - 4*q = -6, -2*q = 6. Let w be 1*5/m*3. Let v = 0 - 2. Is w at most as big as v?
False
Let r be 156/16 - (-1)/4. Let w = 176 + -1230/7. Does r = w?
False
Let x be 632/192 - (-14)/(-21). Is -3/4 > x?
False
Let x = 377927/214 - 1766. Which is smaller: 0 or x?
0
Suppose -3*b - 30 = -f, 0 = 4*f - 425*b + 428*b - 60. Is 22 less than or equal to f?
False
Suppose 5*x + 828 = 2*x. Is -275 bigger than x?
True
Suppose -672 - 1848 = -35*k. Is k != 76?
True
Let q = -1162 - -1172. Let p = -10 + 18. Which is bigger: p or q?
q
Let i(w) = w + 16. Let t be i(-11). Suppose x + 7 = n + 9, -n - 6 = -t*x. Is -4/13 at least as big as n?
True
Let u be 19 + -19 + (-238)/12. Let p = u + 3463/174. Which is smaller: p or -1?
-1
Let d(y) = 3*y + 2. Suppose 2*j + 12 = 6*j, 3*l + j = 15. Let s(i) = -i**2 + 4*i - 2. Let u be s(l). Let c be d(u). Are 2/7 and c non-equal?
True
Suppose 3*x + 4*u - 499 = 0, 0 = -3*x - 0*u - 5*u + 500. Which is smaller: 166 or x?
x
Suppose 0 = -2*s + 5*s + 12. Let y be (-40)/s*1/2. Suppose -2*w + w = y. Which is smaller: w or -1?
w
Let t = 3 - 3.02. Let i = -0.0873 - -0.0873. Is t > i?
False
Let c(j) = -j**3 + 9*j**2 + 12*j - 19. Let m be c(10). Suppose -26 = 4*f + 2*r - 0, f - r = m. Which is bigger: -9 or f?
f
Let v(r) = -21*r - 1. Let o be v(-3). Suppose -o = -2*q + 2. Suppose -2*h + 2 = -3*m + 9, 0 = 3*h + 4*m - q. Is h < 5?
True
Let o(z) = -z**2 + 15*z - 24. Let c be o(13). Suppose -4*f - q + 8 = 3*q, f = c*q - 1. Which is smaller: f or -2/9?
-2/9
Let d = -157.8 - -136. Let i = d - -27.95. Let c = 0.15 - i. Is 0 not equal to c?
True
Let g(n) = n**2 + 15*n + 14. Let v be g(-16). Suppose -23*s - 14 = -v*s. Which is smaller: s or 18/13?
18/13
Let l = -34 - 17. Let g = -41 - l. Does g = -1/3?
False
Let r(s) = 5*s**2 - 4*s + 6. Let i be r(2). Let x = i + 1. Is 20 equal to x?
False
Let r = 9 - 9. Let b be (6 + -4 - 4) + r. Let c be (3/48*b)/(-5). Which is greater: -1 or c?
c
Suppose -3*v - 6 = 3*y, -v + 2*y = -3 - 4. Let t(x) = -x**3 + 5*x**2 - 6*x + 2. Let i be t(2). Suppose -8 = -5*o + b, 2*o - i*b = 3*b - 6. Is o smaller than v?
False
Let n = 8 - 2. Let j be (2/(-63))/((-2)/n). Let o = -5/22 + 59/66. Are o and j non-equal?
True
Let z(o) = -o + 4. Let s be z(0). Let w be s*(-2 + 0 - 6/8). Which is greater: w or 0.5?
0.5
Suppose -486 = a + 4*a - 2*b, 0 = -5*a + b - 483. Let n be ((a/(-20))/6)/(-2). Is n at least as big as -62?
True
Let x = -5.6 - -5.48. Which is bigger: x or -0.3?
x
Let t = -2503/324 + 31/4. Let q(f) = f - 6. Let j be q(5). Let n be 2 + j + (2 - 2). Which is greater: t or n?
n
Let p = 79 - 46. Let u = -25 + p. Let w be -1*-2*(-4)/u. Is 2/73 at most w?
False
Suppose 20*z - 11*z = 27. Suppose 4*s + 492 - 102 = 5*j, 0 = z*j - 4*s - 234. Which is smaller: 77 or j?
77
Let x = 55820233015/1896 - 29441052. Let c = x - 1/632. Is c at most as big as -1?
False
Let n = 2 - 1. Let t be 2/3 - ((-786)/(-1188) - 0). Let b = t - 5/22. Which is greater: b or n?
n
Let c = 9377/174 - 50/29. Do 51 and c have different values?
True
Let j = -24.6 - -27. Let m = j - 2.42. Let h = 0.52 + m. Which is smaller: 0.1 or h?
0.1
Let o(y) = 24*y - 35. Let z be o(6). Let h = -110 + z. Which is bigger: -14 or h?
h
Suppose 0 = 5*h - 3*s - 26, 2*h - 5*s = -h + 22. Let i be (2/h)/((-1)/(-18)). Suppose -8*g = -12*g + 4. Which is bigger: i or g?
i
Let z = 277 - 216. Is z equal to 61?
True
Suppose -2*s + 3 = -5*w - 5, 4 = -3*w + 2*s. Which is smaller: -10/3 or w?
-10/3
Let g = -81.5 - -81.9. Is g at most as big as 6?
True
Let s(g) = -7*g**2 + 2*g + 1. Let i be s(2). Let f = i + -26. Let n be (21/f)/(10/(-7)). Is n bigger than 0?
True
Suppose -s - 4 = -2. Let v be (s - (-5)/4)*-4. Suppose 9 = -v*o + 6. Which is bigger: o or -3/7?
-3/7
Let d = 1271 - 1271.035. Is d at least as big as 0.1?
False
Let j = -24141791/9538606 - -1569/2693. Let r = -43/22 - j. Which is smaller: r or -1?
-1
Let l = 659/22 - 30. Let s be (-6)/(-4)*2/3. Suppose j + 0 = -q + 1, 2*q - s = -j. Do j and l have different values?
True
Let k(l) = 10 - 7*l - 38 + l - 1. Let p be k(6). Do -64 and p have different values?
True
Suppose 0 = -3*b + 20 + 4. Suppose 2*r - 22 = -4*f, 0 = 5*f + r - 5*r - 8. Suppose 4*n + f*t + 16 + b = 0, -5*t = 2*n + 9. Does n = -7?
True
Suppose 0 = -38*u + 147 - 1325. Is -23 less than or equal to u?
False
Let m be (-8)/(-50)*1/(-10). Let f be (0 - 791)*28/(-98). Let r = f - 225. Which is smaller: m or r?
m
Let t(u) = -u**2 + 4 + 0*u**2 + 5 - 9*u + 0*u**2. Let i be t(-8). Let p = 16 - i. Which is smaller: -2/105 or p?
p
Let p be 9/(108/40)*72/20. Which is smaller: 13 or p?
p
Let t(s) = s**3 + 9*s**2 + 2*s - 1. Let d be t(-9). Let n(a) = a**2 + 18*a - 4. Let r be n(d). Is 13 equal to r?
False
Let b = 1 + -3. Let c be (b/3)/(-2 + 6). Let u = -155 + 156. Is u <= c?
False
Let k = -18 + 18. Let u(d) = d**3 + d**2 - 2*d. Let q be u(k). Suppose 0 = h - q*w - 3*w + 10, -23 = 4*h + 5*w. Is -7 <= h?
True
Let l(q) be the first derivative of -q**4/4 + 2*q**3 + q**2 + 3*q + 16. Let s(b) = -b**2 + 6*b - 2. Let k be s(4). Let c be l(k). Is c at least 16?
False
Suppose 2*x - 3 - 3 = 0. Let w be -1 - 2 - (-85)/((-442)/(-26)). Which is bigger: w or x?
x
Suppose 88*g = 99*g - 11. Let f = 12/13 + -239/273. Which is greater: f or g?
g
Let b = -121 + 121.008. Le