 -4*s, 2*s + 230 = w*p + 2*p. Is 47 at most as big as p?
True
Suppose -u = v + 2, 3*v - 3 + 11 = -5*u. Suppose -3*d - 12 = -5*r, 2 = -0*d - d + r. Is d <= u?
False
Let s = -8/169 - 19580/507. Which is greater: -40 or s?
s
Let d = -1235 + 1235. Is d > 14/3?
False
Let f(s) = -s**3 - 4*s**2 - 12*s + 54. Let m be f(-10). Is m bigger than 773?
True
Suppose -3*g + 142 + 2 = 0. Suppose 4*a = a + g. Suppose 4*i + a = -0. Which is smaller: -5 or i?
-5
Let p be (38/(-95))/((-12)/(-255))*12. Let k be (14 - 117)/(1 + 0). Are p and k equal?
False
Let l be 4/(-20) + ((-22)/(-10))/1. Suppose -3*b + 3*r = 213, -5*r + 1 = l*b + 171. Which is smaller: b or -74?
b
Let v(h) = 4*h - 8. Let r be v(6). Suppose -3*m - r = m. Let c be (-31)/m + (-6)/8. Is c not equal to 7?
False
Suppose 6*g = 5*g. Suppose g = -4*t + w + 7 + 7, -w = -t + 2. Suppose 0 = -5*y, 4*o = -0*y - y - t. Is 2/17 at least as big as o?
True
Let i be 3/21*(5 - (-639)/(-99)). Do 0 and i have the same value?
False
Let c = -365 + 366. Which is greater: c or 10/49?
c
Let m = -338 - -577. Let x = -961/4 + m. Suppose 0*f + 4*f - s - 5 = 0, 5*f = 4*s + 20. Is f greater than x?
True
Let v = 97 + -97. Is -4/173 greater than or equal to v?
False
Let p(v) = 151*v. Let b be p(14). Let j = b - 61316/29. Is -1 != j?
True
Let z(i) = -2*i**3 - 2*i**2 + 3*i + 7. Let n(s) = -3*s**3 - s**2 + 4*s + 8. Let j(q) = -3*n(q) + 4*z(q). Let t be j(5). Is 4 greater than t?
False
Let a = 5.4 + -5. Let g = -0.3535 + -0.0175. Let p = -0.029 + g. Is p greater than a?
False
Let z = -346 + 345.9. Let c = 5.2 + 15.8. Is z <= c?
True
Suppose 0 = 4*q - 54 + 6. Suppose -4*a - 4 = q. Let t be (a + 7 - 3) + 15. Is t at least as big as 15?
True
Suppose s = 3*s - 30. Let x = -22 + 12. Let y = x + s. Which is bigger: y or 4?
y
Let z = -2351 - -2347.86. Is z < 0.1?
True
Suppose -297 = 536*l - 527*l. Which is smaller: -34 or l?
-34
Let p be -13 + -8 + (-385)/5. Is -101 greater than or equal to p?
False
Let c = -111/2 + 227/4. Which is smaller: c or -21?
-21
Suppose -50*h - 216 = -32*h. Is h at most -1?
True
Let d = 7 + -11. Let i = -339 - -238. Let w = -106 - i. Which is greater: d or w?
d
Let u(l) = -l**3 + 19*l**2 - 34*l - 1. Let x be u(17). Is -2/679 <= x?
False
Let n = 302 + -400. Which is greater: -96 or n?
-96
Let j be (-10)/60 - 1/42. Which is greater: j or 0?
0
Let o(z) be the second derivative of -1/6*z**3 - 6*z - 13/2*z**2 + 0. Let v be o(-11). Which is greater: v or -1?
-1
Let o = 14.03 + -0.03. Let w = 15.3 - o. Let x = w - 2.3. Do -0.1 and x have the same value?
False
Suppose 5*r = -g + 35, -4*g - r - 4*r + 95 = 0. Which is smaller: 26 or g?
g
Let z = 23 - 5. Suppose -10 = -13*t + z*t. Is -2 bigger than t?
False
Suppose -a - r + 1 = 0, 11 = -5*a - 2*r + 1. Let o = -1353/190 - -71/10. Let v = o - 754/285. Which is bigger: v or a?
v
Suppose 18 = u - 10. Let i = -28 + u. Which is bigger: 3/52 or i?
3/52
Let t = -1453 - -1452.8. Which is smaller: t or -32/13?
-32/13
Let o = 1051350/71 - 14808. Which is smaller: 0 or o?
o
Let p be ((-8)/(-5))/((-6)/(-135)). Suppose -a + p + 98 = 0. Is 134 less than a?
False
Let i = 0.3 + 4.7. Let k = -12 - -6. Let a = i + k. Which is greater: 0.05 or a?
0.05
Suppose -2*k + 2*b = 30, 6*k - 25 + 91 = -2*b. Which is smaller: -40/3 or k?
-40/3
Let g be (5 - 4)/(170/1785). Let w = 13 + -3. Is w greater than or equal to g?
False
Let n be (132/30 + -5)*5. Let q be -3 + ((-6)/n - -1). Let k be 2/60*2*2. Are q and k nonequal?
True
Let k = 18 - 18.23. Let w = 835 - 823.77. Let s = w + k. Is 0 less than s?
True
Let w(s) = -5*s**2 - 17*s + 11. Let y be w(-4). Is 4/117 less than y?
False
Suppose -2*c = 4*a + 898, -5*a - 224 - 678 = 2*c. Is c greater than -438?
False
Let j be -2 + -3 - (-141175)/99. Let x = j - 1421. Which is bigger: x or -1?
x
Let v = -13 - -13. Let c = -4 - -3. Let u be (-15)/60*(-1)/c. Is u greater than v?
False
Suppose -16 - 4 = 4*f. Let o = 7 + f. Let a(x) = -2*x**2 - 29*x + 250. Let r be a(6). Is o bigger than r?
False
Let j be (-2)/8 - (-28)/(-16). Let w be ((-1)/j)/(15/(-13902)). Let y = -462 - w. Is 0 at least as big as y?
False
Let s be 0*(1 - 0)*1. Suppose s*i - 4*i + 20 = 0. Suppose g + g - 3*h = 5, -i*g - 5*h = 0. Which is smaller: 0 or g?
0
Suppose -5*p - 8 = -3*m, -5*m - p + 9 = -5*p. Suppose -5*z = 5281 - 1136. Let u = z - -30675/37. Is m less than u?
False
Let t = 0.708 + -2.708. Which is greater: t or 20/9?
20/9
Let p be ((-390)/135)/(-13) + 11/(-9). Do p and -2/2519 have the same value?
False
Let w = 0.15 + -11.15. Let m = -760 + 790. Let b = w + m. Is 0 smaller than b?
True
Let u = 0.2 - 0.22. Let g = 68 + -68.15. Let j = g - -0.25. Is j bigger than u?
True
Let t = 107 + -305. Let f be (-2)/(-10) + t/15. Which is smaller: -12 or f?
f
Let h(r) = 4*r**3 - 4*r**2 - r + 3. Let m be h(-2). Let s = -40 - m. Suppose 0 = 2*a - a + 4*u - 8, -s*u = -5*a - 6. Which is smaller: a or 0.22?
a
Suppose 0 = -4*s - 7*s - 2981. Is -272 greater than or equal to s?
False
Let g be (5/(-5))/(12/(-24)). Which is smaller: g or 45/46?
45/46
Let d be (-2 + 0)/(105/(-330)). Which is smaller: d or 7?
d
Let f = 0.019 + -134.019. Do -0.1 and f have different values?
True
Let c(y) = -7*y**2 - 3*y - 2. Let r be c(2). Let p be ((-2)/(-3))/(26/r). Which is bigger: 0 or p?
0
Let d = -2.55 + 9.55. Which is bigger: d or 2/29?
d
Let a be (-3 - (-108)/33)*(-4)/(-1353). Let m be (3/363)/(2/12). Let d = m - a. Which is smaller: d or 1?
d
Suppose 3*b = -j + 10, 0 = 4*b + 3*j - 7 + 2. Suppose 12 = -b*n - 13. Which is bigger: -8 or n?
n
Let j be (-14)/(-56) - (-1818)/(-8). Is j at most -227?
True
Let u be (18/(-12) - 0) + 202/124. Are u and 1 unequal?
True
Let j = -1194 - -1193.98. Which is bigger: j or -2/51?
j
Let c = -289 - -317. Which is greater: c or 37?
37
Let n be ((-2)/(-4))/((-5)/(-50)). Suppose -n*f + 11 = -14. Let j be (4/(-20)*0)/2. Which is smaller: j or f?
j
Let f be (40*1)/((-12)/838). Let i = f - -2767. Let w = 26 + i. Which is smaller: 1 or w?
w
Let t be ((-60)/(-119))/(37/259). Is 3 > t?
False
Suppose 11*v - 33 = 99. Let k be 2/9 + (-60)/27 - v. Is -14 >= k?
True
Let s = 6 + -5.86. Let r = 326 + -327. Which is smaller: s or r?
r
Let b = 609 + -588. Which is smaller: 14 or b?
14
Let a be 3/(0 + 9/12). Let x be ((-32)/12 - 2/6) + 43. Let r = x + -71/2. Which is greater: r or a?
r
Suppose 3*g - 2 = -2*m, -2*m + 8 = 5*g + 2. Let s = -30 - -34. Suppose 0*l + 6 = -2*l - 2*q, s*l + q + 21 = 0. Which is smaller: l or m?
l
Suppose 5*z - 4*m - 24 = z, 0 = 4*z - 5*m - 28. Let n be 6/(-14) + (1 - 0). Which is greater: n or z?
z
Let x(i) = -i - 7. Let k be x(-6). Let h = 66 + -61. Let j be 24/(-40) + (-27)/h. Do j and k have the same value?
False
Let m be -13 - -17 - (-63)/(-7). Let i(p) = -p - 6. Let k(w) = -w**2 - 3*w. Let b be k(-3). Let r be i(b). Which is smaller: r or m?
r
Suppose -6*h + 2*h + 28 = 0. Suppose 0 = -h*l + 3*l. Suppose l*c = c. Which is smaller: -1/3 or c?
-1/3
Suppose 11*w = 20*w - 63. Is w at least as big as 19?
False
Let k be (-5)/3*-3*(-16)/(-10). Suppose -k*a + 3*a - 5 = 0. Is a equal to -2?
False
Let y(o) be the first derivative of o**4/2 + 5*o**3 + 4*o**2 + 6*o - 21. Let s be y(-7). Which is bigger: 0 or s?
0
Let d(k) = -2*k + 14. Let x be d(10). Let w(o) = -o + 7. Let u be w(10). Is x <= u?
True
Let r be (-3)/(-45) - 493/(-255). Which is greater: r or 55?
55
Let l(m) = -48 + 5*m + 0*m - 20*m. Let n be l(-6). Is 41 at least as big as n?
False
Let a = 12 - -1. Let t = a + -29. Which is bigger: -15 or t?
-15
Let a = -10223/3 - -3408. Let p be (33 + 0)/(0 - -1). Which is greater: p or a?
p
Let z = -0.83 + -0.17. Let r(l) = l**3 + 6*l**2 - 6*l - 4. Let x be r(-7). Let w = 6 + x. Which is bigger: w or z?
z
Let f be ((-12)/(-10))/((-3)/25). Do f and -10/7 have the same value?
False
Let p be ((-186)/(-10))/((6 + -1)/25). Suppose 17*z = 20*z - p. Are 28 and z unequal?
True
Let c = -176 + 176. Which is smaller: 1/321 or c?
c
Let h = 1064 + -1075. Which is greater: -4 or h?
-4
Let h = 17 + 13. Let v(t) = -t**3 - 3*t**2 - t + 2. Let b be v(-2). Suppose 8*c - 12*c - 4 = b. Is c greater than h?
False
Let g be (-16)/(-24)*(5 - 2). Suppose 5*p + 10 = 0, -l + g - 1 = -p. Let m be (-3)/(-108) + 1/(-4). Is m greater than l?
True
Let g = 34985607 + -3113769221/89. Let c = g + 564. Let u(s) = s**3 - 10*s**