s big as z?
False
Let g be 30 - 41 - -13 - (3 + 0). Which is smaller: g or 39/271?
g
Suppose 3*s = 5*r + 11, 2*s = -2*r + 4*r + 6. Suppose -7 = 64*i - 57*i, 3*i = 4*d + 9. Let u be -12 - r - (d - 35/(-5)). Is 1/3 >= u?
True
Suppose 2699*q - 297 = -2996. Let b = -354806453/3349 - -105944. Let v = 20241/164101 - b. Which is smaller: v or q?
q
Let z = 1229/4 + -299. Suppose 2*n + 7 - 2 = p, 5*n = -2*p + 10. Suppose -k - 2 + 10 = n. Is k >= z?
False
Let x be 2/(-141)*(-357)/(-28). Is x bigger than 0?
False
Let y be ((-2)/((-416)/(-11457011586)))/(45/3214). Let s = y + 3934064143. Let l = 2197/4 - s. Is 0 bigger than l?
True
Let n be 12/10*15/3. Let b = n + -8. Let d be (b/(-8))/(-2 - 15/(-12)). Are d and 1 unequal?
True
Let n = 62 - 34. Let w = 30 - n. Suppose 5*l = -2*s - 10 - 28, -4*s - w*l - 44 = 0. Are -1 and s unequal?
True
Let q be (-3)/(9/(-6)) + -18. Let s(g) = -g**3 - 16*g**2 + 4. Let u be s(q). Suppose -5*f + 25 = 3*t + 2*t, -t + 15 = -u*f. Which is greater: 8 or t?
8
Suppose -596 = 105*h - 103*h. Let m = 285 + h. Suppose -3*c - 6 = 0, 2*z - 52 = 6*z + 4*c. Is m greater than z?
False
Suppose -5*l = -34 + 249. Suppose 174 = -2*d + 84. Let r be d - (0 - -1*(1 - 2)). Which is greater: l or r?
l
Suppose 5*z - 2*g - 952 = 1768, 0 = z - 4*g - 562. Let f = z - 1389. Let c = 3421/4 + f. Which is greater: 8 or c?
c
Suppose -4*w + 2 = -6*w. Let n be w + 1 + 2/8. Let b = 1.6147 + -1.4147. Is b equal to n?
False
Let t(x) = -25*x**2 - 7*x - 11. Let w be t(-3). Let n = 1933/9 + w. Which is bigger: -14 or n?
n
Suppose -3*w + 3*h - 576 = 0, -3*w + 18*h - 17*h - 572 = 0. Let x = -2468/13 - w. Which is greater: x or -3?
x
Suppose 5*g - 265 = s + 3*s, -2*s - 275 = -5*g. Suppose -4*l + 7*l - g = 0. Suppose l + 126 = 5*w. Is 28 at least w?
False
Let w = -2976/247 - -132/13. Which is greater: w or -1?
-1
Suppose -5489 = -3*a - 698. Which is smaller: a or 1596?
1596
Let r = -4/1121 + -910/373293. Is 1 at least r?
True
Let a = 12.74 - -1.26. Let u = -14.61 + a. Is 0.1 at least as big as u?
True
Suppose 23*f = -3*p + 24*f - 2142, 5*p - 3*f + 3562 = 0. Which is smaller: p or -700?
p
Let w(t) = 6*t**2 - 43*t + 2. Let g be w(8). Let b be (((-244)/(-30))/((-3)/(-15)))/1. Which is bigger: b or g?
g
Let z(t) = -t + 33. Let v(o) = -2*o + 101. Let p(n) = 3*v(n) - 8*z(n). Let c be p(-18). Is 2 not equal to c?
True
Let u = 1.7 - -0.3. Let x = 533.6 - 387.61. Let d = x - 146. Is u less than or equal to d?
False
Let f(g) = -7*g + 8*g + g - 3. Let h be f(-2). Let r(m) = -9*m - 31. Let l be r(h). Is 33 not equal to l?
True
Let o = -126 + 72. Let k = 54.7 + o. Which is smaller: k or -11?
-11
Let x = -873/13 + 67. Let g(i) = 152*i**2 - 2*i + 4. Let y be g(2). Let a = y + -608. Is a not equal to x?
True
Let r(i) = -23*i**2 + 615*i - 2497. Let l be r(4). Which is smaller: -406 or l?
-406
Let k(y) = -y**3 - 22*y**2 - 70*y + 41. Let q be k(-18). Let c be -1*(25/q + 1 + -6). Let w be (-2)/(-8) + (-210)/776. Which is smaller: c or w?
w
Let w = -1191 + 1193. Which is bigger: -1 or w?
w
Let y be -15848*(-16 - 594/(-36)). Which is smaller: -0.2 or y?
y
Let s be (9/27)/((-2)/(-162)). Suppose 108 = 5*j - j. Are j and s unequal?
False
Suppose 9*l - 6*l - 54 = 0. Suppose 0 = -10*n - 142 - l. Let k(f) = -18*f**3 + 1. Let i be k(1). Which is greater: n or i?
n
Let t = -17/63 + 379/18. Which is smaller: t or 21?
t
Let q(x) = -919*x**2 - 21*x - 20. Let l be q(-5). Is -22889 >= l?
True
Let d = 13/25559 + 4789037/31565365. Let c = 14/65 - d. Is -1 equal to c?
False
Let l = -493 + 232. Let h = l + 261. Is h less than 1/19?
True
Let r = -0.0463 - 2.3437. Let g = r + 2.341. Is -1 bigger than g?
False
Suppose 0 = -167*n - 296*n + 66*n - 586766. Does -1478 = n?
True
Let n = -5.3 + 66.3. Let p = -1575 + 1505. Let q = p + n. Which is bigger: -0.2 or q?
-0.2
Let t be (-2)/11 - 2048/(-11). Suppose t = 4*s + 190. Are -24/19 and s nonequal?
True
Let c = -9.52 + -1.38. Let o = 1.1 - c. Let v = 2.0842 - 0.0842. Which is bigger: v or o?
o
Suppose -30 = 19*c - 106. Suppose -55 = -5*u + 5*j, -4*j - 2 = 2*u - 6. Is u greater than c?
True
Let z = 6.752 - 6.652. Is z greater than 3.7?
False
Let m = -3445 + 8093/2. Which is greater: 601 or m?
m
Let k = -99 - -95. Let t be k*3/244*1. Which is smaller: 1 or t?
t
Let u = 34874/232921 + -44/299. Which is smaller: 0 or u?
0
Let y = 384 - 53. Let l = y + -328. Which is greater: l or 43/12?
43/12
Let p = 547.3 - 544.3. Which is smaller: p or -53/2?
-53/2
Let y = -7.72 - -7.8. Let w = y + 0.12. Let a = -27 + 20. Which is bigger: a or w?
w
Let w be 15*8 + (-160)/(-8). Suppose -2*z + 3*z = 212. Let o = w - z. Is 0.1 greater than o?
True
Let f(q) = 4*q**3 - 70*q**2 - 4*q - 6. Let v be f(18). Let d = v + -425. Is d at most as big as -2?
False
Suppose -16*o + 5 = -15*o + x, 2*x = 2*o + 2. Suppose -o = -11*u + 20. Is u > 2.9?
False
Suppose 3*y - 5*p - 65 = 299, -3*p = -5*y + 628. Suppose 5*g + y - 18 = 0. Suppose -292 = 10*v - 62. Is g not equal to v?
True
Let b be (-17360)/980*21/(-30)*2. Is b at most 25?
True
Let u = 10550 - 10599. Is u >= -42?
False
Suppose 0 = 13*m - 442 + 39. Let f = m - 48. Let p = 7 - f. Is p greater than 22?
True
Suppose 3*t + 2*w = 249, 2*t - 79 - 117 = 2*w. Is t equal to 2?
False
Let y be (-3)/(10 + -9) + 4. Which is smaller: y or 5/666?
5/666
Let u = 34896/217 - 1832/31. Let s = u - 102. Does s = -103/4?
False
Let k(y) = -2*y**2 - 32*y - 28. Let c be k(-13). Let f be (-2216)/20*c/20. Are f and -278 equal?
False
Let j(f) = -f**3 + 21*f**2 + 1 - 3*f - 11*f + 60*f. Let s be j(23). Which is smaller: s or 0.45?
0.45
Let n = -3819 - -3120. Which is smaller: -697 or n?
n
Let w = 7 + -3. Let t be ((-10)/(-15))/((-3)/1494*w). Is -82 >= t?
True
Let w be 2/(-9) - 48490/495. Let q(r) = -r**2 - 23*r - 22. Let i be q(-8). Let a = i + w. Is -3 < a?
True
Let q(x) = 8*x**2 + 240*x - 6. Let y be q(-30). Is y <= -13/6?
True
Let u = -401 + 401. Suppose -5*j - 280 + 50 = u. Which is smaller: j or -44?
j
Let p(w) = -90*w + 5855. Let x be p(16). Are 4415 and x non-equal?
False
Let y = 206 - 369. Let g = 154 + y. Is 0 greater than or equal to g?
True
Suppose 4*l - 3*l = 3*l + 8. Let m = -1 - 0.1. Which is smaller: m or l?
l
Suppose 4*s - 691 = -5*h, -6*s + 378 = -4*s - 4*h. Let f = s - 242. Is f at least as big as -63?
True
Let n = 30450 - 335187/11. Which is greater: n or -5?
-5
Let b be (8/(-12))/((-2)/(-6)). Suppose 4*n + 12 - 16 = 0. Let l be (-11*n - b)*4/12. Is l greater than -2?
False
Suppose -2*x = 4*m - 0*x + 44, 4*m = 2*x - 60. Suppose -j = -4*l - 46, -446*j = 3*l - 447*j + 35. Is l greater than or equal to m?
True
Let l be 17 - (-21378)/70 - 6/(-10). Do l and 322 have different values?
True
Let c be (-30195)/3 - (-32 + 18). Is -10050 less than or equal to c?
False
Suppose 4*s - 4*q + 79 = 71, -s + 6 = 3*q. Is s at least -1/4317?
True
Suppose 0 = 4*k + 4*l - 4, -2*l = -k - 0*l - 5. Let v be (-6)/(-27) - (-1963)/(-3042). Let x = -9/26 + v. Which is greater: k or x?
x
Suppose -18 = 2*y - 4*t, -2*t - 9 = 4*y - 3. Let l be 4 + y + -4 + 4. Suppose -2*n = -l - 49. Which is smaller: n or 0?
0
Let i = 2.726 + -2.626. Which is greater: i or 2373?
2373
Let o be 40 + (-2 - (-5)/(-5)). Let x = -34 + o. Let h be 1 - x - (-203)/105. Is 1 at most as big as h?
False
Let q be (-1 - 88/(-87))/(-14 - -15). Let d(z) = z - 57 - 47 + 114. Let t be d(-9). Is t > q?
True
Let t be (-2)/(-11) - 112/11. Let m = t + 13. Suppose 2 = -m*h + 2. Which is smaller: 3/5 or h?
h
Let k = -5569 + 3172. Let q = k + 2461.96. Let a = -65 + q. Is a > -2/9?
True
Let j = -75235 + 789064681/10488. Is 1 bigger than j?
True
Let l = -6581 + 2902. Is l < -3680?
False
Suppose w + 19*w = 0. Let s be 4 - ((-19)/(-8) - w - -2). Let h be 6/(-4)*8/(-12). Is s less than h?
True
Let d = -46 - -49. Let u be -1 - (-8 - (d + -4)). Let h be (-3 - (-108)/u)*(-2)/(-3). Do h and 8 have the same value?
False
Let x be (-2 - (-8797)/8)/(150/(-200)). Let d = -1491 - x. Which is smaller: -27 or d?
d
Let z = -510 - -510.361. Let o = -14.3 + 14.291. Let k = o - z. Which is greater: k or 1?
1
Let r = -177 + 17. Let x = r + 132. Do x and -27 have different values?
True
Let z be ((-625)/5)/(6/18). Let r = z + 103. Which is bigger: -271 or r?
-271
Let j be 8/40*(-10)/4*4. Let b be -14 + 8 - -1 - 41/(-11). Is b smaller than j?
False
Su