
-3
Let y(c) = -2*c**2 + 2*c + 2. Let s = -23 + -13. Let q = s - -35. Let g be y(q). Is g at least -4?
True
Let u = 0.005 + 0.055. Let k = u + -0.16. Are -1.8 and k unequal?
True
Suppose -m = 4 - 9. Suppose m*w = 12 + 28. Let l = w + -13. Is l greater than -5?
False
Suppose 25 = -10*l - 15. Do -3 and l have the same value?
False
Let z be (-1428324)/84*(151/153 + -1). Let d = z - 1556/7. Which is bigger: d or -1?
d
Suppose 4*v + 2*m - 244 = 0, 5*v - 6*v + m = -67. Which is smaller: 60 or v?
60
Suppose 2*k = k - 10. Let a = k - -12. Suppose -2*f = -2, 0*c + a*c = 4*f - 30. Is c > -14?
True
Let g = 58 + -49. Let l be 2/(-5) - g/15 - 1. Is l smaller than -5/3?
True
Suppose -3*t = 3*q - 87, 0 = 3*t + q - 113 + 32. Let k = 55/2 - t. Which is bigger: 2 or k?
2
Let a = -259 - -5955/23. Let q = a + -40/69. Which is smaller: -14 or q?
-14
Suppose -4*p = 3*y - 0 - 1, -5*p = -4*y - 9. Is 1/47 less than or equal to p?
True
Let o be (-2 - (-3 + -1)) + 1095/(-12). Is o < -88?
True
Suppose -9*y + 42*y + 1584 = 0. Is -47 at least y?
True
Let h = 9/344 + -17027/6536. Which is greater: h or -3?
h
Let k be -8 + 5*(-486)/(-315). Which is greater: 1230 or k?
1230
Let g be (-12)/66 - (-10)/(-66). Which is bigger: -37 or g?
g
Let d = 31 + -31.65. Let q = -0.15 + d. Which is smaller: -3 or q?
-3
Let w be (60/144)/(40/144). Suppose h + 1 - 3 = 0. Is h greater than w?
True
Let c be (-20)/(-35) + 25/(-7). Let x be (c - -3) + 4 + -2. Are x and 2 nonequal?
False
Let n = -6 - -10. Let w = -0.2 + 0.4. Is w < n?
True
Suppose 0 = -5*n + 3*h - 5*h - 24, 6 = 2*h. Let k be n/15 - (-17)/5. Suppose -2*z = 3*z + k*l - 5, -3*z + 3*l = 21. Is z > -1/2?
False
Let v(a) = -2*a**2. Let n be v(0). Is -97/7 less than or equal to n?
True
Suppose 0 = -24*c + 114 + 6. Let d(h) be the third derivative of -h**4/24 - 2*h**3/3 - h**2. Let t be d(-9). Is t greater than c?
False
Suppose -185 = -6*g - 47. Suppose 0 = q + 2 - 3. Suppose g = 2*n - q. Which is greater: n or 9?
n
Let n = 1047 - 1048. Which is greater: n or -5/2?
n
Suppose 2*n - 2*r + 108 = 0, -2*n = 35*r - 33*r + 108. Is -8 >= n?
True
Let h be 12/(-9)*3/(-2). Suppose 2*l - 3*g = -3*l + 83, 3*l + h*g - 65 = 0. Which is bigger: l or 18?
l
Let b be (-9)/(-27) + 4/18*3. Is b < 10/17?
False
Suppose 4*t = -4*k - 120, -110 - 2 = 4*t - 4*k. Which is smaller: t or -34?
-34
Let r be 1 - 8/(-64)*-4. Which is smaller: -130 or r?
-130
Suppose -2*a + 7 = z, -4*z - 5*a = -0*z - 37. Is z less than 19?
True
Suppose -32 + 60 = -n. Let r be (4/14)/((-272)/n). Which is bigger: r or 0.1?
0.1
Let k = -433 - -1332. Are 899 and k unequal?
False
Let k be 4/30 + 40/(-300). Which is smaller: k or 146?
k
Let l(a) = -a**3 - 27*a**2 + 56*a - 57. Let d be l(-29). Let t be 1/(-4) + 22/(-168). Is d < t?
False
Let h = 14929/5 - 1179556/395. Is 0 at least as big as h?
True
Suppose 3*g + 30 + 14 = -4*d, 2*d = 5*g + 56. Let z be (-8)/12 + (-8)/g. Do -1/8 and z have the same value?
False
Let b be -4 - ((2 - 5) + 3). Let p = b - -2. Which is smaller: -3 or p?
-3
Let t be 0 - (4/(-15))/1. Let i = -97.855 + 98. Let p = i - -0.855. Which is smaller: p or t?
t
Let l be 35 + (-3 - (-4 + 3)). Suppose -2*w = w + l. Let t be 184/(-18) + (-12)/(-54). Which is greater: t or w?
t
Let z = -4 - -4. Suppose d + 2*g + 74 = 5*d, -4*d - 5*g + 67 = z. Let r = d + -17. Do -3/23 and r have the same value?
False
Suppose 2*o - 6 = -4. Let a be (o/2)/(6/(-48)). Let z be (a*1)/(28/(-70)). Is z greater than 10?
False
Suppose 2*t = -3*q + 6*t - 22, -q = 3*t - 10. Let v be (3/(-6) + 0)*24. Which is greater: v or q?
q
Let o(f) = 10*f - 4. Let y be o(-9). Let i be 2/(-3) + y/(-6). Let r be (36/i)/4*5. Is 5 less than r?
False
Suppose -2*l - 4*x = -5*x + 104, 0 = -4*l - 5*x - 180. Let a = -1 - l. Is a at least 48?
True
Suppose -20 = 2*a - a. Let j be (24/(-15))/(8/a). Let r be 9/(-45)*35/j. Is -2 at most r?
True
Let p(k) = 4*k**2 - k - 2. Let x be p(-1). Suppose 0 = f + 5*a - 15, 4*a = 2*f + x*a + 3. Suppose f*r - 2 = r. Is r less than 1?
True
Let k be ((-2)/((-2)/(-2)))/((-63)/(-3150)). Which is bigger: -103 or k?
k
Suppose -6*u = -60 - 6. Let z(k) = -8*k**3 - 2*k - 1. Let h be z(-1). Is h at most u?
True
Suppose -16 + 2 = -2*x. Let r be (1 - 1)*(x + -6). Suppose r = -2*q - 5 - 3. Which is smaller: q or -5?
-5
Let k be (-7 - (-9 + 7))*(-2)/2. Is -31 at least k?
False
Suppose 5*k + 51 = x, 4*x - 147 = -5*k + 132. Is 67 < x?
False
Let w(y) = -y**2 - 10*y + 8. Let s be w(-10). Suppose -2*r - 3*r - 3*j = -s, 0 = 2*r - 4*j + 2. Let c be (21/18 - r)/1. Which is bigger: c or -2?
c
Let s(i) = i**2 - i + 168. Let y be s(0). Let c = 167 - y. Let f(u) = 2*u - 4. Let k be f(-3). Is c at most k?
False
Let z = 0.0589 + 17.0211. Let h = -0.08 + z. Let u = h + -16.9. Is u at least as big as -0.02?
True
Suppose 3*i - 2*y = 13 - 6, 5*y - 30 = -2*i. Suppose 3*a - 4 + 3 = 2*n, i*a - 3 = 2*n. Is a <= 6/5?
True
Let j = -72455/7 - -10320. Let r = j - -31. Which is smaller: 0 or r?
0
Let g = -683 + 681. Is 140 equal to g?
False
Suppose 4*j + j = 10. Suppose -2*q = -f + 70, -2*f = j*q + 3*f + 94. Let t = q - -41. Is t at most as big as 4?
True
Suppose 0 = 5*x - 2*x + 3. Let h be 12*(477/(-4))/(-9). Let l = h - 161. Which is smaller: x or l?
l
Let s be 6/(-4)*(18 + -20). Suppose 2*u = -3*u. Suppose -m + 4*m = u. Do m and s have the same value?
False
Let l = 292 - 6715/23. Let o be (-19)/(-38)*-2*1. Which is smaller: l or o?
o
Let r = -35 + 35. Let c = 1.7 - -0.9. Is r > c?
False
Let m(b) = 323*b - 322. Let o be m(1). Let x = 241 + -4821/20. Which is smaller: x or o?
x
Let b = 228 - 242. Are b and 7 unequal?
True
Let w = -186 + 186. Which is smaller: w or 9/32?
w
Let m be 78/18 - 12/3. Let k = 16794/13 - 142659/104. Let t = -80 - k. Is m less than or equal to t?
False
Suppose 6 = z + 9. Which is bigger: z or 19?
19
Let a = 2827 + -2828. Let v = -35407/63 - -562. Is v >= a?
True
Let i = 318/42415 - -8/499. Let d = -124/1955 - i. Which is smaller: 1 or d?
d
Let n = 0.32 - 14.32. Let u = 9 + n. Let d = 7 + u. Is d bigger than -2/7?
True
Let c = -77 + 85. Is -2 at most c?
True
Let w be (-4)/(-7) - 2183/(-4130). Is -0.4 >= w?
False
Suppose i - 1 + 7 = 0. Let h(f) = f**2 + 3*f - 3. Let p be h(-3). Is i bigger than p?
False
Suppose q + 4 - 8 = -3*v, 2*v + 16 = 4*q. Suppose -4*r + k + 17 = v, 4*r = 4*k - k + 27. Suppose 3*y - 6 = 2*a + a, -4*y - 4*a = -8. Which is smaller: r or y?
y
Let c = -47.8 + 46.8. Let p = 368/543 + -2/181. Which is greater: c or p?
p
Let l = 0.1019 + 497.8981. Is l at least -0.1?
True
Let s be (-2)/8 - 22/8. Let t be (-88)/(-28) - s/(-21). Which is smaller: 6 or t?
t
Suppose 5*n + 78 = 7*n. Let f be (n - -7) + 1 + 0. Which is greater: f or 48?
48
Let y be 3*(-723)/(-45) + (-20)/100. Is -3 equal to y?
False
Let n = 0.28 + -5.48. Let z = 106 + -106.8. Let u = n + z. Is 1/4 smaller than u?
False
Suppose 0 = 5*v + 2*i + 8, 0 = -4*i - 0 + 4. Let l be ((-13)/(-546))/(v/3). Let r = 37/140 - l. Which is smaller: -1/4 or r?
-1/4
Suppose 0 = 3*r - 5*m + 28, -m + 3 = -2. Let s = 0 - r. Let k = -2773 - -2773. Is k at most as big as s?
True
Let x be 0 + 5 + -1 - (-1868)/(-468). Which is smaller: x or 0?
0
Let x = -50 - -448/9. Let u = 7 - 4. Suppose -11 - 6 = 5*r + u*l, 4*r + 5*l = -24. Which is greater: r or x?
x
Suppose 2*y - y - 1 = 0. Suppose -3*s - y = -4*s. Suppose 0 = 3*m + 4 - s. Is 1/4 at most m?
False
Let h(b) = b**2 - 8*b + 2. Let k(x) = x**2 - 8*x + 2. Let r(y) = -2*y + 15. Let f be r(10). Let w(j) = f*k(j) + 4*h(j). Let q be w(8). Are -1 and q nonequal?
True
Let r = 48 + -49. Let y be ((-19)/57)/(r/2). Let p be ((-4)/(-10))/(11/5). Which is greater: p or y?
y
Let u = -1541.1 - -1541. Is -759 greater than u?
False
Let i(x) = -x - 6. Let d be i(-10). Suppose d*o - 27 = 9. Which is smaller: o or 10?
o
Suppose -a = -3*i + 51, 0 = -5*a - 0*a. Let w = i + -17. Let p be ((-2)/92)/(2/4). Which is bigger: w or p?
w
Let p be (28/(-6))/(4 - 305/75). Is 72 <= p?
False
Let h be (3 - 4) + 5 + -1. Suppose -2*q + 20 = -6*q. Let o = h + q. Is -2/3 equal to o?
False
Let q = 757/4 - 483/4. Which is greater: 69 or q?
69
Suppose r = x - r - 6, -4 = -x + r. Suppose -5*d - 4 = -x*j - d, -d = 4*j - 44. Is j not equal to 8?
True
Suppose 3*u - 10 = -4. Suppose 3*o + 15 = 0, u*k = 4*k + 4*o + 22. Is k equal to -7/5?
False
Suppose 0 = 17*