(96/(-12672))/(6/208). Is 0 at least as big as m?
True
Let m = 205 - 178. Let g = -27 + m. Is -3/44 less than g?
True
Let q(t) = 1192*t + 1473. Let x be q(-4). Which is bigger: x or -3296?
x
Let a = -99509/40 + 2487. Which is greater: -1 or a?
a
Suppose -57*t - 6941 - 90154 = -10113. Is -1524 less than or equal to t?
False
Let a be 2 + (-15 - (-7 + -10)). Which is smaller: 720 or a?
a
Let l = 4410491/6 + -268467185/366. Let r = l - 1565. Which is greater: -1 or r?
r
Suppose 4*l - 2030 = -i, 0 = 2*l + 111*i - 112*i - 1006. Is l not equal to 504?
True
Let u be 3406 + (-5 - (-30)/5). Which is greater: u or 3406?
u
Let j(q) = 18*q + 17*q - 49*q + 22*q - 7. Let u be j(10). Let v be 3*((-592)/(-6))/4. Which is greater: v or u?
v
Let r = -18.03 - -18. Let z = 23/26 - 155/234. Is r bigger than z?
False
Suppose -415 = 4*f + 52 - 51. Which is smaller: -7 or f?
f
Suppose -5*s - 31 = 74. Let m = -20272 + 20249. Is s <= m?
False
Let d = 20632 + -20631. Let c be 10/25 - 21/57. Is d at most c?
False
Suppose 9 = 2*m - 3. Let y be m/21*(-21)/(-6). Let t be 0/(-16) + y/2. Is 0 at most t?
True
Let g = -16513 - -16514. Let k = 1.67 + 0.65. Which is smaller: g or k?
g
Let l = -117 + 125. Suppose l = -4*w, 2*w + 23 + 9 = 2*d. Do 27/2 and d have different values?
True
Let m = 144.8 - 8.2. Let u = -150 + m. Let s = u + 0.4. Which is smaller: 0.3 or s?
s
Let j(q) = 334*q + 3. Let n be j(12). Suppose 1253 = -14*g + n. Is g less than 197?
False
Suppose 0 = -3*p - 11 - 19. Let u(w) = 4*w**2 - 11*w + 19. Let z be u(2). Let x = z + p. Is 8 greater than or equal to x?
True
Let q = -327 + 305. Let f = -1009.04 + 1031. Let o = f + q. Is o > -2?
True
Let z(h) = 2*h**3 - 16*h**2 - 20*h + 13. Let r be z(9). Let j(p) = -p**3 - 6*p**2 - 2*p + 13. Let u be j(r). Is -13/5 at least as big as u?
False
Let j = -58.0156 - -0.1156. Let b = j - -58. Are b and -2.2 non-equal?
True
Let w(u) = u**2 + 14*u - 15. Let f be w(-12). Let h = 41 + f. Let x be (7/1 - h) + -4. Which is smaller: x or 2/25?
2/25
Let p = 28 + -86/3. Let z = -1269634 - -31767996/25. Let n = z + -1086. Which is smaller: p or n?
p
Let a = 1356765/337 - 4026. Which is bigger: a or 2/7?
2/7
Let m be 4 + -2 - (34 - 38). Let o = 43234 + -95330968/2205. Let x = o - -25721/4410. Is x at most m?
True
Let y be 26/60*(-234)/9945. Which is smaller: y or 1?
y
Suppose 46*x = -2061 + 405. Let k be 20/66*(-7)/(7/x). Which is bigger: k or 11?
11
Let w(u) = u**2 + 2*u + 8. Let d be w(-6). Let n(b) = 3*b**3 + 37*b**2 + 9*b - 7. Let h be n(-12). Is h < d?
True
Suppose 74*g - 77*g = -234. Suppose 3*h = 2*z + 247, z = -3 - 2. Which is greater: h or g?
h
Suppose 880 = -4*k - v, -5*k + 5*v + 694 = -8*k. Which is smaller: -221 or k?
-221
Let k be (0 + -3)*(21/6 - 1)*25236/7010. Let z be (-4)/12 + (-253)/(-3). Suppose 3*u = a - z, 2*u + 13 = 4*a - 53. Is k less than u?
False
Let l(w) = -w**3 + 9*w**2 - 4*w - 5. Let m be l(10). Let v = -184 - m. Suppose 11 = -2*j - 65. Is v bigger than j?
False
Let y = -2/3451 - 172544/10353. Suppose 251 = -3*q - 37. Let t = 79 + q. Which is bigger: t or y?
y
Suppose -106*u = -268*u + 24786. Is 1 < u?
True
Let l be (-206)/(-6) - (-12)/18. Suppose 5*d - 13 = 3*a, 3*a - 21 = 4*a - 5*d. Suppose f - 83 = -a*t, -f + 27 = 3*t - l. Which is bigger: t or 20?
t
Suppose 0 = -3*o + o - 22. Let z = 383 + -388. Do o and z have the same value?
False
Let w = -52480 - -52479. Let g be (-1186)/(-796) + (-9)/6. Is w > g?
False
Let j(f) = 3*f + 57. Let n be j(-16). Let l be (-2 - -1)*1/2*-14. Which is greater: n or l?
n
Let s be (-2 - (2 - 5)) + -2. Let y be 21259/(-15456)*4 + 198/36. Which is smaller: s or y?
s
Let s = -23.86 + 21.7. Let b = -2.12 - s. Let w = -7 - -27/4. Are b and w non-equal?
True
Let a = -6668/5 + 6537/5. Is -26 smaller than a?
False
Let k be ((-1459682)/1722)/((-1)/6). Which is smaller: k or 5089?
k
Suppose 0 = -20*s + 15*s + 15. Let o be 0 + -3 - (2 + s - 8). Is -26/47 at least o?
False
Let o = 1.0748 + -1.0848. Is -110 at least o?
False
Let q = 22 + 41. Suppose -3*u + q - 3 = -3*x, -5*u + 110 = -3*x. Which is greater: 35 or u?
35
Suppose -q - 49 + 52 = 0. Suppose q*p - 8 = 46. Suppose -2 = h - r, 2*r = 2*h + 2*h + p. Which is smaller: h or -8?
-8
Let c be ((-3)/(-12))/(3/36) - (-6 + 10). Which is greater: c or 4/4069?
4/4069
Let o be (-154)/(-693)*(-1 - (-20)/8). Let l = 127.6 - 15.6. Which is greater: o or l?
l
Let i = -2938 + 48216/17. Which is bigger: i or -101?
-101
Let i = 46/13 + -283/91. Let p be (-1 + 0 + -4)/(-6). Is i smaller than p?
True
Let a = -581 - -1693. Which is greater: 0 or a?
a
Let c = 2599.3 - 2711. Let r = 112 + c. Is -13/2 equal to r?
False
Let h = 206 + -2392. Let q = h + 2185.9. Let c(a) = -2*a + 4. Let o be c(-6). Which is greater: o or q?
o
Suppose -x + 279*b + 6 = 280*b, -5*x = b - 26. Suppose -k = -5*k + 16. Which is smaller: x or k?
k
Suppose 2*f + 2*n + 502 - 2528 = 0, -5*f - 3*n = -5061. Is f not equal to 0.1?
True
Let o = -8437/3 - -1324573/471. Which is smaller: -1 or o?
-1
Let z = 3973 - 3981.6. Suppose 5*x + 10 + 0 = 0. Are x and z non-equal?
True
Let s = -1609 - -1610. Is 1 not equal to s?
False
Let c be 5/(-18) - (-2)/4. Suppose 63 = l - 7*j, 4*l + 3*j = -11 + 263. Which is bigger: l or c?
l
Let m = 76877/11124 - 587/108. Are 2 and m equal?
False
Let b(l) = 70*l**2 - 3*l. Let z be b(-2). Let i = 289 - z. Is i greater than or equal to -0.1?
True
Let v(z) = 63*z + 694. Let g be v(-11). Is g >= -1/1862?
True
Let x = -31888 + 30552. Do -0.4 and x have the same value?
False
Let m = -4 - -5. Let y = 1223636/103 + -11880. Which is greater: y or m?
m
Let u(i) = -i**2 - 3*i + 9. Let w be u(0). Suppose 0 = -s + w*s. Is s greater than 2/219?
False
Let s be -3*(-1 + 148/6). Let h = s + -5. Is -76 > h?
False
Let v = -18314 + 18749. Which is greater: 3054/7 or v?
3054/7
Let z(h) = -h**3 + 6*h**2 + 9*h - 14. Let q be z(7). Let a(m) = m**2 - 7*m + 17. Let o be a(q). Is o > 17?
False
Let b = -2349.9 - -2166. Let q = b + 184. Which is bigger: -2 or q?
q
Let l = 13625.295 + -13627. Which is smaller: -3 or l?
-3
Suppose 0 = f + 2*f. Suppose f*b - 4*b = 4. Let u be ((-12872)/32180)/(4/(-10)*242/(-4)). Is b greater than u?
False
Let m be (168/(-22))/((-18)/4653). Which is smaller: 1977 or m?
m
Let f(v) = -v**2 - 12*v - 32. Let w be f(-7). Which is bigger: w or -3.18?
w
Suppose -357*s + 22 + 20 = -350*s. Which is bigger: s or 75/14?
s
Let h = -39.968 + 40.01. Is 1 less than h?
False
Suppose 0 = 6*m - 3*m - 21 - 36. Let v = 6 + 11. Which is greater: v or m?
m
Suppose -5*j + 194 - 54 = 0. Suppose 31 = -10*z + 11*z. Let i = j - z. Is -3 >= i?
True
Let g(f) = -4*f**3 + f**2 + 47*f + 100. Let j be g(-2). Which is bigger: j or 377/9?
j
Let p = -705621/124127 + 3/6533. Is p at most -5?
True
Let p = 40 + -58. Let z = p - -17.926. Let q = z - -0.074. Which is smaller: 1.9 or q?
q
Suppose 214 = -4*l + 2*d + 42, -2*l = 2*d + 74. Let b be l/(-4) + -10 + (-118)/760. Which is smaller: b or 1?
b
Let v be ((-112)/(-72))/(-14) + (-29936)/(-18). Suppose 15*m - 238 = -v. Are -95 and m equal?
True
Let q = -13361.8 - -13362. Which is bigger: q or -59/7?
q
Let b = -3061/3802760 - 2/32305. Let p = -52091/1442 + b. Let l = p - -3035/88. Is l bigger than -3?
True
Suppose -q - 4*b + 8*b + 2 = 0, 5*q - 3*b + 7 = 0. Let j be (6 + -2 + -4)/q. Which is greater: j or -26/47?
j
Let w be 5404/(-1 - -5) + -3. Let d be 3 + (-176)/w*23. Let b = d - 273/21568. Is b bigger than 0?
False
Suppose 4*r + 22 = z, 0 = -z - r - 10 + 7. Let s be (-25)/75 - z/(-6). Which is smaller: -4/37 or s?
-4/37
Let c = 736/2527 - 2/361. Is c bigger than 0.23158?
True
Let b = -8570 - -8662. Which is smaller: b or 95?
b
Let i be (-2)/((-4)/(-6)) + (11 - (-16 + -5)). Is 125 less than i?
False
Let f = 57.73 - -0.27. Let u = 6984 - 6925.94. Let q = f - u. Does -1/5 = q?
False
Let u = -2312/47859 + 2/1113. Let f(g) = g**3 - 15*g**2 + 16*g - 13. Let b be f(14). Suppose 2*s = -s - 4*m - b, -5*m = 4*s + 19. Does s = u?
False
Let r = -981 + 2935. Suppose 2556 + r = -41*z. Which is smaller: -108 or z?
z
Suppose 2*t + 66 - 4 = 2*o, 5*t = 10*o - 115. Let w(h) = 3*h**3 + 5*h**2 + 2*h. Let y be w(-3). Which is greater: t or y?
t
Suppose -8 = -2*c - 4*t - t, 2*c = 5*t - 32. Let y be c*(-8)/3*5/20. Suppose 0 = j - 3, -f + y*f + 5*j = 0. Are -1 and f equal?
False
