s b <= 4/27?
False
Suppose 5*u - 4*j + 1054 + 96 = 0, 15 = -3*j. Is u less than or equal to -234?
True
Let j = -314 - -343. Which is smaller: -0.06 or j?
-0.06
Let f be (-4)/8 - -2*(-5)/(-20). Let n = 1624/25 - 65. Which is bigger: f or n?
f
Let x be (-322)/(-35) - 1/5. Let f(h) = h + 10. Let m be f(-7). Suppose 12 = 4*b, -4 - x = -2*q - m*b. Which is bigger: q or 1?
q
Let n = -1.1 + 1.1. Is n greater than or equal to -534?
True
Suppose -6*d + 1 = -5. Suppose m - 10 - 2 = 0. Let g be 16/(-154) + m/(-66). Does g = d?
False
Suppose p - 61 = 2*w - 2*p, -5*p = 2*w + 53. Let y be (-20)/(-130) + (-15)/13. Do y and w have the same value?
False
Let t = -14.4 - 0.6. Let c = -11 - t. Which is smaller: c or 3/4?
3/4
Let y = -0.144 + 7.044. Let l = 7 - y. Let o = 143 + -143.8. Is o bigger than l?
False
Let z(p) = -p**3 + 10*p**2 - 8*p - 10. Let r be z(9). Let l = 706 - 84015/119. Is r at most as big as l?
True
Let z = -0.14 - -0.1. Let o = 5.96 - z. Let u = -0.432 - -2.432. Which is smaller: o or u?
u
Let b = 16108/7 + -2293. Do 8 and b have the same value?
False
Let i(k) = -k**3 + 7*k**2 - 13*k + 27. Let u be i(7). Which is bigger: u or -65?
u
Let j(y) = 9*y. Let f be j(1). Let c be ((-6)/15)/(f/25). Let i be (-1)/(-4)*(-11 + 1 + 6). Which is smaller: c or i?
c
Let u = 269 + -256. Which is greater: 14 or u?
14
Let y = 47 - 61. Let f be (1 + -1 - 1)*0 + y. Is f >= -12?
False
Let n(s) = -s**3 - 3*s**2 - 3*s - 3. Let w be n(-3). Suppose 2*a + 0*a - w = 0. Suppose a*t = -t + p - 11, 4*t = -3*p + 1. Are -4 and t equal?
False
Suppose 0 = -165*r + 109*r - 224. Suppose -h - 11 = -5*d, -h - 2*d - 3*d = 1. Which is greater: r or h?
r
Let x(b) = -b**2 + 2*b + 13. Let o be x(-6). Let y = o - -48. Which is smaller: 14 or y?
y
Let a be (1 + -93)*(0 + 264/(-32)). Which is smaller: 761 or a?
a
Let j be (1 + -1)*71/284. Which is bigger: j or 1.3?
1.3
Suppose -2*q - 3*c - 2 = -11, -q - 5*c = -22. Let p be (-2)/12 + (-2)/q. Let t = -0.285 - 2.715. Which is smaller: t or p?
t
Let c be 2/3*18/42. Let k = 65.9 + 0.1. Let y = k - 66.1. Is c < y?
False
Let x be ((-143)/195)/((-15)/(-8)). Let y = -2/225 + x. Is y bigger than 37?
False
Let f be 4/12*-3*13. Suppose 4*w = -3*a - 68, -3*a - 13 = 2*w + 27. Which is smaller: w or f?
w
Suppose -2*y + 6*y = 164. Let c = y + -27. Are c and 12 equal?
False
Let f = -125 - -127. Let h be (16/20)/(f/6). Suppose 0 = -4*x + 3*c + 2*c - 6, 3*x + 2*c - 7 = 0. Which is smaller: x or h?
x
Let i(n) = 2*n**3 - 34*n**2 - 37*n - 20. Let t be i(18). Which is greater: t or -41?
t
Let w = -179/265 + 4/53. Which is greater: w or 0.51?
0.51
Let x be (-1)/(-5) + 859663/(-20615). Let r = 1/1178 + x. Let v = r - -37. Are -6 and v non-equal?
True
Let d = -683 - -79225/116. Which is greater: 0 or d?
0
Suppose -3*d + 44 = 3*j - 67, 5*j = -d + 49. Let b = -141/4 + d. Is b less than -2?
False
Let l = 607.7 + -577.21. Let p = l + -7.44. Let k = p + -23. Are 0.2 and k equal?
False
Let b = 514 + -499.02. Let h = 15 - b. Let o = h + 7.98. Is o bigger than 1?
True
Let p = 270 + -276. Which is smaller: -2 or p?
p
Let p be 25*(-4)/120 - (0 + 0). Is 2 smaller than p?
False
Suppose 2*a + 104 = 6*a. Let l = a - 16. Are 8 and l unequal?
True
Let c = -0.1 + 0.2. Let y = -0.013 + 0.243. Is c at most y?
True
Let l(t) = 2*t. Let b be l(-4). Let m(r) = 123*r + 2328. Let p be m(-19). Which is greater: b or p?
b
Let w = -61 - -67. Let y = -6.41 + w. Do y and 1 have different values?
True
Let f = -265 - -232. Are f and -29 non-equal?
True
Suppose 0 = -3*z + 3 + 12. Suppose -4*n = 3*g - 2*g + 5, -7 = z*g + 2*n. Let h = -17/4 + 4. Is g less than h?
True
Suppose -6 = -4*z + 2. Suppose 6*g - 16 = z*g. Suppose -k + 3 = -4*k - j, -g*k + 7 = 5*j. Do k and -0.05 have different values?
True
Suppose -2*p + 8 = j + 2*j, 4*j = 4*p + 4. Suppose 0 = -j*k - 4, 0 = 4*v + 5*k - 14 - 4. Let o = -6 + v. Is 3 < o?
False
Let s(v) = 33*v - 27. Let o be s(-3). Which is greater: o or -127?
o
Let t = -192 - -194. Let a(d) = 2*d + 1. Let i be a(4). Suppose -t*v = -v + i. Is v less than or equal to -9?
True
Let p = -48 - -51. Let m(b) = -2*b**2 + b + 6. Let r be m(p). Are r and 1 equal?
False
Suppose -29 = -3*u - 5*h, 0 = -2*u + u - h + 7. Suppose 34 = 2*l + 30. Suppose -l*d + u = d. Is d smaller than -2/33?
False
Suppose 0 = -4*j + s - 29, 2*j = -2*s - s + 3. Let a = j - -9. Is 3 >= a?
True
Let n = -3341/14 - -239. Is -1 greater than or equal to n?
False
Let x(c) = -c**3 + 6*c**2 + 17*c - 1. Let s be x(8). Suppose -h - 8 = s*h. Which is bigger: -1/32 or h?
-1/32
Let a = 72 - 73.44. Let u = 0.14 + a. Let n = 1.38 + u. Is n bigger than 2?
False
Let s = 7432/35 - -1028/105. Let l = 222 - s. Suppose 2*r - 3*i = -10, -2*r - i = -0*r + 2. Which is smaller: l or r?
r
Let u be (-2)/(2/3)*(14 + 1). Let y be 10/u - 32/(-18). Which is smaller: y or 1?
1
Let i be (-530)/(-371) - 6/14. Which is bigger: i or -6/311?
i
Let b(p) = -10*p + 1. Let r be b(-6). Let c be r/1*(-3)/(-36). Let l = c + -19/3. Is l at least 0?
False
Suppose -8*r - 326 = -3*r - i, -2*r = 2*i + 128. Which is greater: r or -61?
-61
Let r be (-60)/(-27) + -2 - 96/(-54). Suppose 2*u - 50 = -2*b - r*u, -2*b = -3*u - 78. Is 33 bigger than b?
False
Let g be ((-2)/(-6))/((-1)/(-15)). Suppose 3*a + 21 = -2*i, 0 = g*a - a - 5*i + 28. Let n = 11 + -19. Is a greater than n?
True
Let p be (-1)/((-9)/5) - (0 - 0). Suppose -4*t + w + 12 = -3*w, 3*t = -3*w - 3. Which is bigger: p or t?
t
Suppose -2*r - 564 = -562. Are 2/649 and r unequal?
True
Let t be (-18)/(-42) - (-3)/(-7). Let o be 8*(t - -8*2/(-4)). Which is bigger: o or -33?
o
Let q be (2/(-6))/(1/3). Let f = 2789/107300 + 3/2900. Is f greater than q?
True
Suppose 3675 = 37*p - 1394. Is 136 < p?
True
Let s = -7242/13 - -557. Let q = 0 - -0.2. Which is bigger: q or s?
q
Let u = 6 + -10. Let r be 2*4/8*u. Let s be 2*r/8 + -2. Is -6 not equal to s?
True
Suppose 0 = -5*t + v - 1, -t + 14 = 2*v + 23. Suppose 3*i - 9 = -5*n + 2*n, -2*i + 10 = 4*n. Which is smaller: i or t?
t
Let r be 6 - -1 - (0 + -2). Suppose 0 = -2*q - 5*u - 179, -q = 4*q + 5*u + 470. Let v = 106 + q. Does v = r?
True
Let t be (20666/51)/((-8)/12) - 4. Let v = 612 + t. Is v != -1?
True
Suppose r + 6 - 18 = 3*g, 4*g + 16 = 3*r. Let a = -0.07 + -2.93. Let m = a + 3. Is m bigger than r?
False
Let r = -271513/147 + 1847. Let u = r + 502/441. Is u at most as big as 2?
True
Let x(d) = 5*d + 16. Let f be x(10). Let m = f - 460/7. Which is smaller: m or 1/9?
1/9
Let u be -6 + (5 - -7) + (275 - 1). Are u and 282 nonequal?
True
Suppose -5*f - 5*z = -255, 3*f - 4*z - 153 = -2*z. Which is smaller: f or 52?
f
Let n(q) = 2*q + 8. Suppose -14 - 7 = -m. Let r = m + -21. Let p be n(r). Which is smaller: 6 or p?
6
Let x = -0.0044 + -0.9956. Suppose z + 45 = -2*a - 14, -4*a = z + 117. Is x at least as big as a?
True
Let z(h) be the third derivative of -h**6/120 + h**5/15 - h**4/12 - h**3/2 - 24*h**2. Let y be z(3). Is y at least as big as 4?
False
Let t = 38.898 - 0.898. Is t <= -2?
False
Suppose 5*l - 3*m = 2*l + 342, -l + 108 = 5*m. Is l less than 113?
False
Let c(v) = v**3 - 8*v**2 - 4*v + 37. Let h be c(8). Which is smaller: h or 1/17?
1/17
Let v = 123.1 + -130. Is v at most as big as -3?
True
Let k be 1060/(-12) + ((-3)/(-1) - 0). Which is smaller: k or -2/7?
k
Let g(q) = -q**2 + 25*q - 101. Let i be g(12). Which is greater: i or 60?
60
Let c = 51.4 + -51. Let j = c - 7.4. Is 0.1 at least j?
True
Let g = -7 + 5. Let k(r) = -r**2 - 19*r - 39. Let l be k(-17). Is l smaller than g?
True
Let u(w) = -w - 20. Let x be u(-19). Which is smaller: x or -9/34?
x
Suppose -4*p - 224 = -f, 3*f = -3*p + 5*f - 168. Let j be (-42)/((-2)/8*-3). Is j greater than p?
False
Let y be (-12)/21 - (-21)/(-49). Suppose 3*d - 1 + 19 = 0. Is d less than or equal to y?
True
Suppose f - 4*t = -0 + 2, 4*t = -3*f - 74. Which is greater: -19 or f?
f
Let r = -4009 + 260579/65. Is 0 less than or equal to r?
False
Let f be (8 - (13 - 7)) + 2350/(-1176). Is f at least 1?
False
Let p be (-21*(-1)/(-9))/(129/108). Which is bigger: -1 or p?
-1
Let r = 643 - 640. Which is bigger: r or -34?
r
Let l(p) = p**3 + 28*p**2 + 3*p + 90. Let x be l(-28). Is 20 bigger than x?
True
Let c = 145 + -24. Which is smaller: 120 or c?
120
Let i(c) = 4*c**2 - c. Let s be i(2). Let b be (-4)/63 - s/(-49). Let g = 6.8