non-equal?
True
Suppose 22*h + 11282 = 2504. Which is smaller: -397 or h?
h
Let c = 124 + -124.06. Which is smaller: 11 or c?
c
Let w(v) = -v + 20. Let s be w(16). Let a be -6*(s + 88/(-21)). Is a at most 1?
False
Let j = -27 + 29. Let q be j/((-2)/(-15)) - 4. Which is greater: q or 9?
q
Let z be 1 + (-12)/14 + 0. Suppose -19*o + 22*o = -3. Which is bigger: z or o?
z
Let q = -19 - -41. Let l be q/3*6*(-2)/4. Which is bigger: l or -24?
l
Suppose -5 = -2*d + 7. Suppose 3*m - d = 3*u, 0 = 2*m + 4*u - 0*u + 2. Let a be (-162)/(-39) + (-12)/(-9)*-3. Is m at least a?
True
Let x be (165/(-10) + 12)*(-95)/3. Is x > 2/3?
True
Suppose -4*d - 617 - 766 = -5*l, 2*d = -4. Let y = -140 + l. Let k be 1/(y/5)*6. Which is bigger: -0.1 or k?
k
Suppose 5*y - 10 = 3*s, y = -2*s - 4*y + 35. Suppose -3*g - s - 13 = 0. Which is bigger: -0.4 or g?
-0.4
Suppose 5*i = -19 - 51. Let f be (-2)/(-4) - (-5136)/i. Let h = f + 366. Which is bigger: 1 or h?
1
Let v = 8.6 - 3.6. Let l = 4 - v. Let y = -0.1 - 0. Which is smaller: y or l?
l
Let z(t) = 4*t - 1. Let u be z(-3). Let j = 6 - -7. Suppose 32*x - 31*x = -j. Is u at least x?
True
Let a = 213 - 219. Which is smaller: a or 0?
a
Let f be (-12)/36 - ((-16)/(-6) + 0). Let p be (f + 192/63)*-2. Which is bigger: p or -3?
p
Suppose 31 + 145 = 22*u. Let t be (-142)/(-4)*1 + 0. Let o = t + -29. Do u and o have the same value?
False
Let s be (-395)/(-10) - 2/(-4). Let l = 0.855 - -0.145. Is s at most l?
False
Let c(w) = w**3 - 6*w**2 + 10*w - 5. Let f be c(4). Suppose 0 = -4*m + f*m + 1. Let n = m + -14. Is n not equal to -15?
True
Let s(l) = -l**2 + 9*l - 2. Let n = 4 + 5. Let p be s(n). Let w be ((-4)/p - 1)*-1. Is -2/15 bigger than w?
True
Let i be (8/(-372))/(12 - 8). Which is greater: -0.1 or i?
i
Let r = 5 - 8. Let k be ((-3)/(-24)*-6)/r. Which is smaller: k or -36?
-36
Let r = 152 - 168. Suppose 0*n = -5*n - 3*q - 90, -3*q + 45 = -4*n. Which is greater: n or r?
n
Let k be (5/(-921))/(3*(-6)/54). Is 1 smaller than k?
False
Suppose 3*g = 88 + 17. Suppose 5*q - 23 = 3*y + 12, -5*q + g = y. Let w be 24/(-57)*q + 3. Is 1 > w?
True
Let i = -77 + 76. Let g be -25*1*i/1. Is g >= 26?
False
Suppose 3*s + 4*h = 164, 4*s + 3*h - 216 = -h. Suppose 0 = -4*f + 5*f - 7. Suppose 0 = 3*q - f*q - s. Which is bigger: q or -12?
-12
Let z be ((-7)/4 + -2)/((-2)/32). Let h be (z/(-18))/(3 + -1). Is h greater than -1?
False
Suppose 2*o = -2*o + 4. Suppose 81*l + 168 = 57*l. Is l smaller than o?
True
Let c = -0.152 + 0.142. Which is bigger: 1 or c?
1
Let n be (236/(-122))/(-1) + (-5 - -3). Which is greater: n or 0?
0
Suppose -v - c + 7 = 0, -v - 2*c - 14 = -3*v. Let u be 26/1 + (11 - v). Which is smaller: u or 29?
29
Suppose -j - n - 61 = 0, -3*n + 230 = 5*j - 9*j. Is -59 < j?
False
Let u be ((-9)/6 + 0)*16/(-12). Which is smaller: u or 9/5?
9/5
Let i(h) be the first derivative of h**4/4 + 4*h**3/3 - h**2/2 - 9*h - 38. Let j be i(-4). Which is smaller: -7 or j?
-7
Let l = 0.77 + 12.03. Let n = l + -8.8. Which is smaller: -0.4 or n?
-0.4
Let n = -181 + 179. Are 0.8 and n equal?
False
Let a(g) = g**3 + 15*g**2 + 22*g - 74. Let u be a(-13). Do -13 and u have the same value?
False
Let o = 32108059/1556 - 20635. Which is greater: 1 or o?
1
Let w = -0.19 + 0.09. Let h = -1 + 7. Let g = h + -5.9. Which is smaller: w or g?
w
Suppose -q - 5*b + 55 = 0, -45 = -q - b - 2*b. Let u be q/13*(1 - 4/8). Which is smaller: 0 or u?
0
Let h(b) = -b + 1. Suppose 9 = 4*i - s, -3*i + 5*s + 5 = -6. Let y be h(i). Let u = -809/1365 - 2/273. Which is smaller: u or y?
y
Suppose 0 = u - 3*c - 64, c = 2*u + 4*c - 128. Let y = -129 + u. Let r be 74/(-10) - 26/y. Is -8 not equal to r?
True
Let z be 4*2/(-4)*3. Let w = -2/16197 - 6397811/32394. Let q = -203 - w. Is z smaller than q?
True
Let l(b) = -50*b + 300. Let a be l(6). Suppose -3*t = 3*v + v - 3, 0 = 5*t + 5*v - 5. Let i = t - 0. Is a smaller than i?
True
Let f be (-44)/11 - (170 + (1 - -1)). Is -175 < f?
False
Suppose l - 1 = -3. Let i be l/1 + 336/156. Is i at most -1?
False
Let l(u) = -u**2 - 15*u + 136. Let t be l(-22). Suppose 0 = 5*d - 10, 4*q + 3*d = -2*d - 66. Which is smaller: t or q?
q
Let s = -152 + 89. Let c be s/(-68) + 6/(-8). Which is greater: 0 or c?
c
Let q = -5.7 - -5.8. Let g be -2 + 2 + -8 + -1. Let p be ((-12)/g)/((-5)/(-3)). Which is smaller: p or q?
q
Let y(s) = -s**2 - 18*s - 78. Let z be y(-10). Do z and 2 have the same value?
True
Suppose -125 = 42*l - 17*l. Let x = -1654 - -8241/5. Do x and l have different values?
True
Let i(b) = -b**2 - b - 50. Let t be i(-11). Which is bigger: -0.1 or t?
-0.1
Let i(v) = -v + 17. Let o be i(16). Let x be 9/(-4) - (-3 + o). Is -0.04 greater than or equal to x?
True
Let b = -6 + 3. Let i = 4.2 + 25.8. Let t = i - 29. Is b less than t?
True
Let v = -278.4 + 277. Is -13 at most v?
True
Let y(v) = 2*v + 12. Suppose 0 = -4*n - 45 + 9. Let u be y(n). Let i = -12 + 6. Is u less than i?
False
Suppose 3*j - 4 = j. Let h = -97 + 51. Let p = 47.1 + h. Is p bigger than j?
False
Suppose 0 = -6*n + 4*n - 5*a - 4, -2*a - 16 = -n. Suppose -5*c = n + 37. Let o be -1 - -3*3/c. Are o and -2 unequal?
False
Suppose 2*y - 3*c + 226 = 0, c - 140 + 564 = -4*y. Do y and -107 have different values?
False
Suppose 654 = -34*z + 4666. Which is bigger: 358/3 or z?
358/3
Let k(l) = l**2 - 9*l + 7. Let z be k(4). Suppose 0*y - 22 = 2*y. Is y at least as big as z?
True
Suppose -3*o = -127 + 373. Suppose 1328 = -28*n + 12*n. Which is greater: o or n?
o
Let l be 4/(-6) + ((-256)/(-6))/(-8). Let x(s) = s**2 + 7*s + 4. Let d be x(l). Which is smaller: -26/9 or d?
-26/9
Suppose 16*q + 476 = 2*r + 20*q, 4*r + 2*q - 922 = 0. Is 227 at least r?
False
Let z = -332 - -17598/53. Let u(t) = -t**2 - 3*t + 7. Let m be u(-4). Suppose r - 4*r = m. Is z >= r?
True
Let f be 12/42 + 1/(168/(-1014)) + 5. Let k be 1*-2 - (-18)/8. Which is smaller: f or k?
f
Let t(v) = 2*v - 9. Let w be t(5). Let a(u) = -15*u**3 + u**2. Let f be a(w). Let c = 1 - 14. Is c at least f?
True
Suppose 0 = -l + 2 + 10. Let v(b) = -24 - 12 + 9*b + 12. Let x be v(4). Is x at most as big as l?
True
Suppose -5 = m + c - 13, -5*c = -4*m - 13. Suppose 4*n - 3*b = -0 + 13, m*b + 4 = -5*n. Which is greater: 1/3 or n?
n
Let o(c) = c**2 - 4*c + 4. Let d be o(4). Suppose d = -2*z + 18. Suppose -9*a = -z*a. Is a > 10/9?
False
Let c = 3.35 + -5.85. Which is smaller: c or 4?
c
Let q be (2 - (-238)/(-118))/((-2)/(-12)). Which is smaller: 0 or q?
q
Suppose -y - 5 = -4*v - 1, -v - 12 = 3*y. Suppose -q + 8 = -v*q. Let z = q + -8. Which is greater: z or 1/28?
1/28
Let z = -248 + 241. Which is smaller: -2 or z?
z
Let q = 25 + -12. Let j(g) = 13 - 4 - q*g + 17*g. Let a be j(-4). Is -2 greater than or equal to a?
True
Let g = 1390.6 + -1392. Which is bigger: g or 0.1?
0.1
Let c = -133/4 - -433/12. Which is greater: c or -3/7?
c
Let h(g) = -8*g**3 - g**2 - g - 1. Let j be h(-1). Suppose 24*l - 28*l + 92 = 0. Suppose 3*i = -0*i + 5*d + l, 4 = -4*d. Which is smaller: i or j?
i
Suppose -5*s - 50 = 10. Let f be (-17 - 2) + (-4)/2. Let m = f - s. Which is greater: -10 or m?
m
Suppose -3*v + 56 - 8 = 0. Suppose 4*x - v = 24. Suppose q - 2 = 2*m - 19, 0 = -3*m + q + 27. Are m and x equal?
True
Let g(w) = -w**3 - 7*w**2 - 6*w + 3. Let t be g(-6). Suppose -7*k = -t*k - 12, -k = -3*y + 6. Suppose -2*l + y = l. Is 1 > l?
False
Let q = 75/2 + -361/10. Let v(n) = -5*n + 2. Let a(l) = 11*l - 4. Let k(o) = 2*a(o) + 5*v(o). Let z be k(0). Is q not equal to z?
True
Let c = -0.3 + 0.3. Suppose y = 5*k - 175, -7*k = -6*k + 5*y - 35. Which is smaller: k or c?
c
Let f(w) = -w**2 + 5*w - 4. Let h be f(4). Suppose i - 23 + 24 = h. Which is smaller: -1/50 or i?
i
Suppose 265*w - 273*w = 0. Is w <= -5/104?
False
Let j = -113 + 112. Which is smaller: 2/213 or j?
j
Let n = -63/11 - 1010/33. Is -35 smaller than n?
False
Let r be 117/(-91) + 2/7 + 0. Let j be (46/(-69))/(r/18). Are j and 10 equal?
False
Let h be 2 + (-3)/((-3)/1). Suppose 0 = -7*i + 4*i + 6. Suppose 3*n - 3 = 3*u, 0 = 2*u + i*u + 4*n - 4. Is u at most h?
True
Let l = -242 + 265.1. Let i = 21 - l. Which is smaller: i or -0.1?
i
Let v = -0.243 - 10.757. Let c = -11 + 26. Let o = c + v. Is o less than 0.1?
False
Let d = -58.8 + 53. Let h = d + 4. Let l = h - -1.4. Which is bigger: l or -2?
l
Let j be -5*(4/(-5) - 0). Sup