 1?
1
Let a(k) = 3*k + 5. Let y be a(-5). Let q = y + 20. Suppose 0 = -b - 2*g + q, 2*g + 2 = 2*b + 6. Which is bigger: b or 1?
b
Let x = -26573/876 + 365/12. Which is bigger: x or -1?
x
Suppose 9*c = -205 - 326. Are c and -69 unequal?
True
Suppose -4*y = 5*r + 47, -4*r - 31 = -0*r + y. Let u be (4/r)/((-18)/105). Which is smaller: u or 4?
u
Let s = -13.1 - -17.1. Is 10 != s?
True
Let c = -13.44 - -13.4. Is -1 at most as big as c?
True
Suppose 0 = -3*p - 48 + 6. Let r = -8 - p. Suppose 2*q = -4*m - 0*m - r, 0 = 3*q + 9. Which is smaller: m or 4?
m
Let q = 5 - 1. Let i be (-2)/(-3) - 132/(-18). Suppose 0 = -5*y + y + i. Which is bigger: q or y?
q
Let l be ((-9)/4)/((-135)/(-18))*2. Let v = l - -47/95. Are v and 1 nonequal?
True
Let t = 31 - 27. Let n = 1 - t. Which is greater: 2 or n?
2
Let h(g) = -106*g + 44. Let s be h(-1). Which is greater: 148 or s?
s
Let i = -19 + 23. Suppose i = 2*f - 0. Suppose 5*n = 4*b + 32, 3*b - f*n = 3*n - 29. Is 4 at most as big as b?
False
Suppose -5*u = 3*q + 3, -8 = q - 3*q. Let n(h) = h**2 + 4*h - 4. Let f = -15 + 11. Let d be n(f). Which is bigger: u or d?
u
Let i be (1/(-2))/(-7 + (-4422)/(-627)). Let c = 10 - 21. Which is smaller: i or c?
c
Let v = 4.833 - -0.287. Let g = -0.12 + v. Let l = g - 2. Is l at least as big as 2?
True
Let w = 0.1 + -0.4. Let u = 66.5 - 66.4. Which is greater: u or w?
u
Suppose -2668 = -61*y - 9378. Which is bigger: y or -106?
-106
Suppose 42 = 7*j - 0*j. Let r(z) = -33*z**3 - z**2 + z + 1. Let x be r(-1). Suppose -5*p + x = -2*a, 4*p + a - 23 = -0*a. Are j and p nonequal?
False
Let t = 2.09 - 0.09. Let s(l) = -l**3 - 10*l**2 - 17*l - 12. Let c be s(-8). Do t and c have the same value?
False
Let j = 17 - 15. Suppose j*d = 3*d + 1. Is d > 3/16?
False
Suppose -h + 15 = -7. Suppose 0 = -f - 5, 0*b - 5*f + 63 = 4*b. Is h bigger than b?
False
Suppose 5*v + 132 - 7 = 0. Let b = v - -30. Is b at most 5?
True
Let d be 12/(-4)*(-4 - -3). Suppose 3*u = 15 - d. Suppose -u*s = 3*w - 2*s + 1, 0 = -2*s - 4. Which is bigger: 1/19 or w?
w
Suppose -5*b + 113 = -9*b - m, -5*b - 135 = -5*m. Is -22 equal to b?
False
Let f be (0 + 2 - 3)*0. Suppose 45 = t + 4*t + 5*a, -2*a - 4 = f. Let p(d) = -d**3 + 3*d**2 + 2*d + 4. Let z be p(3). Which is bigger: z or t?
t
Let k = 126 + -139.1. Is 5 less than or equal to k?
False
Let a(g) = -g - 15. Let z be a(-18). Suppose -3*x = 3*p + 6, 2*p + x - 1 = -z. Which is bigger: p or 2?
2
Let d = 73 - 36. Is d smaller than -2/3?
False
Suppose 2*b = -2*q - q + 3, -5*b = 4*q - 11. Which is smaller: q or -56/31?
-56/31
Let r = 17.39 - 0.29. Let p = 1.1 - r. Let l = p - -17. Which is greater: l or -6?
l
Suppose -m = -5*v + 5, 0*m + 4*m = 3*v - 3. Suppose -j - 2*a - 6 = m, 5*j - 4*a + 38 = 2*j. Is j at least -4?
False
Let y = -1 + -18. Let v = y - -21. Let q be 1 - -1 - (v + -1). Do q and 24/11 have different values?
True
Let s be (-2*(-1)/(-3))/((-1)/(-3)). Let q be 3 - (22/8 + s + 2). Is -17/2 > q?
False
Let y = -26 + 18. Let r = y - -11. Suppose 0*m - 2*o = -r*m - 19, o = -5*m - 23. Which is smaller: m or -26/7?
m
Let v = 8 + 3. Suppose 4*i - 13 = 3*i + 5*s, 0 = -4*i - s - v. Is 0 greater than i?
True
Let z = -1 + 41. Suppose 3*x - z = 3*f + f, 2*x = f + 15. Suppose n + 3 = -3. Which is bigger: n or f?
n
Let u = -31.9479 - -0.0479. Let g = -32 - u. Is g equal to -15?
False
Suppose 3*j - 34*h - 703 = -32*h, 3*h = 4*j - 939. Is j smaller than 229?
False
Let r be ((-2)/6)/((-6)/(-36)). Suppose u + 4*u + 4*b + 4689 = 0, 0 = -4*u - b - 3760. Let f = 6569/7 + u. Are f and r non-equal?
True
Let h = -142028/19 - -7472. Let x = -1099/342 - h. Which is smaller: x or 0?
x
Let x = -822 - -7393/9. Which is smaller: -0.1 or x?
x
Suppose -p = -1 - 0. Let s(y) = -7*y**2 + y - 4. Let u be s(6). Let g = 5999/24 + u. Which is smaller: p or g?
g
Suppose -4*s = t + 59, 2*t = 2*s + 46 - 4. Let r(h) = -h**2 - 8*h - 3. Let a be r(-6). Let b be (s/3)/((-6)/a). Is 9 < b?
False
Suppose 2*i - 5*g - 21 = 0, -8 - 16 = -5*i + 3*g. Let q = 2 - i. Let d be q*(-3 + 17/6). Which is bigger: d or -1?
d
Let g = -19.52 + 20. Is 0.1 less than g?
True
Suppose -4 = -3*o + 86. Suppose o = 5*l + 2*s, 2*l + 0 = 2*s + 12. Which is greater: l or 4?
l
Let w = -537 - -539. Is -264 > w?
False
Let s(y) = y**2 - 2*y - 2. Let c be s(-2). Let h = 36285 + -36269. Which is greater: h or c?
h
Suppose -15 = -46*d + 41*d. Let w be ((-5)/10)/(d/16). Which is greater: -3 or w?
w
Let m = -1025/15141 + 2/309. Which is smaller: m or 0?
m
Let b be (1 + 0)*(15 + -9). Suppose 0 = -15*c + 9*c + b. Which is smaller: -1/10 or c?
-1/10
Let i(h) be the second derivative of 1/20*h**5 - h + 0 - 1/2*h**2 + 1/2*h**4 + 1/6*h**3. Let j be i(-6). Are -6 and j unequal?
True
Let n be ((-50)/15)/((-1)/3). Let q(l) = -l**3 + 11*l**2 - 9*l - 2. Let c be q(n). Let a = c - 9. Is a less than or equal to -1?
True
Let d = -122.9 + 96.9. Is d > 6?
False
Let c be (580/(-289) + 2)*(-9)/(-99). Which is smaller: 1 or c?
c
Let q(u) = 3*u + 20. Let b be q(8). Suppose -5*z + 3*n = -b, -39 = 4*z + 5*n - 89. Is 13 <= z?
False
Let n = 481/11 - 42941/979. Let m = 2/1335 + n. Are 1.5 and m equal?
False
Let u = -226 - -226. Which is bigger: -7/5 or u?
u
Suppose 0*q = 40*q. Which is bigger: q or -3/329?
q
Let j(d) = d**3 + 6*d**2 + 7*d - 1. Let i be j(-4). Let c be -1*i*(-2)/6. Which is bigger: c or 2/81?
c
Let g = 2772/13 + -795577/3731. Which is greater: 0 or g?
0
Let k be (-8)/(56/315) - 5. Is k bigger than -47?
False
Suppose 7 + 9 = -4*y. Let u = 4 + y. Suppose u = 2*p - p + 4. Is p at most -2?
True
Suppose -z + 22 = -3*d + 3*z, 0 = -3*z + 12. Suppose 4*h = -3*w - 1, 0 = w - 3*h - 3 + 12. Is d > w?
True
Let o be (-7)/((1 + 0)/(-3)). Let v = o + -35. Let f = 14 + v. Is 0 at least as big as f?
True
Let f = 430 - 1000. Suppose 6*t + k - 2 = t, -5*k - 20 = -5*t. Let z be (-215)/f - t/6. Are z and -1 nonequal?
True
Let g = 22 - 19. Suppose -g*d = d - 16. Is 0.2 greater than d?
False
Let j(t) = -7*t**2 + 9*t + 37. Let x be j(3). Which is smaller: x or 1/692?
1/692
Let n = -2677/9735 + 2/885. Let u be 0/(((-32)/(-4))/(-4)). Which is smaller: n or u?
n
Let c = -16 + 308/19. Let p = 87/38 + c. Let u be (-414)/230 + (-8)/(-10). Is p at most as big as u?
False
Let i be 6/(-20) - 6030/(-100). Is i at least as big as 63?
False
Let i = 203 + -74. Is i not equal to 1?
True
Suppose -8 + 0 = 4*a. Let n be 32/(-20) - a - (-21)/(-15). Which is smaller: -1/4 or n?
n
Let s(i) = -1 - 2 - 5*i + i. Let z(l) = -11*l - 10. Let c(r) = -8*s(r) + 3*z(r). Let q be c(4). Which is smaller: -1 or q?
q
Let t = -86/11 - -1787/33. Is t >= 46?
True
Let r be 6/12*(5 + 1). Let i be r + 1 + -13 + 12. Which is greater: -3 or i?
i
Suppose 0 = 4393*l - 4401*l. Let t = 36328/31 + -1172. Are t and l unequal?
True
Let i = 17 - 12. Suppose 3*l + i - 2 = 0. Let k = -29185/3 - -9727. Does l = k?
False
Let n be 3 + 0 - 12/(18/6). Let v be ((-18)/(-3) + -5)*(0 - n). Which is smaller: -19 or v?
-19
Suppose 2*c - 9 - 95 = -3*y, 3*y - 3*c = 129. Which is smaller: 36 or y?
36
Let x = -1 - -3. Let i = -70 - -69. Is i > x?
False
Suppose -20*g = -8*g + 12*g. Let z be (6/7)/(1*8). Is z at most as big as g?
False
Suppose -o = -0*o - 5. Suppose -o*m = -0*m. Suppose -3*i + h = -4, -3*i + i + 2*h + 4 = m. Which is smaller: -1/5 or i?
-1/5
Suppose 6*d + 150 = 3*d. Let q be 1/(1 + d/45). Are q and -7 unequal?
True
Let n = 1751751/149336 - -747/1697. Let d = n + -93/8. Is 0 bigger than d?
False
Let w = -3595 - -176137/49. Is -1 at least as big as w?
False
Suppose -6*w = -457 + 337. Which is smaller: w or 19?
19
Let d = 238233/8 - 29867. Suppose 0 = 15*o - 10*o - 440. Let s = d + o. Is 1 at most s?
False
Let w be 3 + ((-455188)/119140 - -1). Let l = 4/2553 + w. Let y = l + -7/15. Which is smaller: 0 or y?
y
Suppose 0*a + 9 = 3*a. Let m(j) = -5*j**3 + 14*j**2 + 3*j. Let w be m(a). Which is bigger: 1 or w?
1
Suppose 12 = 3*p - 5*b, -3*b = 3*p - 0*b - 12. Let y be 1 + p/1 + -3. Suppose -5*c + 14 = y*c. Is c at most as big as 8/13?
False
Let c(q) = 19*q**2 - 7*q + 15. Let y be c(6). Let z be -3 - ((-5254)/y + 5). Which is smaller: z or 1?
z
Suppose -310 = -3*o - 295. Suppose 8 = 3*u + 2. Let d be 1*(-1)/u*-7. Which is smaller: o or d?
d
Let h(i) = -i**3 + 2*i**2 + 2*i + 1. Let m be h(-1). Let r be (-102)/(-153)*(-5)/(-2). Do r and m ha