15*c - 225 = -3*s, -4*c - 7*s = 256. Is 2 greater than or equal to c?
True
Suppose -3*s - 5 = 2*s. Let q = 63 + -18. Let p be 3*(-2)/q*3. Is p at most as big as s?
False
Let p(i) = i - 11. Let z be p(14). Let s be z/(0 + 15*4/(-8)). Which is smaller: -0.7 or s?
-0.7
Let i = -110 + 443. Is i != 336?
True
Suppose -17*w + 36 = -8*w. Suppose -2 = i - w, 5*f - 2*i = -9. Which is smaller: -1/61 or f?
f
Let p(r) = -r**2 - 10*r - 3. Let a be p(-7). Let o be a*1/2 - 0. Let u be (o/(-6))/((-9)/(-3)). Which is greater: u or -1/3?
-1/3
Let o be (4/(-3))/((-4)/132). Suppose -7*h + 3*h = -o. Let g = h + -8. Is 3 >= g?
True
Suppose -4*u - z + 7 = 0, 5*u - 1 = z + 10. Suppose u*c + c = 30. Let h(f) = -f**2 - 10*f. Let s be h(-9). Which is greater: c or s?
c
Let m = 39 - 79. Let d = 43 + m. Which is greater: -3 or d?
d
Suppose i + 0*i = -5. Let v be i/(-15) - (-28)/6. Suppose 4*h - v*h - 6 = 0. Which is smaller: h or -5?
h
Let o be (-10)/(-80)*(0 - -5). Let w(n) = -n + 14. Let q be w(14). Which is greater: o or q?
o
Suppose -2*n = 18*n. Is -6/109 less than or equal to n?
True
Suppose -3*z - 94 = -y, 2*y + 34 = -z + 5*y. Let f = 896 + -927. Is f > z?
False
Let m = -1 - -1. Let o = 4657 - 4663. Which is greater: o or m?
m
Suppose 0 = 6*m - 54 - 0. Suppose -i - 8 = m. Which is greater: -18 or i?
i
Let t = -1.98 + -0.02. Let f = 0.224 - 0.024. Are t and f unequal?
True
Suppose 4*c - 75 = j, 2*c = -16*j + 17*j + 39. Are 19 and c non-equal?
True
Let d = -5 - -5.2. Let x = -26 - -60. Let v = x + -33.5. Which is smaller: v or d?
d
Let z = 1.2 - -2.1. Let n = z + -3.5. Is n <= -0.9?
False
Let j(d) = d**3 - 4*d**2 - 14*d + 12. Let q be j(6). Let z(t) = t**3 + t**2 + t. Let f be z(q). Let m = 83/119 - 24/17. Is m at most f?
True
Let h = 708 + -707. Which is greater: h or 2?
2
Suppose -3*u = 6 - 18. Suppose u*g + 7 + 1 = -4*o, -2 = 5*g + 3*o. Which is bigger: 9 or g?
9
Suppose -138*r = -135*r + 5*m + 146, -4*r - 214 = -3*m. Is r less than -253/5?
True
Let v = 13 + -6. Suppose -4*o - v = -5*k, 5*k - 3*o = -0*o + 9. Suppose 4 = -4*l + j, 8 = -j + k*j. Which is smaller: l or 2/5?
l
Let q(o) = -81*o**3 - o**2 + o - 1. Let a be q(1). Let j = a - -1064/13. Let s = j - 8/117. Which is bigger: s or 1?
1
Let m = -28 + 17. Let c = m + 8. Is c <= -20/7?
True
Let y(v) = v**2 - 7*v + 2. Let o be y(7). Suppose h + 32 = 5*h + o*z, 3*h + 3*z = 30. Let q be 4/h - 1/(-3). Are 2/31 and q equal?
False
Let l = -811 + 809.6. Which is greater: l or 13?
13
Let l(k) = -2*k + 13. Let u(o) = -o**2 - 2*o + 14. Let a be u(-4). Let x be l(a). Which is bigger: x or -4/21?
x
Let i = -212 + 1265/6. Let t(v) = -v**3 - 6*v**2 - 5*v + 7. Let o be t(-5). Suppose 3*m + o = 1. Do m and i have the same value?
False
Let q be 15/(-50)*(-12)/(-27). Suppose -4*l = 12 - 0. Let x be 1*(-1 + l + 5). Are q and x non-equal?
True
Let w(k) = 33*k**2 + 9*k + 9. Let v be w(-1). Which is smaller: 0.1 or v?
0.1
Let d(v) = 7*v - 108. Let f be d(20). Which is smaller: 29 or f?
29
Let j = -14 + 14. Suppose j*k - 1 = -k. Is k at least as big as 1?
True
Let l = -92 - -189. Is 100 bigger than l?
True
Let n = 130 - 130. Suppose n = 3*s + 59 - 17. Which is bigger: -11 or s?
-11
Suppose -5*j + 24 = j. Let z(d) = 14*d - 54. Let x be z(j). Let q = 187/140 - 3/35. Which is smaller: q or x?
q
Let l = -138 + 130.3. Which is smaller: -0.2 or l?
l
Suppose -16 = 8*x - 40. Is 0.26 greater than x?
False
Suppose 3*i + 28 - 10 = 3*y, -2*i = -3*y + 13. Let p = 5 - y. Let w be 1/(-4) - 3/p. Which is smaller: -3 or w?
-3
Suppose 2*x - 3 - 7 = 4*j, -2*j = -5*x + 9. Let f = -1099/2493 + -1/277. Which is bigger: f or x?
x
Suppose 10*p - 12*p = -10. Suppose -9*s = -p*s - 16. Is 5 >= s?
True
Let f = -18 - -18. Let d = -226 - -136. Let b be 10/12*(-24)/d. Which is bigger: b or f?
b
Suppose -37*j = 26*j - 17*j. Which is bigger: 2/365 or j?
2/365
Let h be (-1*4/(-610))/(19 - 20). Is h not equal to -1?
True
Let s = 100 + -102.99. Let m = s - -29.79. Let u = m - 27. Are u and 0 equal?
False
Let u be (-24)/30*-5*(-6)/376. Do u and -1 have the same value?
False
Let r(x) = 5*x**2 - 3*x - 8. Let y(v) = 6*v**2 - 2*v - 9. Let f(a) = 5*r(a) - 4*y(a). Let l be f(6). Suppose -4*o - 60 = 2*o. Do l and o have the same value?
True
Let w = -614 - -541. Are -5 and w unequal?
True
Suppose -4*d = -2*d. Let a be (0 - 1/(-3)) + 306/(-351). Is a != d?
True
Let k = -624/5 + 123. Suppose -s = q + 4, -4*s = -5*q + 4*q + 1. Which is smaller: s or k?
k
Let c(o) = -4*o**3 - 5*o**2 - 12*o - 30. Let p be c(-4). Is p bigger than 193?
True
Suppose -4*i = -22 - 2. Let z(v) = v**2 - 7*v + 1. Let c be z(i). Is -5 not equal to c?
False
Suppose 1253*t - 176 = 1242*t. Which is smaller: 20 or t?
t
Suppose 11 = 47*z - 36. Let u = -963/5 - -194. Which is bigger: u or z?
u
Let n = -2101 - -4215/2. Let r be 10/2 - 0 - -2. Which is bigger: r or n?
r
Let f = 1.2 - -6.8. Let b = f + -5.8. Let x = 0.2 - b. Which is bigger: 5 or x?
5
Suppose 0 = 4*p + z + 5, -z = 6*p - 3*z - 10. Is p less than 14?
True
Let f = 23 - 22. Let q(r) = -r**3 + 3*r**2 - 2*r + 1. Let p be q(f). Let n = -218 - -7193/33. Is n bigger than p?
False
Let v be 6 + 35/(-7) - -10*8. Suppose v*s = 84*s + 231. Do s and -78 have the same value?
False
Let u(l) = -l**3 + 19*l**2 + 16*l + 48. Let j be u(20). Which is smaller: -31 or j?
j
Let n be 9 - (-39)/(-27)*-51. Which is smaller: n or 83?
n
Let c = -91 + 193. Suppose 0*y + c = 2*y. Let j be (-2)/(-9) - y/108. Is j equal to 1?
False
Let s(a) = 3*a**3 - 51*a**2 + 37*a + 16. Let v be s(16). Is -162 at most v?
True
Let r be 65/9 + 14/(-63). Which is greater: 11 or r?
11
Let w be (-6)/(12/(-10)) + 0 + -6. Which is smaller: 5/21 or w?
w
Let m be 2/7 + 2780/70. Suppose -12*x + m = 8*x. Which is greater: -1 or x?
x
Suppose 5*s + 12 = 4*f, -2*s = 3*f - 7 - 2. Let h be f - (-1 + 0 + -2). Suppose 0 = -2*t - 0*t + 8. Are h and t equal?
False
Let f = -1988 + 133199/67. Are -1 and f non-equal?
True
Suppose -4*b = -20 - 184. Let d be (4 - 30/12) + b/2. Are 29 and d equal?
False
Let y(t) = 3*t + 1. Let c be y(-1). Let a = c - 3. Which is smaller: a or -25/6?
a
Let y = -1026 - -1062. Which is bigger: 2/19 or y?
y
Suppose 0 = 8*u - 3*u - 40. Suppose -7*i = -3*i + u. Which is bigger: i or -3/5?
-3/5
Let x = 262/201 - -2/67. Let a = -3.393 + 3.4. Let k = -0.093 - a. Which is greater: k or x?
x
Let a(l) = -l + 16. Let h be a(7). Suppose -3*q + 0*q = -h. Suppose 48 = 2*y - 0*t - 2*t, -q*y - 2*t + 72 = 0. Is 24 greater than y?
False
Let f be (-2)/3 + 30/((-15)/3). Which is smaller: f or -8?
-8
Suppose 0 = 15*l + 280 - 1285. Is 67 bigger than l?
False
Let a(h) = -5*h + 45. Let z be a(9). Suppose -4*m + 3*d = -0*m + 64, 2*m + 2*d = -46. Which is bigger: m or z?
z
Let x = -14.2 + 14.3. Let g = -27 + 18. Let m = g - -5. Is m at most x?
True
Let a be (-3)/(4 + 335/(-80)). Suppose 2*o - u = -5, o = -0*o - 4*u - a. Which is bigger: -5 or o?
o
Suppose 10*d + 2 = 11*d. Suppose -7 = -5*c - 2. Let x be (c/((-1)/(-2)))/1. Is d smaller than x?
False
Suppose -4*t + 1 = -2*o - 1, -t - 3*o + 11 = 0. Let a(v) = -v**2 + 7*v - 5. Let q be a(7). Let g = q - -2. Is g >= t?
False
Suppose -3*k + 28 = -c, -4*k - 8 = -7*k - 4*c. Let d be (8/(-20))/(k/(-10))*-2. Is -1/30 at least as big as d?
True
Let a be (((-96)/(-40))/(-6))/(704/70). Which is greater: a or -1?
a
Suppose 38 - 28 = -2*i, v + 2*i + 3 = 0. Is v >= -10?
True
Suppose 3 = v + 5*c + 1, -2*c = -2. Let x = v + 7. Is 2 equal to x?
False
Let w = -22.8 - -172.8. Which is smaller: 1 or w?
1
Let n be -1*(2 + -1 + -52). Is n greater than 50?
True
Let v be (-48)/(-312) + 214/299. Which is smaller: v or 1?
v
Let z = -2743/88 + 245/8. Suppose -2 = 3*n + 4. Which is bigger: z or n?
z
Let q be 4 - (81/(-6))/(-3). Let c = 0.26 + -0.12. Let p = -3.14 + c. Is p not equal to q?
True
Let l = 1.9735 - -0.0265. Which is smaller: l or 10/3?
l
Suppose l - 5*h - 319 = 0, 3*l - 8*h + 5*h = 969. Is 323 bigger than l?
False
Let t be (-10 - -6)*((-13)/4 - -1). Is t bigger than 12?
False
Let i(t) = -29*t + 188. Let z be i(6). Is 14 at most z?
True
Suppose 4*a - 2*g = 6, 4*g = 7*a - 3*a. Suppose -4*q + 0*z - 4*z - 28 = 0, 2*z = -a*q - 17. Is -0.1 at most q?
False
Let u = -0.411 + -2.589. Which is greater: u or -1/9?
-1/9
Let z be -65 + 65 - 14*-29. Let o = -30/19997 - -48852851/119982. Let x = z -