t + t. Which is greater: s or t?
t
Let c be 1/21*(-1661)/(-4065). Let t = c - 1/2439. Is t greater than or equal to 1?
False
Let y(z) = 2*z**2 - z + 412. Let t be y(0). Let v = -7000/17 + t. Which is smaller: v or 0?
0
Suppose 4*q = p - 39, -2*q - 95 - 19 = -4*p. Let s = p + -44. Which is bigger: -18 or s?
s
Let g = 3 + -2. Let t = 40/27 + -412/351. Is g at most t?
False
Suppose 3*o = -2*h - 336, 5*o + 0*o + 4*h = -558. Is o equal to -117?
False
Suppose 7*x - 9*x + r = 1, -4*x - 5*r + 5 = 0. Suppose x = -4*u + 27 - 7. Suppose 2*h = -l - 0*h + 9, 29 = -4*l + u*h. Which is bigger: l or -0.2?
-0.2
Suppose -5*h - 2*y + 85 = 0, h - 8*y + 6*y = 5. Which is bigger: 2 or h?
h
Let p = -1732/3379 - -33842896/56189391. Let h = p - 2/723. Is h > 0?
True
Suppose -3*q = -24 - 33. Suppose -106 = 5*t + q. Let z = -74/3 - t. Is z at least 4?
False
Let c = 21 + -23.6. Let g = -2.729 + 0.229. Let d = c - g. Which is greater: -8/3 or d?
d
Suppose 20 = -4*y + 5*d - 3*d, -3*d + 18 = -3*y. Let w be -1*(6/(-2) - -2). Which is smaller: w or y?
y
Suppose 2*r + r = -57. Suppose 7*q = 8*q + 18. Let k = r - q. Which is smaller: k or -1/14?
k
Let h = 30 + -31. Is -1/204 > h?
True
Suppose -2*r + 9*b = 4*b + 109, 176 = -3*r - 5*b. Suppose 8*m = 4*m - 228. Is r smaller than m?
False
Let g be 16/18 - 6/9. Let w(j) be the second derivative of j**3/6 + 13*j**2/2 + 12*j. Let s be w(-12). Do g and s have the same value?
False
Let d = -266 - -1334/5. Let u be -2*((-12)/(-3 + 0) + -5). Which is smaller: u or d?
d
Let n = 2/5051 + -217199/15153. Which is bigger: -15 or n?
n
Let r be ((15/(-53))/(-3))/((-16)/32). Which is bigger: r or -1?
r
Suppose 0 = 31*a + 191 - 4748. Which is bigger: a or 143?
a
Suppose -2*o = -r + 7, -r + 3*o + 4 = -7. Let w be 21 - r*(2 + -2). Suppose -4*d - 5*x + 0*x = -40, d + 4*x - w = 0. Is d at most as big as 3?
False
Let o be ((-9)/6)/((-5)/(-10)). Let j(t) = -t**2 - 5*t + 3. Let r(w) = 3*w**2 + 16*w - 10. Let b(d) = -7*j(d) - 2*r(d). Let s be b(o). Is 3/7 less than s?
False
Suppose -6*b = 195 + 171. Which is smaller: b or -361/6?
b
Suppose -5*x = -78 - 17. Let g = x + -17. Suppose -2*b + 57 = g*f + 3*f, 0 = 2*f - 5*b - 17. Are f and 11 nonequal?
False
Suppose 484*z - 3084 = 496*z. Is -257 not equal to z?
False
Let q be ((-11)/((-22)/204))/(0 + 2). Which is smaller: 53 or q?
q
Let g be 14/(-18) + 3*10/(-135). Do g and 3/277 have the same value?
False
Let o(t) = -90*t + 52. Let m be o(-3). Which is greater: 323 or m?
323
Let y be 2 + (-6 - (-226)/54). Are y and 0 equal?
False
Let b(q) = -146*q + 9. Let i be b(-1). Which is bigger: i or 154?
i
Let k = 492 + -493. Suppose -3*l - 33 - 18 = 0. Is l less than k?
True
Let o = 54487/2 + -26582. Let d = -683 + o. Let m = d + 21. Which is smaller: 1/22 or m?
m
Let v = -5 - -1. Let l = 10.9 + -10.848. Let n = -0.352 + l. Which is smaller: n or v?
v
Suppose w - 4*w = 0. Suppose 0 = 3*c + 65 + 313. Let k be (-2)/(-8) + c/312. Which is bigger: w or k?
w
Suppose 2*x + 0*b + 12 = -4*b, 4 = 3*x - 5*b. Let r be -1 + (3 - (x - -6)). Is r less than 3/7?
True
Let z(y) = y**3 + 6*y**2 + 2*y + 5. Let v be z(-3). Let h = -33 + 58. Which is greater: v or h?
v
Let p be (-605)/((-18 + 19)/(2/(-2))). Which is smaller: p or 604?
604
Let h be ((-3)/9)/(-1)*(-2 - (-904)/440). Suppose -4*x = -0*x. Is x < h?
True
Let w = 49 - 22. Suppose -w + 107 = 4*g. Let c be (8/g)/(2/20). Which is smaller: -1 or c?
-1
Let c = -132209/13 + 10161. Do c and -10 have the same value?
False
Let h = -0.1 - -0.2. Let r = h + -0.2. Let w = 5.8 - 4.8. Is r > w?
False
Let m be 9/28*(-48)/(-156). Which is smaller: m or 0?
0
Suppose 0 = -19*l + 31 - 12. Which is smaller: l or 53?
l
Let i be 0/(-7) - (78/(-21) - -4). Are 37 and i equal?
False
Let g = 131 - 101. Which is smaller: g or 31?
g
Suppose -2*k - k - 54 = 0. Let m be ((-3)/2)/(k/48). Let w(a) = 2*a - 5. Let z be w(m). Is 1 >= z?
False
Let l(a) = -118*a + 55. Let d be l(3). Is d less than or equal to -298?
True
Suppose -3*b + 8 = -13. Which is greater: b or 10?
10
Suppose y + 4 = -3*k, 0 = -4*k - k - 4*y - 9. Is k smaller than 3/118?
True
Let g be 6/(3/1)*-38. Which is smaller: g or -75?
g
Let t = -218 - -320. Let l be (-14)/21 - ((-56)/t)/1. Which is smaller: l or -1?
-1
Let s = 0.88 - -0.12. Let n(p) = p**3 - 14*p**2 + 14*p + 14. Let m be n(13). Is s less than m?
True
Let a(u) = -u**2 - 9*u - 4. Let f be a(-11). Are -25 and f equal?
False
Let h(r) = r**2 + r - 2. Let x be h(-3). Let f = -0.0447 + -4.9553. Which is smaller: f or x?
f
Suppose 5*d + 5*o = 35, -2*o = -5*o + 9. Suppose d*g + 2*q = 4, 5 = -2*g - 4*q + 1. Suppose 0 = -3*m - 3, -g*m + 17 = -4*v - 21. Is v bigger than -10?
False
Let h = -1213 + 1225. Which is bigger: 144/13 or h?
h
Let b(w) = -48*w - 145. Let x be b(4). Are x and -338 nonequal?
True
Let f be 2*-2 + (-7)/1 + 1179/108. Let b be 1/(-2) - (-21)/6. Let q = 4 - b. Is q != f?
True
Let v(o) = o**3 - 35*o**2 - 73*o - 2. Let b be v(37). Are b and 5 equal?
False
Let m = 463/3 + -2944/19. Which is bigger: m or 0?
0
Let i = 0.3 - 0.2. Let p = 0.1341 + 6.8659. Which is greater: p or i?
p
Let w = -1/1668591 - -116924971/2780985. Let t = w - 213/5. Suppose -3*u - 2*u - 5*q + 10 = 0, -4*q + 16 = 0. Is u >= t?
False
Let n(v) = -v**2 - 10*v - 6. Let j be n(-5). Let s = -37/2 + j. Let x = 105/4 + -26. Which is bigger: s or x?
s
Suppose 2*g + 4*d = -2*g - 60, d = g + 15. Let l = 16 + g. Let r be 2/7 - 88/406. Are r and l nonequal?
True
Let x = -27 + 63. Let u = -52 + x. Let r = u - -15.95. Which is greater: r or -0.1?
r
Let o be 30/(-25) - ((-982)/160 - -4). Does o = 0?
False
Let i = 61 + -243/4. Suppose -34*t = -27*t - 63. Let u = -60/7 + t. Are u and i equal?
False
Let v be ((-584)/(-365))/((-2)/(-10)). Which is greater: v or 0.7?
v
Let m be (-6)/(-9) - 16/33. Let j = -973/386 - -4/193. Does m = j?
False
Suppose -41 - 63 = 2*y - 4*i, -244 = 4*y + 4*i. Which is bigger: y or -744/13?
-744/13
Suppose -d = -6*d, -s - 2*d = 2. Let t be (-1)/s + (-15)/(-54). Let g = 6 + -4. Which is smaller: g or t?
t
Let i = 49 + -98. Let w = i + 11. Which is bigger: w or -39?
w
Let t be (-55)/(-120)*4 + 75/(-90). Is t less than -3/499?
False
Suppose r = 4*o + 13, -3*r + 2*o + 9 = -0*r. Let q be (6/(-27))/((-8)/(-3)). Are r and q unequal?
True
Let k = 67/2 + -33. Let y be -1*(-6 + (-30)/(-6)). Is y not equal to k?
True
Let n = -19.65 + -0.35. Let w = 19.9 + n. Let p be 3*((-20)/(-6) - -1). Are p and w non-equal?
True
Suppose 59 = 2*q - 9. Let n = q + -39. Is -4 greater than n?
True
Let q = -80/93 + 6/31. Let i be 1290/319 + -4 - (-102)/(-561). Is i < q?
False
Let a = 64 + -59. Let i(r) = -r**2 + 6*r - 1. Let g be i(4). Which is greater: a or g?
g
Let g be 11 + (-45)/4 + 213/52. Is g greater than 0?
True
Suppose -j - 4*j - 65 = 0. Let l = 13 + j. Suppose 5*f - 8 - 2 = l. Are 3 and f equal?
False
Let o = 59.6 - 66.9. Is o greater than or equal to -0.4?
False
Suppose 26*y - 22*y - 12 = 0. Suppose 0*q = y*q - 15. Is 4 smaller than q?
True
Let c be (3 - 234/84)/(8/(-14)). Let o(p) = -p**3 + 11*p**2 - 11*p + 10. Let d be o(10). Is d <= c?
False
Let u be (-6 + 1 - -4) + 43. Is u equal to 44?
False
Let r = -0.06 - -0.36. Let s = 18.6 - 9.6. Is s at most as big as r?
False
Let a = -386 - -914. Which is bigger: 529 or a?
529
Let g = 409227/263 + -1556. Do -1 and g have different values?
True
Let c be (176/68 + (-8)/68)/(-1). Do c and -3 have different values?
True
Suppose c - 9 - 7 = 0. Suppose 2*l - v + 2 = c, 0 = 4*l - 4*v - 28. Let r be (-4)/2*l/(-14). Is 0 bigger than r?
False
Let t = 73 - 75. Is 107 bigger than t?
True
Let k = -6.3 + 62.3. Let f = k + -55. Let n = -1/39 + -2/39. Is f at least n?
True
Suppose -5*u - 70 = -5*h, -2*h + 4*u + u = -31. Suppose 2 = 5*w - h. Is w > 4?
False
Let g = 2 + 8. Suppose -7*t + g*t = 0. Is t greater than or equal to 1/3?
False
Suppose -4*i - 2 = -3*i. Let b be (-2)/(1/(-2)*i). Let y be ((-3)/6)/(1/3). Do y and b have the same value?
False
Suppose d = -1 - 2. Let i be 0/d - 3/(-10). Let m(n) = -n**2 - 17*n + 138. Let o be m(-23). Is o less than i?
True
Let s(i) be the second derivative of i**5/20 - i**4/3 - 5*i**3/3 - 4*i**2 - 21*i. Let d be s(6). Is d < 2?
False
Suppose 12*y - 340 = 7*y. Suppose g = -4*g - v - 445, -g = -4*v + y. Let a be (-14)/(-77) - (-82)/g. Which is greater: a or -1