. Do 4 and b have different values?
True
Let p = -2936/55 - -266/5. Let l(x) = -x**2 + 4*x + 6. Let k be l(5). Which is greater: p or k?
k
Let t = -0.52 - 22.48. Is -1.1 greater than or equal to t?
True
Let z(q) = -q**2 - 6*q + 6. Let o(a) = -2*a**2 - 11*a + 11. Let r(w) = 3*o(w) - 5*z(w). Let y be r(-4). Which is smaller: y or -3/2?
-3/2
Let g(d) = d**2 + 7*d - 8. Let u be g(-7). Let x be u*(3 + 604/(-208)). Let t be 0*(2 - 3)*-1. Which is smaller: x or t?
x
Suppose -2*x + 162 = 4*x. Let h = 39 - x. Let m be (68/h)/(1/(-3)). Is -16 > m?
True
Let j = 85.872 - -0.128. Let u = -79 + j. Let p = 0 - 0. Which is smaller: u or p?
p
Suppose 0 = -4*q - 2*y + y - 181, -5*q - 2*y - 230 = 0. Let z be 1 + 1 + q/28. Which is smaller: 1 or z?
z
Let x = -246 + 300. Is x bigger than 54?
False
Let x(d) = -d**3 + 5*d**2 + 2*d - 7. Let n be x(4). Suppose i - 4*u - 137 = -n, -344 = -3*i - 4*u. Is 115 at least as big as i?
False
Let b be 0 + (-124)/(-195)*-1. Let m = b + -2/65. Let s = -12.931 + -0.069. Which is bigger: m or s?
m
Let h(r) = r + 1. Let t be h(-1). Let n = -99.7 - -3.7. Let a = -96.2 - n. Is a bigger than t?
False
Suppose -12 = -4*x + 4*a, -3 = x - 5*x + a. Let k be (22/11)/(60/18). Which is smaller: x or k?
x
Let b be (834/8)/((-177)/(-708)). Is 417 smaller than b?
False
Let v = 24 - 21. Let k be 8/(v/((-11)/(-3) + -4)). Which is smaller: k or -1?
-1
Let f be 4*(-6 + 7256/1208). Is -1 smaller than f?
True
Suppose -4*x - 18 + 4 = 3*b, -3*x = -3*b + 21. Let z be x*1*(-3 - -2). Suppose 0 = 5*i + z*o - 5, -o + 4 = 4*i - 6*o. Which is smaller: i or -1/4?
-1/4
Let x be 7/(154/(-774)) + 8/44. Is x less than or equal to -2/19?
True
Let r = 121891008/79764545311 - 164/107701. Let u = -3399404654/30365051 + r. Let p = 112 + u. Is p at least 1?
False
Let p(o) = o + 5. Let w be p(-2). Suppose -4*k + 7 = w. Is 10/9 smaller than k?
False
Let g = 1.04758 - 0.04758. Let p be (26/(-8))/(2/(-16)). Let y = 105/4 - p. Which is greater: y or g?
g
Suppose -26*m = -21*m. Suppose m = 31*r - 36*r + 125. Which is bigger: -0.3 or r?
r
Suppose -211 + 219 = 4*h. Which is smaller: -7 or h?
-7
Let k be 24/13 - (-22)/143. Suppose -4*v = 2*m - k*v - 10, v = -5*m + 45. Let w be (-6)/12 - (-37)/m. Are 3 and w non-equal?
True
Let w = -6.4 - 191.6. Are w and 0 non-equal?
True
Let b = 217 - 216. Which is smaller: 11 or b?
b
Let r be ((-33)/(-2))/(1/2). Suppose r = -3*a + 3*z, -4*a + 6*z - 3*z - 40 = 0. Suppose m = -0*s + 5*s + 40, -5*s + 4*m - 40 = 0. Is a at least as big as s?
True
Let f = 20435/27 - 757. Suppose -2*a + 0*r - r = 5, -3*a - 3*r - 15 = 0. Which is bigger: a or f?
a
Suppose 4*o - 33 = 5*r + 27, 0 = -2*o + r + 24. Is o <= -2?
False
Let p(g) = -2*g**2 - 1 + 3*g**2 + 3*g + 0*g**2 - g**3. Let q be p(2). Is 12/13 less than or equal to q?
True
Suppose -9 = -4*d + 3, 0 = -5*c - 4*d + 7. Let i be c/(-2 - -1)*-1. Let z(f) = 5*f**2 - 2*f - 1. Let k be z(i). Which is smaller: 5 or k?
5
Let w be -1*1/2*-2. Let t be w/((-1)/(4 + -13)). Let l be ((-3)/t)/((-1)/9). Is l at most 1?
False
Let i be 0 + (-2)/(5 - 3). Let s be 2/(-9) - 682/495. Is s greater than i?
False
Let n be ((-5332)/258)/((-1)/18). Is 369 bigger than n?
False
Let b be -3*(2688/(-18))/7. Which is bigger: b or 66?
66
Suppose 2*i - 15 = 2*v - 3*v, 45 = 2*v - i. Let w be (-14)/v + 26/3. Are w and 9 unequal?
True
Let v be ((-3)/4)/((-39)/104). Let l be 440/460 - -1*(v + -3). Are 0 and l nonequal?
True
Let b = 0.9 + -1. Let p be (6 - (5 - 1)) + -4 + 5. Suppose 0 = -p*i - 56 + 5. Is b not equal to i?
True
Let y be 714/87 - (45 + -35). Which is bigger: y or -1?
-1
Suppose 3*h + 5*f + 82 = f, -2*h = 3*f + 56. Is -29 less than h?
True
Let x = 420.2 + -323. Which is smaller: -0.1 or x?
-0.1
Let l be (-15*5/(-30))/(-5) - -5. Let p be 4/18 + (-318)/(-27). Let v be ((-10)/(-8))/(3/p). Which is smaller: v or l?
l
Suppose 4*o = 5*z + 19, -o - 3*z - 129 = -121. Which is smaller: o or 5/3?
o
Let o = -13 - -12.9. Let a = 8434/31 - 272. Which is bigger: a or o?
a
Let f = 14 + -15.7. Let u = f - -1.8. Let m = 11.8 + -12. Are m and u nonequal?
True
Let o be (-58)/6 + 10/15. Let l(x) = -x**2 - 9*x + 1. Let j be l(o). Let q = j + -4. Is -3 at most as big as q?
True
Suppose 2*x - 2*c = -2*x + 36, 0 = -3*x - 5*c + 14. Let t = -4 + 4. Which is greater: t or x?
x
Let w(r) = -r**3 + 2*r**2 + 3*r. Let v be w(3). Let h = 2510 - 2508. Is v > h?
False
Let m = -25/3 + 7. Let f = 26.3 + -14.5. Let q = f - 12. Which is bigger: q or m?
q
Let l = -40 + 39. Which is smaller: l or -1/161?
l
Let w(l) = 5*l**2 + 28*l - 55. Let h be w(-15). Which is greater: h or 649?
h
Let c = 198 + -251. Is 2 at least c?
True
Let z = 0 - 4. Suppose -72 = -3*m - 15*m. Suppose 3*c = w + 3*w + 24, 4 = 4*c + m*w. Does z = c?
False
Let p = -22 - -24. Suppose 4*s + p = 18. Let y = s + -3. Which is greater: 1/35 or y?
y
Let s = -325.57 - -327. Let c = -0.03 + s. Let k = c + -1.6. Is k equal to 0.1?
False
Let u = 161304/31 - 5204. Which is smaller: -2 or u?
-2
Suppose 0 = v - 23 + 35. Let o = 81 - 42. Suppose 0 = -h + 3*f - 14, 4*f + 2 - o = 3*h. Is v less than h?
True
Let x = -2288.8 + 2288. Let c = -2.8 + 4. Let z = x - c. Is -8 smaller than z?
True
Let z = 88/7 + -680/63. Is z at most 5/2?
True
Let a(b) = -2*b**2 + 38*b. Let r be a(19). Which is smaller: r or 9/34?
r
Let s(i) = -i**2 + 14*i + 16. Let a be s(15). Let q be 0*a*(-2)/6. Suppose 5*w + 2*f - 8 = -q*f, 3*w - 4*f = -16. Which is smaller: 3/5 or w?
w
Suppose -3*f + 0*r + 38 = -4*r, 3*r - 66 = -3*f. Let v be 4/f - (-200)/396. Let k(g) = -g**2 + 18*g - 16. Let h be k(17). Is h greater than or equal to v?
True
Suppose 0 = -3*o + 7*o. Suppose 17*u - 14*u = o. Which is smaller: -1/8 or u?
-1/8
Let z = 7 + -5. Suppose -z*u = -85 - 71. Suppose -4*l + 63 = -3*a, -u = -4*l - 2*a - 0*a. Which is smaller: l or 0?
0
Let f = -247/252 + 15/28. Let a(l) = -l**2 + 13*l - 22. Let m be a(11). Which is greater: f or m?
m
Suppose 3*r = 8*r. Let b = -240989/65 + 18688/5. Let n = 30 - b. Is n bigger than r?
False
Let m = -1 + 2. Let n = -1 + m. Let v = -3.9912 + -0.0088. Which is smaller: v or n?
v
Suppose -401 = 13*h - 1805. Is h less than or equal to -2/3?
False
Suppose 5*c + 65 - 195 = 0. Is c not equal to 23?
True
Let m = 10795/61 - 177. Suppose -5 = -p - 1. Suppose 0 = -0*f + 3*f - 5*a - 2, p*f - a + 3 = 0. Which is greater: f or m?
m
Let t(n) = -24*n + 3. Let z be t(1). Let x be z/(-12) - (1 - 0). Does x = 0?
False
Let w be (8/5)/(70/525). Which is smaller: 1 or w?
1
Let z(b) = -b**3 - 7*b**2 + 7*b - 25. Let u be z(-8). Let q(p) = 16*p. Let r be q(-1). Is u not equal to r?
True
Let z(j) = -j + 13*j**2 + 2*j - 17 + 16. Let o be z(1). Suppose -5*t + v = -o, 4*t = -t + 5*v + 25. Is 5/2 < t?
False
Let u(a) = -2*a**2 + 4*a + 4. Let d be u(4). Let p = 25 - 35. Let b = d - p. Is -3 less than b?
True
Suppose -24 = -14*w + 10*w. Let k = -31.4 + 34.4. Which is greater: w or k?
w
Suppose 0*k - 3*k = 0. Suppose k = 3*a + v + 13 + 9, -5*v + 10 = -5*a. Which is bigger: -0.2 or a?
-0.2
Let n = -1148 + 1147. Is -3/421 bigger than n?
True
Let s = 430/11 - 39. Which is smaller: 1 or s?
s
Let w = 2 - 0. Suppose -9*c + 12*c = 9. Suppose 0 = 8*m - 11*m + c. Are m and w equal?
False
Let l = -30 - -29. Which is greater: l or -451?
l
Let g = 60820/763 + -558/7. Which is smaller: g or 0?
g
Let w = 87 - 90. Let u be (-18)/10 + 3 + (w - -4). Do 1 and u have the same value?
False
Suppose 3*m = -5*p + 81, 14 = 2*p + 5*m - 7. Let j = -29 - -19. Let o be (j/(-90))/(2/12). Which is bigger: o or p?
p
Suppose -10*z + 501 = 491. Is z greater than 9/31?
True
Suppose v = -15*v + 624. Which is smaller: v or 40?
v
Let l = 3.8 + -4.035. Let t = l - -0.035. Let s = -0.25 - 0.05. Is s greater than or equal to t?
False
Let m(q) be the first derivative of -12 + 1/3*q**3 + 9/2*q**2 + 7*q. Let u be m(-8). Which is greater: 0 or u?
0
Let j = -119 - -123. Suppose 0 - j = -4*l. Which is bigger: 5/4 or l?
5/4
Suppose 2*y + 246 = -x, 488 = -4*y - 7*x + 4*x. Is -1 less than or equal to y?
False
Let w be (-2 + 2 - -6)*(-3)/(-207). Let a = 4 - 4. Which is bigger: a or w?
w
Suppose 4*y + 63 - 87 = 0. Suppose 0 = 5*z + 5*n + 10, 2*z - y*z + n = 3. Let p = -2/5 + 4/9. Which is smaller: p or z?
z
Suppose 593 - 5 = -7*h. Let i be 14/h + (-29)/2. Which is bigger: -14 or i?
-14
Let l = -4 - 3