 + 34*h**2 - 74*h - 92. Let i be u(-36). Is -1/23 != i?
True
Suppose w + 6 = 3*a, 3*a - 6 = -0*a - 3*w. Suppose -4*m + 3*m = a*m. Which is bigger: m or -6?
m
Let n be (-18)/27 + 16/6. Suppose s - 1 = -n. Which is bigger: s or -6/23?
-6/23
Let b = 61.49 + -9.49. Which is bigger: 1 or b?
b
Suppose -320 = -0*d - 32*d. Which is smaller: d or 23?
d
Suppose -1 + 6 = t. Suppose 3*p + 84 = p. Let f be (-2)/t - p/60. Does -1 = f?
False
Let t = 4.2 + -4. Let x = 133 - 1727/13. Is x smaller than t?
True
Let j be ((-2)/4)/((-2)/10). Suppose -30*i = -40*i + 40. Which is bigger: j or i?
i
Suppose -86*q - 7 = -79*q. Let h be (-16)/(-36)*58/(-80). Let b = h - -1/10. Is b greater than or equal to q?
True
Let a = -8.46 - -0.46. Let n = a + 1. Is 1 greater than or equal to n?
True
Let j = 1972/40379 - 2254567960/270498921. Let p = -2/6699 - j. Let k = 8 - p. Is k not equal to -1?
True
Suppose -4*b = -4*k, 4 + 3 = 3*b + 4*k. Suppose -12*a = -11*a + 3. Are b and a nonequal?
True
Let q = -1309/2 + 653. Which is greater: -9 or q?
q
Let n(b) = 3*b. Let w be n(-2). Let p be 26/(8/(-84)*-7). Suppose -6*f = 9 + p. Is w at most f?
False
Let w = 45.1 - 43. Let b = w - 2. Let l = 11.5 - 12. Which is greater: b or l?
b
Let k = 18 - 18. Let f = 918899/36 - 25515. Let o = -39/4 + f. Are k and o non-equal?
True
Let c = 0 - 0. Let l = 907/34 + -53/2. Is l at least c?
True
Let q = -216 - -215.89. Which is smaller: q or 4?
q
Let v be 2*(-121)/22 - -11. Which is smaller: 2/145 or v?
v
Suppose 86*z = 91*z + 20, 0 = p + 4*z + 16. Let o = 1194 + -56116/47. Is o greater than p?
True
Let m = -1/56 - -125/728. Let v(r) = -3*r - 4. Let f be v(-3). Suppose f*j + 6 = 1. Is m smaller than j?
False
Let o = 0.5 + -28.5. Let h = -28 - o. Does -1/2 = h?
False
Let y(v) = v**3 + 5. Let b = -19 - -9. Let o = b - -10. Let a be y(o). Which is bigger: a or 4?
a
Suppose 10 = -n + 3. Let g be 14/98 - 132/n. Let l = 19 - g. Which is smaller: l or -1/16?
-1/16
Let u be ((-2)/11)/(60/(-660)). Which is greater: u or -3.27?
u
Let v be (-204 - -3)/(-1*2 - -1). Are v and 199 equal?
False
Suppose -11310 = -19*k - 3368. Is 415 >= k?
False
Let o be (-4)/(-14) - (-1800)/168. Are o and 7 non-equal?
True
Suppose 4*m - 932 = -v, -5*m - 5*v + 1150 = -0*v. Suppose n = 7*n + m. Let z be (-1)/4 - n/36. Are 2 and z equal?
False
Let q = 121 - 118. Suppose -31 + 16 = q*s. Let b(h) = -h**2 - h - 2. Let o be b(-2). Which is bigger: o or s?
o
Let k = -15 + 9. Let q = -0.01 - -1.11. Let x = -1.1 + q. Which is greater: x or k?
x
Let f = 2.89 + -2.93. Is f at least 53?
False
Let i be 282/21 + (-12)/28. Let t = i - 13. Suppose t = 7*y - 12*y. Which is smaller: -5/7 or y?
-5/7
Suppose 3*b - 5*y + 32 = 2*b, -y - 75 = 2*b. Which is greater: b or -0.2?
-0.2
Let i be 6/5*(-245)/14. Let o(y) = -y**3 - 7*y**2 - 7*y - 6. Let v be ((-30)/(-12))/((-1)/2). Let a be o(v). Is a at least i?
True
Let g(v) = 2*v - 3. Let l be g(5). Let p(w) = -w - 3. Let b be p(l). Let r be (-2 + b)/(-2) + -3. Which is smaller: 3/2 or r?
3/2
Let f be 4844/(-3872) + (-65)/(-52). Is f != 0?
True
Let d be (96/(-54))/(-8) + 2/(-9). Suppose 28*p - 27*p - 5 = d. Which is smaller: -2 or p?
-2
Let o be 175/(-245) - (-39)/(-14). Let l = 1 - 1. Is l < o?
False
Let o = 16 + -4. Let u be -30*(-4)/(32/o). Let r be (-4)/22 - u/(-66). Do 0.1 and r have the same value?
False
Let x = -3 - -5. Suppose 5*r - x*r = 6. Let c = r - 1. Are c and -1/5 unequal?
True
Let r(h) = -94*h + 263. Let z be r(-3). Is z bigger than 545?
False
Let s(x) = -2 + 2*x + 3*x + 2*x**2 + 0*x**2. Let r be s(-6). Let i be 3/20 - 16/r. Is 1 less than or equal to i?
False
Let h be 8 - (-1287)/(-144) - -1. Suppose p + 3 = 10. Let x = p - 6. Does h = x?
False
Let y = 0.591 - -134.409. Is y >= 5?
True
Suppose f = -0 - 13. Let h(c) = c**3 + 11*c**2 - 12*c + 28. Let q be h(-12). Let a = 14 - q. Which is greater: a or f?
f
Let c(p) = -44*p + 2. Let w be c(1). Let t be w/(-5) - (-3)/5. Let l = 19/2 - t. Which is greater: 0 or l?
l
Let w = -5/54 - 19/378. Is -126 at most w?
True
Suppose 2*r + 141 = -r. Suppose -7728 = 38*o + 34*o + 96*o. Is r <= o?
True
Let r(n) = -2*n - 2. Let k be r(6). Let m be (-1 - 1)*(-4)/k. Let t = 203 + -203. Is t <= m?
False
Let i = -397 - -394. Which is greater: -9/5 or i?
-9/5
Let d = -529/2 + 34407/130. Which is greater: -1 or d?
d
Let j(b) = -b - 4. Let f be j(-4). Let o = 5 - -7. Let c be o/104*(-4 + 0). Are c and f non-equal?
True
Let o = -1.1 + 1. Let s be (1*(-186)/(-21))/8. Let d = -6/7 + s. Is o at least as big as d?
False
Let f be 40/25 + 2 + 6/15. Let c be 3 - 2564/3408*f. Is 1 not equal to c?
True
Let s = 64 + -64. Suppose s = -4*u - 5*l + 3, 5*l + 2 = -3*u + 8. Which is smaller: 2 or u?
u
Let w = -0.0516 - -0.0316. Is w > -0.19?
True
Let f be (0 - (-75)/(-40))/(-6). Let y = f + -129/464. Is y equal to 0?
False
Suppose -a = s - 11, 3*s = -s + 2*a + 50. Suppose 23*g + s = 21*g. Are -6 and g nonequal?
False
Suppose -1 = z - 3. Suppose -2*c + 56 - 18 = 0. Suppose 4*k + 4*h - 12 = 0, -2*h + 6*h = -5*k + c. Is z greater than or equal to k?
False
Let s(g) = 7*g - 42. Let l(h) = -h**2 + 25*h + 60. Let w be l(27). Let f be s(w). Which is smaller: f or 12?
f
Let q(b) = b**2 + 11*b - 6. Suppose -7*o - 36 = -3*o. Let z be q(o). Let l be (z/36)/(4/6). Are l and -5/17 unequal?
True
Let r be -4 - (2 + 0 + -6). Is r bigger than 0?
False
Let i = 309 + -308. Let m be 3396/18 - 2/(-6). Let s = 1321/7 - m. Which is bigger: i or s?
i
Let p be (4/3)/((-1)/(-3)). Suppose p + 8 = 4*d. Suppose -i = -2*x - d, 3*x - 5*i = -3 - 5. Which is bigger: -6/7 or x?
-6/7
Let r = 79.4 + -99.4. Let v be (-22)/(-12) - (-4)/(-12). Is v equal to r?
False
Suppose 0 = -n - 0*n - 4*i - 6, -2*n + 2*i = -18. Let y = 0.1 + 0.1. Let l = y - 1.2. Is l greater than n?
False
Suppose 0 = 2*i + 15*k - 11*k + 334, 0 = -2*i + 3*k - 334. Does i = 0?
False
Let p(q) = -q**3 + 5*q**2 + 2*q - 5. Suppose -3*r - 27 = -4*m, 3*r + 3 = -2*m - 6. Let i be p(m). Is i less than 18?
False
Let m be (1/(-4))/((-2)/24). Suppose 2*a = p + 17, -m*a + 39 = a - 3*p. Is a at least as big as 9?
False
Let c(z) = z**2 - 2*z + 16. Let l be c(11). Let x = 235/2 - l. Are 1 and x nonequal?
True
Let u = 17 - 15. Suppose -43 = u*a + 13. Let h be 132/14 - (-12)/a. Is 8 at least h?
False
Let c = -5 + 7. Let i(w) = w**3 + 9*w**2 + w + 9. Suppose -43 = 5*p + 2*f, 5*p - 3*f = -37 - 11. Let t be i(p). Is c > t?
True
Let n(i) = 7*i**2 + 3*i + 24. Let a(o) = 6*o**2 + 3*o + 23. Let d(h) = 6*a(h) - 5*n(h). Let f be d(0). Does f = 18?
True
Suppose 1682 - 258 = 4*n. Let u = n - 17089/48. Which is bigger: u or -1?
u
Let r(s) = -2*s**2 - 32*s - 81. Let i be r(-11). Is i < 34?
True
Let g = -53 + 56. Let u be (-4)/g - ((-7)/21 - 0). Is 3/47 < u?
False
Let a(w) = w**2 + 4*w. Let g be a(-6). Let y = g - 27. Let m be y/7 - (-2)/14. Which is bigger: -6/7 or m?
-6/7
Let o = -77 - -78. Does o = -5/98?
False
Let a = 15 + -12. Suppose -a*w + 0*w - 57 = 0. Let f = w - -31. Which is smaller: 14 or f?
f
Suppose -4*w + 0*w = w. Suppose 5*q + w*q = -q. Which is greater: q or -1/107?
q
Let k = -51 - -53. Let j = k + -0.7. Let c be 22/30 + 4/(-10). Is c != j?
True
Let t = 241 + -90. Let v = 151.07 - t. Let i = -0.2 - 0. Is v bigger than i?
True
Let f = 4 - 12. Let p(h) = -h - 9. Let j be p(f). Let k be (4 + -9)/5 + 12 + -2. Is k >= j?
True
Let h = 7 + -23. Let v = h + 25. Let f be ((-24)/9)/(3/(-9)). Which is greater: f or v?
v
Let j = -5.19 - -5.1703. Which is smaller: j or -1/3?
-1/3
Let h(z) = -11*z - 6. Let a be h(-3). Let i = a - 26. Which is greater: i or 3/41?
i
Let h = -15.9 + 17.8. Let g = 0.7 + -2.8. Let m = g + h. Which is greater: -0.03 or m?
-0.03
Suppose 5 = -11*j - 17. Let b be 2/(-6)*11 - j*2. Which is greater: -0.3 or b?
b
Suppose -5*a = -0*a - 25. Let c(l) = l**3 - 5*l**2 + l - 7. Let w be c(a). Let x be 8/20 - w/(-5). Which is smaller: 2/19 or x?
x
Let x = 210599/6552 - -1/6552. Is x > 33?
False
Suppose 0 = -4*f + 19 - 15. Which is greater: f or 2/91?
f
Let k be -1*(1 + -1 - 17). Suppose 39 = x + 20. Let l = k - x. Is l at most as big as 0?
True
Let r = -50 - -47. Let l be 0/((-4)/(-2)) - r/63. Is l bigger than -1/3?
True
Let z(q) = q**2 - 8*q + 18. Let y be z(4). Suppose -y*a + 3*r - 4 = 0, r + 8 = a + 2*r. Is 2 bigger than a?
False
Let c(r) = -r**3 - 2*r**2 + r - 4. 