 s be m/7*4/(-10). Which is smaller: 0 or s?
s
Let r be ((-142)/(-213))/((-12)/(-9)) + 26526/(-4). Which is smaller: r or 1?
r
Let a = -0.486 + 284.986. Let f = a + -285. Is 2 equal to f?
False
Let n = -371 + 287. Let y = -1850.81 - -1935. Let c = y + n. Which is bigger: -2 or c?
c
Let r(x) = 31*x - 2582. Let z be r(85). Which is bigger: 38 or z?
z
Let w = 10010 + -10010. Let r = -3324284/391 - -8502. Is w bigger than r?
True
Let n be 36/35 - 6/14. Let z be (-8)/(-24) + (-2756)/(-12). Let c = z + -229. Which is smaller: c or n?
n
Let f = 11921 - 11929. Which is smaller: -111/13 or f?
-111/13
Suppose 5*q = -3*l - 5794 + 1348, 5*l + 7372 = -2*q. Which is smaller: l or -4412/3?
l
Let f = -4275.368 - -4276. Is -4 equal to f?
False
Let n be 2/((-2)/4*(-4)/15). Suppose -4*m - 23 + n = 0. Let b(z) = z**2 + 5*z + 2. Let h be b(-3). Which is smaller: m or h?
h
Let m = -300 + 537. Suppose -f - x - 4*x - m = 0, -4*f - 4*x - 868 = 0. Which is bigger: -213 or f?
f
Suppose 5*r - 5*d = 8620, 4*r + 245 - 7131 = -d. Suppose 2*k - r = -19*k. Is 82 less than or equal to k?
True
Suppose 8 = c - 58. Let q be 1/(-3)*-376*c/44. Is 188 > q?
False
Suppose -5*z - 2*l = -2658, -4*z - 11*l + 2140 = -6*l. Let n = z - 529. Which is greater: 30/13 or n?
30/13
Let x = -39272/91 - -3022/7. Which is smaller: 86 or x?
x
Let s(y) = -y**2 + 30*y + 401. Let p be s(-10). Which is smaller: p or 274/21?
p
Suppose -18*i + 6*i = 420. Let s = -81 - -42. Which is smaller: s or i?
s
Let l be 4/(-14) - (-4)/210. Suppose -28 = -3*f - 4*i, -435*f + 4*i - 28 = -436*f. Which is smaller: l or f?
l
Let q be (-180)/1575 + 10/14 + 7694/10. Is q greater than 3?
True
Suppose -9*z - 8*z - 119 = 0. Let v be (z + 5 - -8) + -3. Suppose 3*b - n = 3*n - 4, 5*n = 5. Which is smaller: v or b?
b
Let w = 12 + 68. Let r = w + -50. Let t = 5 + r. Which is bigger: 37 or t?
37
Let q = 392 + 30. Suppose -5*o - 228 - q = 0. Let g be (4/(-10))/(468/o). Which is smaller: g or -1?
-1
Let u = -14.9454 + 2.3264. Let v = -0.081 + u. Let x = 11.7 + v. Which is greater: x or -54/13?
x
Let h(v) = v**2 + 11*v + 25. Let s be h(-7). Which is smaller: 45/2 or s?
s
Let j(h) = 2*h**3 + 19*h**2 + 11*h + 20. Let c be j(-9). Let m be (7 - 0)*c/1. Suppose 4*r = -2*p - m, r + 6 = -p - 0. Are p and -8 equal?
False
Let t = -13347/239603 + 2/2633. Is t at most 1?
True
Let v = 70640/9301731 + 8/9781. Is -1 greater than v?
False
Suppose 4*f = -4*o + 96, 3*o - 28 = -f - 6. Let v be (-6)/4 - f/(-50). Is v at most 331?
True
Let f(b) = b + 4. Let h be f(-4). Let r = 74032 + -13695919/185. Which is bigger: r or h?
r
Let w = -94211/2059 - -1389/29. Which is bigger: 1 or w?
w
Let z(p) = p**2 - 14*p - 32. Let m be z(17). Suppose 2*o + 3 = i, m*o - 17*o = -5*i + 27. Which is bigger: -9/28 or o?
o
Suppose -2*k + 223 = -4*k + 3*y, 0 = 5*k - 4*y + 575. Let n be -119*(9 + -10 - -2). Is n less than or equal to k?
True
Let w be (-90)/(-120) - (-6)/272*-18. Let j = -598 - -597. Is j <= w?
True
Let q = 29 + -105. Let s = q + 68. Let d = 17 + s. Which is smaller: 0 or d?
0
Let w be 212/(-10) + (4 - 76/20). Let f be ((-18)/8)/(w/(-56)). Let t = 4 - f. Is t equal to 78/7?
False
Let s be 2263/93*(-2 - (0 + 1)). Which is smaller: -1525/21 or s?
s
Let n = 5866 - 5740. Which is greater: n or -38?
n
Suppose 0 = 5*c + 3570 + 200. Let h be ((-116)/c)/((-2)/204). Is -17 bigger than h?
False
Suppose 5*m - 64 = -49. Suppose d - 187 = -5*p, -80 = -p - p - m*d. Suppose 4*y - 2*y = 76. Is p <= y?
True
Let g be (-8)/16*(3 + -2)/92. Let d = 373/920 + g. Which is smaller: 54 or d?
d
Let j(w) = 32 - 28*w - 170 + 47 + 11 - 5*w. Let c be j(-4). Is c bigger than 1/2?
True
Let q = -0.053 - 0.247. Suppose 211 = -4*u - 5*c, 103 = 4*u - 2*c + 321. Which is bigger: q or u?
q
Suppose 216*o + 1224 = 120*o + 108*o. Which is greater: o or 922/9?
922/9
Suppose 1596 = 11*n - 15*n. Let b be (n/112)/(638/(-178)). Let t = b + -18/319. Which is bigger: 0 or t?
t
Let g = -2012 + 1926. Is -9/2 <= g?
False
Let a(t) be the third derivative of t**6/120 - 3*t**5/10 + 2*t**4/3 - 7*t**3/2 - 12*t**2. Let q be a(17). Let s be 1 - 4 - (0 + 98/q). Which is smaller: s or 1?
s
Suppose 714 = 7*o - 4*o. Let s = o - 74. Suppose -4*y + s = 4*p, -6*y + 2*y + 155 = p. Which is bigger: 37 or y?
y
Let x be 136/32 - (-1)/(-4). Let i = x - 11. Let s be (-13)/3 + 19/57. Does i = s?
False
Suppose -133*v = -208*v - 14736 - 9114. Is v at most as big as -4?
True
Let p = -934 + 897. Let v = -7.88 + -0.12. Let c = 7 + v. Is c <= p?
False
Let z be (-4)/40 - (-3 - (-1205)/(-50)). Let o be (-2)/(-11) - 1776/(-33). Let t be 6/z + (-21)/o. Is t at most -3/5?
False
Let h = 29 + -27. Let o be -2*((-5)/50 - h/5). Is 12/59 >= o?
False
Let q = 53 - 77. Suppose -5*n - 12 = -2*o - 6*n, -4*n - 2 = -2*o. Let f be (q/15)/(o*(-6)/(-375)). Which is smaller: -22 or f?
-22
Let u be (-10)/(-4) + (-3 - (-9)/6). Let h be -3 + -11*3/(-3). Suppose 7*s = h*s + u. Which is greater: s or 2/21?
2/21
Let v = 656/777 - 46/259. Is v at least -88?
True
Let i be 1*20*4/5. Let v be (-1)/1*4/i. Let a(o) = -135*o - 595. Let u be a(-4). Is v bigger than u?
True
Let m = -168 - -669/4. Let s = 4.652 + -2.352. Is s at least as big as m?
True
Let w = -2013.8 - -1916.69. Let h = -97 - w. Which is smaller: h or -0.3?
-0.3
Suppose 26*o - 35 = 95. Let f = o + -17/3. Let i = -2197/219 + -22/73. Which is greater: i or f?
f
Suppose 4*o - 71 = 521. Suppose -5*q + o = -2*h + 3*h, -2*q + 2*h = -64. Let j be (8/30)/((-12)/q). Is j less than or equal to -15?
False
Let f be (-7 - -5) + (-116)/(-57). Suppose 5*v = g - 2*g + 31, 5*v + 65 = 5*g. Suppose 28 - 12 = -g*j. Is f <= j?
False
Let q = 363 + -349. Let i be ((-9)/q)/((-25)/5). Is i less than 1?
True
Let f be (3 - -1)*(-12)/(-24). Suppose 0 = 7*q - 16 + f. Suppose q*u - 49 + 57 = 0. Which is smaller: -8/3 or u?
u
Suppose 3*k + 53 = 4*d - 37, 2*k = -4*d + 100. Suppose -d = 28*f + 4. Let z = 90/7 + -179/14. Is f bigger than z?
False
Suppose -6*l + 11*l + 340 = 0. Let u be l/(-32) + 3/(-24). Suppose 0 = -3*z - m - 3*m + 142, u*m = 3*z - 172. Which is smaller: 53 or z?
53
Let i = 1/2 + -7/6. Suppose 422*m = 1028*m. Which is bigger: m or i?
m
Let n = 40 + -352. Let y be (-4)/14 + n/(-14). Let d = 23 - y. Which is smaller: d or -17?
-17
Let j(i) = 44*i - 63 - 2*i**2 + 18*i - 3*i. Let y be j(28). Let u = 4 + -3. Which is greater: y or u?
y
Suppose -2*n + n - 2*u = 0, 9*n = 7*n + u. Is n > -10/39?
True
Let l = -5459 - -6289. Is l <= 3?
False
Let s be -49 - -35 - (8 - 2) - -18. Suppose 1 + 21 = 2*g. Suppose 5*a + 46 - g = 0. Which is smaller: a or s?
a
Let a(z) = -z**2 - 8*z + 4. Let r be a(-7). Let t = 1522 + -1512. Which is bigger: t or r?
r
Let o(u) be the second derivative of u**3/6 + 7*u**2/2 + u. Let a be o(5). Suppose 7*y = -43 + 1, 0 = 5*w + y - 59. Which is smaller: w or a?
a
Suppose 6*q = 63*q + 6612. Is q >= 4/17?
False
Let p = 3/4 - 2689/3596. Is -1/4 greater than p?
False
Let p = 3325 + -1802. Is p smaller than 1522?
False
Let g(r) = -r**2 + 14*r. Suppose -k - 3*k + 2*v = -48, -4*k + v + 52 = 0. Let i be g(k). Let f(u) = 3*u - 1. Let l be f(i). Are l and -1/36 unequal?
True
Let g = -2239.3 + 2269.3. Is 0.181 <= g?
True
Let z be (4/8)/((-1)/18*-3). Let n be (z/(-12))/(24/16). Suppose -3*c - 7 = -4. Is n at least as big as c?
True
Let g be (4 - 5)*33 + -4. Let l = -10 - g. Suppose 651 = 16*r + 219. Is r equal to l?
True
Let g be ((-391)/(-8))/((-73)/292). Is -0.1 at least g?
True
Let w be (-37)/666*(1 + 14/(-10)). Let s be ((-412)/(-315) - 0) + -1. Let n = s - w. Is n > -1/8?
True
Suppose 56*b + 70931 = 4347. Is -8328/7 greater than or equal to b?
False
Let k = 2.512 - -0.008. Let m = k + -2.48. Which is smaller: 0 or m?
0
Let i be (-8*(-3)/(-72))/(7/12). Let j be (45/(-10))/(7 + -5). Is i at most j?
False
Let g(y) = -y**3 + 0*y**2 + 3*y**2 + 6*y**2 + y - 9. Let x(j) = -6*j**2 - 14*j + 5. Let p be x(-2). Let u be g(p). Which is smaller: 4/19 or u?
u
Let x = 1273.968 - 1281. Let r = x - -0.032. Let z = 3.96 - -0.04. Which is smaller: r or z?
r
Let t be (10 - 1)*22/(-3). Let d be t/(-15)*(-150)/80. Are d and -9 nonequal?
True
Let z be ((-10)/(-12))/(3/(-6)). Suppose 5*a = u + 20, -2*u + 3*u - 5 = 0. Let v be (-2)/a - 8/5. Which is bigger: z or v?
z
Let h = 18.6 - 18.6. Let l = h - -10. Is 2/15 smaller than l?
True
Supp