t l?
True
Let s be (4/6)/(7*132/(-6804)). Is s greater than or equal to -6?
True
Let j = -206 + 194. Let b be j/(-8)*4/3 - -43. Which is smaller: b or 43?
43
Let m(z) = 35*z. Suppose 17*w - 4 = 21*w. Let j be m(w). Suppose 3*t + 13*t + 560 = 0. Is t != j?
False
Let q be (-117 - -117)/(-4 - 1). Which is bigger: 52/193 or q?
52/193
Let s be 10/((-300)/(-18))*(7 - (-4)/(-2)). Suppose 0 = 2*c + 3*c + 25. Which is bigger: s or c?
s
Suppose 6*x + 22 = 5*x. Let i be ((-1260)/(-9))/14*1*-2. Which is bigger: x or i?
i
Suppose 17*b + 576 = b. Suppose -3*t + t + 24 = 0. Let r = t - 47. Which is bigger: r or b?
r
Suppose -o = o - 88. Let f = 26 - o. Let g = 14 - 33. Which is greater: g or f?
f
Let q = -26431/2029363 - -1/4327. Is 2 >= q?
True
Let b = -382/7 + 309809/5677. Is 1 != b?
True
Suppose -5*j - 194 = 2*l + 655, 0 = 2*l + 4. Let u = j - -198. Is u at least 28?
True
Let a(c) = c**2 + 48*c - 1305. Let o be a(-74). Which is smaller: 617 or o?
617
Let a = 6763 - 60866/9. Let v(p) = p + 1. Let i be v(1). Let y be i/7 - (-27)/(-21). Is y less than a?
True
Suppose 6 = -2*l, -3*z + 1909 = -l - 755. Is 887 at least z?
True
Let j be (-12 + (-1218)/(-105))/((-5158)/(-10)). Is 1 bigger than j?
True
Let u = 1 - 0. Suppose -4*v + 2 = -n, -5*n - 3*v - v = -110. Suppose -n = -9*s + 9. Is u equal to s?
False
Suppose -3*q + 105 = i - 8, -4*q + 4*i = -156. Suppose -q = 2*m + 122. Let o be (-3 - 5/(m/52))*20. Which is smaller: 3 or o?
3
Suppose 0 = 38*j - 31*j + 21. Let z(g) = -g - 8. Let h(c) = c - 1. Let r(u) = j*h(u) - z(u). Let q be r(-3). Which is greater: q or 16?
q
Suppose u + 4*f + 5534 = 0, -173*u + 4*f = -177*u - 22208. Is u equal to -5558?
True
Let f = -298 - -301. Let t be (-1 - (-1 - f)) + 966/(-301). Which is bigger: t or 0?
0
Let w = 4736534/29 + -163524. Let c = w + 196. Which is smaller: c or 2?
c
Let q be ((-394)/(-14))/(213/852). Does 114 = q?
False
Let n be (182/(-637) - (-4407)/(-63)*-1)*3. Does n = 208?
False
Let g = -5 + 18. Let q(u) = 79*u - 2041. Let n be q(26). Is n greater than g?
False
Let l = -9699/11 - -837. Is l != -44?
True
Let b be (-14 - -394)/(-20) + 13. Which is greater: b or -51/8?
b
Suppose 0*f - f - 170 = w, -f + 660 = -4*w. Let j = w + 240. Suppose -131*p = -122*p - 666. Is p at most j?
True
Let r(o) = 7*o**2 - 43*o + 67. Let n be r(3). Is 1/8631 greater than n?
False
Suppose 0 = 5*v - 5*k - 695, 11*k - 9*k + 556 = 4*v. Is v greater than 553/4?
True
Suppose 0 = 5*n + 28 - 73. Let y be (-124)/(-10) + (-6)/(18/6). Is n bigger than y?
False
Suppose 99 = 59*z - 48*z. Let b(j) be the first derivative of -2*j**2 + 37*j - 1. Let s be b(z). Which is smaller: s or 0?
0
Let x = 0.047 - -38.953. Let l = x + 7. Let i = l + -48. Is 3/5 < i?
False
Let h = -48836/11 - -4440. Which is bigger: -1 or h?
h
Let p = 11 - 13. Let k = -17092539/14 - -1219860. Let j = k - -1035. Which is smaller: j or p?
p
Let i = 146.9 - 147. Let w = -1.93 - 14.47. Let n = w - -0.4. Which is smaller: i or n?
n
Suppose 6*d - 4*n = 4*d + 62, -3*n = 15. Suppose -27*t + d*t = 36. Is t bigger than 24?
False
Let a = -3838 + 3901. Which is smaller: a or 125/2?
125/2
Let d = -0.32889 - -0.04889. Is d <= -97?
False
Let g = 24 + -22. Let f be 100/40*g/1. Suppose -5*z + 59 = -r + 16, -4*r = f*z - 28. Is z <= 6?
False
Suppose 14*m + 85 = -41. Let y(q) = q**2 + 23*q + 61. Let h be y(m). Which is bigger: -66 or h?
h
Let n(w) = -14*w + 1. Let b be n(-7). Suppose 0 = 3*g - 3*z - 18, 4*g = -31*z + 28*z - 11. Let v be ((-10)/(-4) - g)*(-44)/b. Is v less than 0?
True
Let z(j) = -59*j - 885. Let n be z(-15). Is n > 28/1689?
False
Let p(u) = -u**3 - 14*u**2 - 14*u - 9. Let i be p(-13). Let w be 380/i + (3 - 4). Suppose 11*f = 17 - w. Is -4 smaller than f?
False
Let d = 445 + -256. Let q = d + -200. Which is smaller: -7 or q?
q
Suppose 0 = 222*i + 24796 + 38474. Which is bigger: -293 or i?
i
Suppose -z + 6 = 5*f + 20, -4*f + 4 = -3*z. Let n(y) = 4*y**2 + 11*y + 3. Let r be n(f). Which is smaller: -5 or r?
-5
Suppose o - 17 = -3*z, -o + 5*z = 3*z + 8. Suppose 1 = s - o*s. Which is smaller: s or 2/1011?
s
Let a(d) = -19*d + 7. Let s be a(0). Let i be (3 + (-77)/33)/((-41)/s). Which is bigger: 0 or i?
0
Suppose -3*l = 3*l - 354. Suppose 0 = -7*p - 123 - l. Suppose -5*y + 8*y = -87. Which is greater: y or p?
p
Let o = -10 + 20. Let t be 396/2144 - o/80. Does t = 1?
False
Let l(k) = 26 + 2*k + 11 - 5. Let z be l(-17). Let n(m) = -2*m - 3. Let j be n(z). Is j greater than or equal to 1/45?
True
Let v(r) = 2*r**2 - 16*r + 5. Let g be v(8). Suppose -28*n + 140 = -g*f - 33*n, 0 = 4*f + 3*n + 107. Which is smaller: f or -26?
-26
Let v be 0 + 0 + 3/(18/318). Let w = -24.55 + 29.55. Which is bigger: w or v?
v
Let t be (0 - 3) + 53268/2907 + -3. Let r = -3/323 - t. Are r and 0.1 unequal?
True
Let j be ((-49)/(-1 - -2))/(0 + 1). Are -47 and j nonequal?
True
Let a = 11316 + -11951. Do -635 and a have the same value?
True
Suppose -1152 = -6*q - 1158. Let m(y) = -2*y + 3. Let o be m(4). Let p be -2*o/(10/(-3)). Which is bigger: q or p?
q
Let u = -34449 + 34451. Which is smaller: u or 121/152?
121/152
Let t be ((-1030)/11948)/((-4)/10). Which is smaller: t or 0?
0
Suppose 15*f - 4 = 13*f. Let w be (f - 20)*(-4 - -3). Let l = w + -13. Are 3 and l non-equal?
True
Let u = -209 - -433. Let v = u + -122. Let s = 102.08 - v. Is 0 bigger than s?
False
Let s = -0.074 - -43.074. Let v = 4.4958 + -3.4958. Is s smaller than v?
False
Let h = 24108 - 19878. Do h and 4230 have the same value?
True
Let l be (-67)/93 - (-10)/12. Is l at most -1?
False
Let c(g) = -g**3 - 6*g**2 + g. Let u be c(-5). Suppose 9*p + 40 = 11*p. Let m be (p/u)/((-173)/3). Which is greater: -1 or m?
m
Let o = 0 - 0.16. Let l = o + 0.06. Let r(p) = 11*p**2 + 91*p. Let x be r(-8). Are l and x nonequal?
True
Let j = -7066 + 7071. Which is bigger: j or -2?
j
Suppose -5*y - 23 = -n + 8, -4*y = 3*n + 2. Let s(l) = l. Let z be s(n). Suppose -b + 14 = 4*k - z*b, b + 3 = k. Are k and 2/51 nonequal?
True
Let t(a) = -66*a - 140. Let r(l) = -5*l - 1. Let j(m) = 5*r(m) - t(m). Let v be j(-3). Which is smaller: 26 or v?
v
Let l = 21/23 - 2796/115. Is -24 greater than l?
False
Let x be (-28)/21*(-24)/32*-118. Is -118 > x?
False
Suppose -2915 = 24*f + 2677. Which is smaller: f or -465/2?
f
Let v be (-600)/3 - 7/(-14)*2. Let y = -211 - v. Is y greater than -13?
True
Suppose 0 = -3*f - 4*v + 38, 0 = -0*f + 3*f + 5*v - 34. Suppose 0 = f*m - 31*m + 637. Which is bigger: 44 or m?
m
Let t = -4554 + 4607. Is t at least as big as 0.5?
True
Let o be (2 + (-164)/(-5))/((-84)/(-45)). Let w = -315 - -593/2. Let p = o + w. Which is greater: -1 or p?
p
Suppose 0 = 2*r + 5*i - 666, 5*i - 754 - 881 = -5*r. Do 331 and r have different values?
True
Let i(k) = -k**3 - 10*k**2 - 7*k + 38. Suppose 0 = -2*a - 4*n + 2, -n - 19 = 5*a + 21. Let o be i(a). Are o and 24 equal?
False
Let s be (-9)/162 + (-3857)/4446. Suppose -3*y - 13 = 5*b, -2*y + y + 14 = -2*b. Suppose -y*k - 1 - 3 = 0. Which is smaller: s or k?
k
Suppose -16*n = -524 - 2292. Suppose 2*k = 5*g + 53 + 35, -4*k + n = -g. Is -8 > k?
False
Let q(d) = -d**3 + 19*d**2 - 34*d - 1. Let h(v) = -v**2 - 21*v - 37. Let s be h(-18). Let y be q(s). Are y and -1/169 equal?
False
Let k = 13997/7 + -1991. Suppose -7 - 17 = -8*q. Suppose -5*v = q*d - 32, -5*d = v + 25 - 71. Is d >= k?
True
Let i = 1 - -8. Let d(h) = -h**3 + 10*h**2 - 10*h + 12. Let t be d(i). Let u be (6 + -7)*(-9 + 2). Which is greater: u or t?
u
Let p be -1 - 980/(-495) - 1. Let y be (-7)/(-14)*-2 - (-1 - 1). Is y less than or equal to p?
False
Let z = -3452/16405 - 24/965. Which is greater: 22.1 or z?
22.1
Let f = -3 - -6. Suppose 31 = 5*w + 3*y, 5*w - 3*y = -11 + 60. Suppose -f*m = -w*m. Which is bigger: -3 or m?
m
Suppose 8536 = -13*v + 2*v. Let l = v - -988. Which is greater: -2 or l?
l
Let q = -0.19 + -0.21. Let o = 0.229 - -46.771. Which is greater: q or o?
o
Let r be (3 + 0)/(42/(-44)). Suppose -5*j - 82 = -5*g - 117, 10*g + 10 = -2*j. Which is greater: g or r?
g
Let w be 40/50 + 8/40. Is 3/251 at most w?
True
Let i be (10 + -10)/(-2 + 1). Suppose i = 2*g - b + 7, 0*g = 2*g + b + 5. Which is bigger: g or -7/4?
-7/4
Suppose -4*w = -5*u + 98 - 137, -2*u - 30 = -4*w. Let z(n) = -n**3 - 4*n**2 + 4*n - 3. Let l be z(-5). Let d be (w/12)/(1/l). Is d greater than or