8))/(19/76). Let m = 2 + -3. Which is smaller: m or t?
m
Let q be 1*0/(9/(-3)). Let n be (-45)/9 + 54/11. Is q <= n?
False
Let z(n) = n**3 + n**2 - 2*n + 4. Let f be z(-3). Let j(t) = -2*t - 15. Let x be j(f). Let q = -1860/11 + 169. Is x at most q?
False
Suppose -16*j + 438 + 58 = 0. Suppose 2*w - w + 23 = 0. Let r = j + w. Is r less than 8?
False
Let m = 36 - 85. Let c = m + 72. Let a = c - 21. Is 10/7 equal to a?
False
Let o be 7/35 - (-48)/(-15). Suppose 5*h - 5 = 3*s, 5*h + s = -2*s + 5. Suppose -h + 2 = -i. Which is smaller: o or i?
o
Suppose -23*t + 4*t + 437 = 0. Which is greater: t or 70/3?
70/3
Suppose -y + 20 = -3. Let o = -8 + y. Let g = o + -12. Is 7/4 less than g?
True
Suppose 39*x + 1 = 40*x. Which is smaller: x or 10/31?
10/31
Let h = 56.8994 + 0.1006. Which is smaller: -13 or h?
-13
Let q(m) = m**3 - 10*m**2 + 9*m + 3. Let g be q(9). Suppose -8 = s - g. Suppose -2032 = -x - 2040. Which is bigger: s or x?
s
Suppose -5*r = -0*r - 120. Suppose -y - 9 + 41 = 5*z, -3*z + r = y. Suppose -4*f + 4 = -y. Which is bigger: 3 or f?
f
Let n = -1267/23 + 55. Let h be (-14)/2 - -6 - (-1 + 1). Which is smaller: h or n?
h
Let m = 1682 - 1681. Let t = -523/4 - -133. Which is smaller: t or m?
m
Let v be ((-48)/(-40))/((-3)/(-200)). Suppose -2*u + v = -4*u. Let r be ((-32)/u)/(2/(-10)). Is -0.2 at least as big as r?
True
Let b be 2 + -2 - 10/(-90). Which is bigger: 0.06 or b?
b
Let m(n) = 3*n**3 + 5*n**2 - 11*n + 15. Let d be m(13). Let k be d/(-34) - 2*1. Let j = k - -217. Which is smaller: j or -1?
-1
Let i be (4/6)/((-34)/15). Let m = -14 - -13. Which is smaller: i or m?
m
Let p = 70.79 + -74.1. Let x = 0.31 + p. Is x equal to -1/2?
False
Suppose -2*z + 7 = -3*y - 2*y, -4*y = -4*z - 4. Let r be (-4)/(-87)*y/2. Let w = 1 + -1. Which is bigger: r or w?
w
Let b(o) = -27*o - 18. Let x be b(-4). Let z be x/(-4)*272/(-170). Which is bigger: z or 3?
z
Let s(u) = u**3 - 9*u**2 + 1. Let m be (-168)/(-20) - 3/(-5). Let y be s(m). Which is smaller: 2/41 or y?
2/41
Let p be (-1 + 1)/((-54)/9). Which is smaller: 18/35 or p?
p
Let y = 95 - 87. Suppose 7*p + 35 = y*p. Is p < 37?
True
Let u be ((-2)/6)/((-4)/(-8)). Let t be (-45)/25 - (-1 + 4)/15. Which is greater: u or t?
u
Let v(s) = -s**3 + 3*s**2 + 11*s - 3. Let t be v(5). Let h be t/9 + 119/(-252). Let u(b) = -b**2 + 2*b + 3. Let i be u(3). Is i greater than h?
True
Let u = 45 + -12. Let x = u - 31. Suppose -3*g + r = 3 + 7, -3*r + 9 = -x*g. Which is greater: -5 or g?
g
Let m be 1 - 1074/946 - 300/(-1650). Suppose o + 3*o = -4. Is o >= m?
False
Let z be 19/(190/(-156)) + 2. Which is bigger: -13 or z?
-13
Let u = -537 + 535. Which is smaller: 103 or u?
u
Let w be (417676/(-6629))/(-7) - 9. Which is smaller: w or 0?
0
Let q(t) = -7*t - 6. Let s be q(-1). Which is smaller: 4/87 or s?
4/87
Let z = 607 + -101. Is z < 505?
False
Suppose 5*u - 4205 = -5*f, 3*f = 2*u + 2*f - 1679. Suppose 5*l = 3*c - 1050, -l - 2*c = -5*l - u. Let a be 5/2*24/l. Is a > 0?
False
Suppose 12*u + 30 = 17*u. Suppose -o + 3*o = -u. Is -5/3 <= o?
False
Let h = 6257 + -6258. Let d = -40 + 66. Let b be ((-1)/d)/((-1)/4). Which is greater: b or h?
b
Suppose 4*t = -0*g - 4*g - 84, 0 = -g + 3. Let q be (-408)/(-544) - 321/12. Which is smaller: q or t?
q
Suppose -3*i - 4*p - 12 = 0, 3*i + i - 6 = 2*p. Let b = -3991/7 - -569. Is i bigger than b?
True
Let q(i) = 19*i**3 + 2*i**2 - 5*i - 6. Let t be q(-2). Let o = t - -95. Which is smaller: o or -43?
o
Let o be (-102)/4*(700/42 - 18). Which is smaller: 39 or o?
o
Let l = 380 + -364.7. Let u = 15 - l. Which is smaller: 0.5 or u?
u
Suppose 200 = -6*d + 20. Let m be ((-18)/d)/((-1)/5). Which is smaller: 4 or m?
m
Let f = 53 + -53. Suppose f = u - 3*x + 81, u - 3*x - 2*x + 89 = 0. Is u greater than or equal to -70?
True
Let o = -11 - -10.8. Let h = 0.124 + 0.576. Are o and h equal?
False
Let n = -0.6 + 3.2. Let a = n - 0.6. Let g = 0.4 - 4.4. Which is smaller: g or a?
g
Let k(t) be the third derivative of 1/4*t**4 - 2/3*t**3 - 6*t**2 + 0 + 0*t. Let v be k(2). Which is smaller: v or 1?
1
Let i be ((-4)/10)/((-1)/(-5)). Let n(p) = p**2 - 11*p - 22. Let s be n(0). Let d be s/7 - (-4 + (1 - -1)). Which is greater: i or d?
d
Suppose q = 3*q + 2*u + 2, 5*u + 21 = 3*q. Let k = 10 + -6. Let g be (3/2)/(3/k). Is g != q?
False
Let c = -0.782 + -0.718. Is c greater than or equal to -4?
True
Let u(z) = -z**2 + 4*z + 6. Let m be u(5). Suppose -o = -0*o - m. Let j = -827/91 - -62/7. Is o at least as big as j?
True
Let o be (6/(-12))/((-2)/76). Suppose -3*p + o = -23. Which is smaller: p or 15?
p
Suppose -20*m + 15*m + 25 = 0. Suppose -m*u = 14 + 6. Does u = -5?
False
Suppose 5*j - 6*j = 11*j. Is 11/25 smaller than j?
False
Suppose -31*g = -g. Which is smaller: g or 19/16?
g
Let x = 0.2 - 1.2. Let a = 121.984 + 0.016. Let w = a - 116. Which is smaller: x or w?
x
Let u = 1965 - 1963. Is u less than 7/10?
False
Let n = -3 - -3.5. Let i = -507.2 - -507. Which is greater: i or n?
n
Let r(z) = 3*z**2 - 4*z - 20. Let h be r(4). Let i(b) = -b**2 - 11*b - 11. Let s be i(-8). Which is smaller: h or s?
h
Let o = -0.279 + 0.239. Is 2/19 equal to o?
False
Let f = 494.75 - 494. Is -2 bigger than f?
False
Let m(z) = 2*z + 17. Let f(j) = j**2 + 3*j + 9. Let d be f(-4). Let s = d - 28. Let b be m(s). Are b and -13 nonequal?
False
Let p be (6/15)/((-198)/110). Let u(h) = -h**2. Let g be u(0). Which is smaller: g or p?
p
Let s = 177 - 175. Which is smaller: s or -20?
-20
Let y = 0.89 + -1.89. Do -0.101 and y have the same value?
False
Let i = -8 + 4. Let f be (5/i)/(12/(-8)). Suppose 9*q = 2*h + 7*q - 4, 0 = -2*h + 5*q + 7. Does h = f?
False
Let n = 6 + -6.1. Which is greater: n or 1/8?
1/8
Let s = 955176/49 - 19492. Which is greater: 1 or s?
s
Let z(d) = 19*d + 19. Let q be z(-1). Is q != 0.43?
True
Suppose 2*i + 5 = i, 0 = -4*k - i + 1395. Let y be (1 - 6/(-4))*40/k. Which is bigger: -6.5 or y?
y
Suppose 9*g + 346 = -140. Let s = g - -68. Which is smaller: s or 15?
s
Suppose -6 = 3*c, -5*r - 4*c + 4 = -3. Suppose 2*d - 4*i - 7 = 7, 0 = -2*d + r*i + 10. Is -2/127 greater than or equal to d?
True
Let n(o) = -o**3 - 6*o**2 + 2*o + 2. Let t = 32 + -38. Let r be n(t). Is 0 less than r?
False
Let k be (-18)/12 + 0 - (-1)/(-2). Let t be 2/24 + -1 + k/(-3). Which is greater: t or 4/15?
4/15
Suppose -5*m - 3*g + 16 = 0, -2 = -5*m + 2*g + 4. Suppose 4 = -u + 2*p, u - 2*u - 4*p = -m. Let y = 3433/9 - 383. Which is smaller: u or y?
u
Suppose -3 = 5*l + 2*w + 4, -2*l = -3*w - 1. Let r(f) = 6*f**2 - f - 1. Let v be r(l). Let j(o) = -o + 8. Let s be j(v). Which is smaller: 1 or s?
1
Let j be (-2)/9 - 15/(7560/1589). Is -4 less than j?
True
Let n(g) = 3*g**2 + 26*g - 7. Let k be n(-12). Is 111 < k?
True
Let b = -18 - -26. Suppose 0 = 2*s + z, s + 3*z = -2*z. Suppose s = -13*f + b*f. Is 2/51 at most f?
False
Let x be (4/5)/((-196)/(-30)). Let z = x + 362/245. Let j be -3 + ((-250)/(-45) - 12/(-27)). Which is smaller: j or z?
z
Let c be 2949/(-12) - (27/(-12) - -2). Let d = c + 254. Which is bigger: d or 8?
d
Suppose -g + 5 = -u, 0*g = -5*u + 2*g - 22. Let x = 6 + u. Suppose -3*q + 2*c = -c + 6, -x*c = -4*q + 2. Is 1 less than q?
True
Let h be ((-2)/5)/((-24)/20 - -1). Suppose -h*n + 52 = 3*d, 0 = 3*n + 2*d - 17 - 66. Is 30 less than or equal to n?
False
Let x = 17.07 + -17. Let t = 199 - 197.93. Let h = t - x. Is h <= 1?
True
Let w be (12/8)/((-24)/512). Which is greater: -27 or w?
-27
Let j(s) = 2*s**2 - 12*s + 5. Let g be j(4). Let d = 56/5 + g. Which is greater: d or 0.7?
0.7
Suppose 3*z = 3*o - 7*o - 29, 5*o + 10 = 5*z. Let u be 6*(1 + (2 - 4)). Which is smaller: u or z?
u
Let v be (2*(-28)/(-7))/(1/8). Which is smaller: v or 66?
v
Let a be 1/10*75/(-60). Is -0.04 greater than or equal to a?
True
Suppose -133 = 3*i - 5*b, 0 = i - b + 43 + 2. Is -47 not equal to i?
True
Let k be -6 + (-88 - (4 + 4 + -3)). Which is bigger: k or -100?
k
Let d = -41 + 18. Let b = d + 23. Which is bigger: b or -0.13?
b
Suppose -53*x + 58*x + 3*d = 15, 4*d = -2*x + 20. Is x at most 34?
True
Let d = -1397 - -1947. Which is smaller: 1649/3 or d?
1649/3
Let i = 3877/320499 - 5/1341. Is 0 greater than i?
False
Let z be (-66)/(-8) - 3/12. Suppose c + z = y, 0 = 5*c + y + 16. Suppose 5*q + k + 15 = 0, -2*q + 4*k + 11 = k. Are c and q nonequal?
True
Let n = 14 - 68.