 -3982. Is j <= -1092?
False
Suppose -5*o = 3*l - 1856, -4*l + 55 = -2*o + 787. Let k be (99 - 39 - 15) + 324. Is o != k?
True
Let z(a) = 23*a**2 - 18*a - 50. Let o be z(-4). Let i be (10/75)/(3*16/o). Is i <= 0?
False
Let y(m) = -67*m + 1542. Let g be y(23). Is g less than 2/4337?
False
Let u be (-1)/(133/(-1292)) + (-9)/1. Which is bigger: u or -120?
u
Suppose -k + 4*o + 166 = 0, 2*k + 3*o - 358 = -2*o. Let u = k + -439. Is -266 greater than u?
False
Let c be (-150)/15*(-8 + 2). Suppose -2*d + 12 - c = 0. Are -22 and d nonequal?
True
Let d be 42/(-252) + (-109389)/38646 + 3. Which is bigger: 0 or d?
d
Suppose 4*z - 2*s - 2 = 0, 2*s - 9 + 7 = 2*z. Let j(u) = u**3 + 8*u**2 + 8*u. Let w be j(-6). Which is bigger: z or w?
w
Let p = 23896 + -23893. Are p and 1342 unequal?
True
Suppose 3*g = 17*g + 140. Let h be g/8*(-10)/(-20) + 1. Is -0.7 greater than h?
False
Let q be (-430)/445 - 1*-1. Let d = q - 221/3916. Suppose 0*i + i = 0. Which is smaller: d or i?
d
Suppose -5 = -5*m + 5. Let r = -4718/65 + 668/13. Let q = r + 368/15. Are q and m nonequal?
True
Suppose 4*z = -z - 100. Suppose -5*w + 2*p - 190 = -0*p, 0 = w - 2*p + 30. Let a = z - w. Is a at least 21?
False
Let h be (-15)/10*(-170)/15. Suppose 15*m = h*m + 44. Let n = 5 - 28. Is m greater than n?
True
Let y = -52.02 + 51.52. Let d = -2 + 0. Let h be (-3)/36 - d/(-8). Is y at most as big as h?
True
Let q = 228 + -48. Suppose 9*h = 3*h + q. Is 34 greater than h?
True
Let w = -35.497 + 35.917. Which is smaller: -33 or w?
-33
Suppose i - 119244 = -75*i. Are 1569 and i unequal?
False
Let d = -3 - -2. Let h be 13*2*5*2/20. Suppose -b + h = -3*i, 0 = 4*b + 5*i - 4 + 3. Which is smaller: b or d?
d
Let c = 23359/2039970 - 1/7698. Let z be ((0/(-7))/10)/(0 - -3). Which is smaller: c or z?
z
Let h be (54/279)/((7 - 8) + -18). Is 0 <= h?
False
Let v = -222 + 156. Let j = 66 + v. Let s be 24/26*1/2. Is j less than s?
True
Let s be (-10)/(-3) - 2 - (-1625)/75. Let m be 3/(27/(-39)) - (25 - s). Is m >= -7?
True
Let b be (-2992)/(-18) - (-8)/(-36). Let g = -297 + 462. Which is smaller: b or g?
g
Let q(d) = -d**2 - 2*d + 35. Let m be q(-6). Suppose -333 = -m*p + 20*p. Is -38 less than or equal to p?
True
Let y = -1104.01 + 1098. Let l = y + 88.01. Suppose -3*d + 1 + 2 = 0. Is l >= d?
True
Let y = -3025 + 3025. Which is greater: -73/82 or y?
y
Let o be 13/2 - 1/2. Suppose 0 = 37*p - 36*p + 3*w - 187, -p - 2*w + 182 = 0. Suppose -182 = -l - p. Which is bigger: o or l?
l
Suppose -206*m + 4 = 242 - 32. Is m at least -6/2311?
False
Suppose -d - 3 = 0, c + 2*d = 3*c. Let g(r) = 6*r**2 - 132*r + 458. Let q be g(18). Is q > c?
True
Let u = -188 - -194. Suppose 18*p - u*p = -2*p. Which is smaller: p or 1/39?
p
Let a(k) = -4*k + 168. Let y be a(39). Suppose 90*p - y = 94*p. Which is greater: p or -3/2?
-3/2
Suppose -4*f = -20, -68 - 277 = 5*t - 2*f. Let z = -61 - t. Suppose -4*y - z*y = 360. Which is greater: -73/2 or y?
y
Let u be 2 + -1 + 2 + -3. Let n = -123 + 119. Let r be 5 + (-102)/93 + n. Which is greater: u or r?
u
Let l be 2/2*-1 + 0. Let c be -12 + (-9 - 2 - (1792/(-105) + -5)). Which is greater: l or c?
c
Let k be ((-120)/16)/((140/888)/(-5)). Is k greater than 238?
False
Let d = -7264 - -7263. Is 1760 greater than d?
True
Let x = -4112 + 4113. Which is greater: x or 0.488?
x
Suppose -294*a + 305*a = 704. Let f be (-4)/(3/(46 + 2)). Let z = f + a. Is -6/53 < z?
True
Let m(q) = -2*q**3 + 33*q**2 - 6*q + 414. Let d be m(17). Let y be -4*(3/2)/(-3). Let c be y + -5 - -5 - (d - -1). Which is greater: c or -23?
c
Let p be (-175)/(-714)*54/(-60). Let d = 1/34 - p. Which is smaller: 0.033 or d?
0.033
Let x = 22650 + -22861. Is -42 < x?
False
Let o = -0.00519 + -14.99481. Which is smaller: o or 0.0045?
o
Let i(t) = 3*t**2 + 18*t - 16. Let b(c) = 5*c**2 + 27*c - 24. Let n(d) = -5*b(d) + 8*i(d). Suppose 6*g - g - 15 = 0. Let q be n(g). Which is greater: q or 9?
q
Let b = 0.074 + 0.016. Let y = -0.009 + -20.991. Let c = y + 17. Is c smaller than b?
True
Let s(q) = q**2 + 34*q + 80. Let b be -2*(-3)/(24/(-124)). Let x be s(b). Is x greater than or equal to -17?
True
Let j(q) = 54*q**2 - 2*q - 1. Let u be j(-1). Suppose -3*f = 100 - u. Is f not equal to -13?
True
Let m be 9/((2 - 3)/13). Suppose 1404 = -103*s + 91*s. Is s at most m?
True
Let j = 156 - 141. Let o be (-8)/48*(4 - 48/j). Which is smaller: 1 or o?
o
Let r be 0 + 0/(-3 - -6). Suppose 5*g - f + 79 = 0, r = -2*g - 3*f + 8*f - 27. Let z be (g + 14)/(-2*1). Is 0 bigger than z?
False
Let l = -388 - -389. Let a be l/5 + 5/((-175)/(-28)). Which is smaller: 6/23 or a?
6/23
Suppose 0 = -0*q + 2*q + 2. Let d(w) = -3*w - 54 + 2*w + 2*w + 63. Let f be d(-9). Which is smaller: q or f?
q
Let l = 4168 - 4170.5. Is -5/13 >= l?
True
Suppose -2*r - 2232 = 3*r - 23*r. Which is smaller: 107 or r?
107
Let d = -6562 + 6565. Is 498/119 < d?
False
Let k = 42 - 40.51. Let t = k - 1.59. Which is greater: 123 or t?
123
Suppose 3*x - 3*d = 0, 6*d - 2*d = -3*x + 14. Let c be x + 0/(-1) + 34. Suppose 3 = -3*z + c. Which is smaller: z or -1/5?
-1/5
Suppose 3*v = -v - 4*s, 2*s = 0. Suppose 0 = 4*f + 79 + 65. Let y be 71/(-150) - 18/f. Which is smaller: y or v?
v
Suppose -2226 - 941 = -2*i - u, 0 = 2*i - 5*u - 3113. Is i equal to 1582?
False
Let n = -139 + 159. Let t be ((-255)/n)/(15/(-20)). Which is bigger: t or 14?
t
Suppose 0 = 7*j - 22*j + 210. Let x be ((-1440)/(-112))/(2/j). Are 1/3 and x equal?
False
Suppose -2*q - 4*t = 66 + 26, -4*q - 2*t - 190 = 0. Let f be 1400/(-35) + (3 - 2). Let a = q - f. Does a = -9?
True
Suppose -4*t = 4*f - 24, 4*t - 2*f = 2*f + 8. Suppose 3*a - 437 = -5*q + 59, -t*a = -8. Which is bigger: q or 100?
100
Suppose -28 = 305*m - 291*m. Which is greater: m or -71/6?
m
Let u be -12 + -94 + 8 - 6. Are u and -101 equal?
False
Suppose -8*v = -36 + 140. Let f = 371/2 + -213327/1150. Let y = -23003/1725 - f. Is v at most as big as y?
False
Let k be (-351)/15 + (-6 + 11 - 4). Let f = -9963/445 - k. Which is smaller: -1 or f?
-1
Let i = 44 + -44. Suppose i = -p - 7 - 1. Let q be 4*(-12)/p - 0. Which is greater: q or 4?
q
Suppose b - 2*z = 45, 5*b - 20 - 169 = z. Let l be -2 - 1/(5/b). Suppose 6 = 171*j - 172*j + f, -48 = 4*j + 4*f. Which is bigger: l or j?
j
Let a be -2 - ((-1068)/48 + 19). Which is smaller: 227 or a?
a
Let n(j) = 17*j**2 + j - 18. Let t be n(5). Let g = t + -388. Is g <= 22?
False
Let u = 7 - 6.985. Let y = 0.275 + u. Let n = 0.06 - y. Which is greater: -1 or n?
n
Suppose -94*z + 83 - 177 = 0. Does z = 2/14829?
False
Let x be -6 + 6 - 818 - -17. Which is smaller: x or 0.3?
x
Suppose 7*o - 12 = 4*r + 4*o, 0 = -3*r + 4*o - 16. Suppose 0*h + 3*h = 5*t - 12, r = -3*h + t. Which is smaller: 39 or h?
h
Let j be 3*(-1)/((-3)/35). Let a = 95174.06 + -95174. Which is smaller: a or j?
a
Suppose -11*n + 7*n = -28. Let h be 473/231 + 2/n. Is h not equal to 3?
True
Let t = 3521854770718/59 - 59690598265. Let g = t - 1855348. Let h = g + -128. Which is bigger: h or 1?
1
Suppose -28 = -4*a - 8. Suppose -5*c - 29 = 3*i, -33 + 2 = 4*c + a*i. Let w = 367 + -366. Which is smaller: c or w?
c
Let k be 1 + ((-47)/7 - -6) + 7755/(-21). Let s = 184 + -552. Which is smaller: s or k?
k
Suppose -49662*w + 49708*w + 224066 = 0. Is -4871 at least w?
True
Let d(n) = 5*n**3 + 4*n**2 - 20*n - 3. Let i be d(-9). Let c be 4/(i/(-6))*(-3)/(-1). Is c < 1?
True
Suppose 0 = 4*k - 0*k. Suppose 3*g + 4*v - 12 = k, 3*g + v - 12 = -0*v. Let z be ((-2)/(-2 + g))/(5/(-15)). Which is smaller: z or 23/7?
z
Suppose -5*s = -3*h - 12, s + 2*h + 4 = h. Suppose -w = 2*a + 18, s = 3*a - 0*w + 5*w + 20. Is a >= -5?
False
Let x be -3*(1 - (-31)/(-33)). Let a be (-12)/(-7 - -5) + 2. Suppose n - a*n = -2*n. Is n at most x?
False
Let r = 2485 - 2484.8. Let z = -20615/53 - -389. Does z = r?
False
Let l = -35/2246 - -50389/134760. Which is smaller: -1 or l?
-1
Let z = 1371309/38305 + 2/7661. Let f be (-2 - 14/(-8))/((-8)/1184). Which is smaller: f or z?
z
Let u = -2.079 - -2.079. Let n = -111 + 114.9. Which is smaller: n or u?
u
Let m = -843 + 842. Let o be m/((2 + -2 + 4)/(-4)). Is 1/314 greater than o?
False
Suppose 5*t - b - 44962 = 2*b, 0 = -3*b + 3. Is 8992 smaller than t?
True
Let p(b) = 2*b**3 + 10*b**2 + 4*b - 10. Let u be p(-7). Let c(x) = 8*x**3 - 73*x**2 + 3*x - 14. Let z be c(2). Is z != 