 equal to g?
False
Let a be ((-11)/1)/1 - (-50)/(-50). Let o be (a - -14) + 70/(-24). Are -1 and o non-equal?
True
Let m = 74 - 72. Let y be (2 + -3 + 4)*m/(-6). Is y at most -1/22?
True
Let g = -1/6 + 5/12. Let b = 13.021 + -13.01. Is g not equal to b?
True
Suppose 147 = -160*q + 159*q. Which is bigger: 1 or q?
1
Let y be (-3)/(-2)*(5 + -1). Suppose 3*d = -2*a - 47, a = y*a - 10. Let z(c) = c**3 + 17*c**2 - 2*c - 19. Let b be z(d). Is b bigger than 15?
False
Suppose 5*d - 67 = -4*b, 6*b = 2*b + d + 73. Suppose -3*y + 8 = h, 6*h - 10*h = 5*y - b. Are h and 4 non-equal?
True
Let h = -22 - -21. Let q be -1 - ((-22)/h + 1 + -2). Is -23 > q?
False
Let g(m) = -84*m + 1240. Let v be g(13). Are 151 and v nonequal?
True
Let y(x) = -x**3 + 6*x**2 - x + 2. Let i be y(6). Let b be ((-8)/(-16))/(i/18). Let p(r) = r + 6. Let o be p(-8). Are b and o equal?
False
Let o = 171.09 - 30.14. Let z = -141 + o. Let a(y) = y - 8. Let r be a(6). Is r bigger than z?
False
Suppose i = 2*i + 11. Let o(f) = f**3 + 10*f**2 - 10*f + 11. Let z be o(i). Is 0 less than or equal to z?
True
Let m(s) = 14*s**2 - 6*s**3 + 3*s**3 - 16 + 12*s + 4*s**3. Let z be m(-13). Let k be (-1 - -2)/(2/(-18)*3). Is z bigger than k?
False
Let w(z) = -z**3 + 3*z**2 + 45*z - 22. Let l be w(8). Which is greater: l or 9?
l
Let r = 209 - 217. Which is smaller: 0.9 or r?
r
Let b(x) = -7*x**2 - 2*x + 2. Let m be b(1). Is m at least as big as -41/7?
False
Let w be 38*3/(-8)*-1. Suppose -65 + 169 = 8*g. Which is greater: g or w?
w
Let l be (-3 - -9)/2 - (-40)/(-4). Is l at least -4?
False
Suppose 0 = 3*u - 6 - 72. Let c(z) = z**3 - 7*z**2 + 4*z + 16. Let w be c(7). Let h be w/(4 - 2) - -3. Are u and h equal?
False
Suppose -5 + 45 = 2*h. Which is smaller: h or 21?
h
Let l(z) = 2*z - 2 - 3*z - 2. Suppose 4*h + j + 5 = 2*j, 3*j = -h - 11. Let c be l(h). Is c not equal to 0.1?
True
Let m = -11/10 + 14/15. Let v = -65 + 61. Which is smaller: v or m?
v
Let j(o) = -7*o - 2. Let k be j(-1). Suppose u = k*u. Which is smaller: u or 2?
u
Suppose -6*i = 2*i - 176. Suppose 2*y = 2*t - i, -5*t - y - 1 = -44. Is t bigger than 10?
False
Let c = 0.38 - 2.38. Let y = 11 + c. Which is bigger: 3/4 or y?
y
Let o = -67 - -65. Let h(w) be the second derivative of -3*w**5/20 - w**4/6 + w**3/2 + w**2 - w. Let c be h(o). Is 12 less than c?
False
Let h(d) = d + 21. Let o be h(-9). Suppose -2*z = -18 - o. Suppose 0 = 6*y - y + z. Are -3 and y non-equal?
False
Suppose -3*f + 2*f = 4*p + 421, 2*p = 5*f + 2215. Is f at most -441?
True
Let p(g) = -g - 9. Let q be p(-10). Let x(m) = -m**3 + 2*m**2 + 4*m - 3. Let z be x(3). Let r = z + q. Is 2/5 != r?
True
Suppose -5*p = 3*l - 69, 3*p - 45 = -0*l - 2*l. Is l <= 94/5?
True
Suppose 0 = -4*f - w + 20, -4*w + 5 = f - w. Suppose 0 = c + 32 - 37. Suppose 0 = c*u + f + 5. Is -2 < u?
False
Let g = 0 - -4. Let r = g + -3. Which is smaller: -14 or r?
-14
Let h(o) = -o**2 - 6*o - 8. Let p be h(-4). Suppose -9*y + 7*y = p. Let x = 111/413 + 1/59. Is x > y?
True
Let v = 103.2 + -68. Let c = v - -0.8. Which is bigger: c or -0.1?
c
Let s be 620/6*-8*(-24)/128. Is s != 154?
True
Let h = 1.7916 + -1.593. Let m = -7.9714 - h. Let a = -0.17 - m. Does -2/5 = a?
False
Let d = -92 - -120. Let q = -27 + d. Are -0.6 and q nonequal?
True
Let o be -8 + (-9 + 3)*37. Which is greater: -232 or o?
o
Let y = 65/3 + -21. Suppose -34*f + 27*f + 14 = 0. Which is bigger: y or f?
f
Let q be (12/(-18))/(12/72). Let g(o) = -o**2 - o + 3. Let r be g(-3). Which is smaller: r or q?
q
Let x be (-1 - -23) + 6/(-3). Let o be 1/3 - x/72. Let b = o - -25/198. Which is smaller: b or 1?
b
Let r = 12 - 9. Suppose v - i = 6, 0*i - 7 = r*v + 2*i. Let s(w) = w + 12. Let c be s(-11). Is c <= v?
True
Let m = 628 - 1924/3. Suppose -10*h = -5*h + 70. Is m not equal to h?
True
Suppose -25*o + 150 = -100*o. Suppose 0 = 2*p + 5 + 5. Is p not equal to o?
True
Let k = -309 - -617/2. Is k greater than 87?
False
Let z be (-4)/(-14) + 33120/210. Which is smaller: z or 0?
0
Let x = 3 + -2.95. Let t = -25.35 + 25. Let g = t + x. Which is bigger: g or -2/5?
g
Let l = 84 - 88. Let h be (-68)/1598*((-2)/l + -1). Which is bigger: h or 0?
h
Let o = -449 + 450. Which is smaller: -20 or o?
-20
Let v(o) = -o**3 + 8*o**2 + 5*o - 41. Let z be v(8). Is z != -3/143?
True
Suppose 13 - 10 = -5*v - 4*w, 2*w + 2 = -2*v. Which is smaller: -1/330 or v?
-1/330
Let a = -4 + 6. Suppose -7*h = -a*h. Suppose 5*v - 5 = h, 0*i - v - 20 = -3*i. Is i at least 7?
True
Let x be -5 - (-4 + 18/(-30)). Suppose 0*r = -r + 1. Is r > x?
True
Let t(y) = -18*y + 93. Let d be t(5). Suppose -z - 2*c = z, 0 = -4*z + 3*c + 21. Do d and z have the same value?
True
Let z be 20/(-15)*3/(-2)*2. Let j be z/588*3*(-2 + 1). Are -1 and j non-equal?
True
Let o = -18 - -23. Let a = o - 12. Which is greater: a or 0.2?
0.2
Let y = 137 - 96. Which is smaller: -1 or y?
-1
Let z = 323.4 - 48.4. Is 2/5 at most as big as z?
True
Let i = 48 - 46. Suppose -g = 5*m + 2*g - 24, i*m = g + 14. Which is bigger: 13/2 or m?
13/2
Let a be 18/(-126)*((-15141)/18)/7. Which is smaller: a or 18?
a
Let z = 107 - 155. Let u = -42 - z. Are u and 0 non-equal?
True
Let m(f) = -f**3 + 7*f**2 + 6*f + 15. Let i be m(8). Let x be 4 - (7 + -5) - (3 + i). Is 3/5 < x?
False
Let b = 57 - -7. Suppose 4*a + 4*m + 0*m = -b, 0 = 2*m. Is -17 < a?
True
Let i be 3 + -1 + 3 + -3. Suppose 2*m = -i - 2. Is m at least as big as -5/3?
False
Let h(m) = -m**3 + 2*m**2 + 2*m + 2. Let x be h(3). Let w = x + 0. Let i be ((-3)/7 - 0) + w. Is i less than -2?
False
Let m = -102 - -97. Which is bigger: m or 1/4?
1/4
Let a(o) be the second derivative of o**3/6 + 9*o**2/2 + 5*o. Let p be a(-7). Suppose p*c = -c. Is -1/5 greater than c?
False
Let o be 714/(-2235) - (-4)/10. Let c = o - 598/3725. Suppose 3*v + 3*u - 4 = 5*u, -v - 4*u - 8 = 0. Is c bigger than v?
False
Let q(j) = -j**2 - j - 16. Let k be q(-8). Let v = -124 - k. Is -52 greater than or equal to v?
True
Let m be (20/(-12))/((-4)/(-1299)). Let r = m + 532. Let a = r + 455/44. Is a at least as big as 2?
False
Suppose -x - 2 = -4*h + 16, 0 = -5*x + 5*h - 15. Let p = 3961/2646 - -4/1323. Is p bigger than x?
False
Suppose -13*a - 2*a + 15 = 0. Let w = 3889/18 + -647/3. Let x = 1/9 + w. Which is smaller: a or x?
x
Let f = -1 - -2. Suppose -13 = 3*o - f. Let s(c) = -c**3 - 5*c**2 - 5*c - 6. Let b be s(o). Which is greater: -4 or b?
b
Let o = -165/8 + 215/8. Which is bigger: o or 7?
7
Let f = -54 + 22. Let u = 50 + f. Let j be 21/u*(-6)/(-28). Which is greater: j or 2/7?
2/7
Suppose -4*l = 4*k, 0 = -2*k + 6*k + 2*l. Suppose 5*q + 4*s + 52 = k, -30 = 2*q - 4*s + s. Let u be (-2*(-9)/q)/15. Which is smaller: u or -1?
-1
Let w = -163 - -228. Is w at least as big as -0.1?
True
Suppose -2*h = -2*z + 1 + 1, 0 = 2*h + z - 10. Let g(s) = s**3 - 6*s**2 + 4*s - 2. Let w be g(h). Let m = -18 - w. Which is bigger: m or -1/9?
-1/9
Let b be (-26)/10 + 2/(-5). Let j = 7 + b. Suppose j*o = 21 - 1. Is o greater than 2?
True
Let q(s) = 16*s - 10. Let g be q(4). Let j = g + -49. Let k(z) = -z - 2. Let u be k(-2). Which is bigger: j or u?
j
Let t = 14.3 + 3.8. Let s = t - 18. Let w be (-42)/232 - (-1)/4. Which is smaller: s or w?
w
Let c(h) = -76*h - 34. Let k be c(-2). Which is smaller: 120 or k?
k
Let h = 98.4 + 30.6. Let v = h + -128. Do v and -2/17 have the same value?
False
Let n = -7 + 213. Let s = 122 - 42. Let d be n/s + (-27)/72. Is 2 less than d?
True
Let i be 2/3 - (-160)/(-270). Let s(f) = f**2 - f - 1. Let p = 0 + 0. Let t be s(p). Which is smaller: t or i?
t
Let d = -57.1 - -60. Let s = 2.8 - d. Let a = s + 0.1. Are 22 and a equal?
False
Let c = 3 + 1. Suppose c*v = -5*z + 13, 5*v - 2*z - 13 = -5*z. Let f be (-28)/12 + v/(-3). Is f greater than or equal to 0?
False
Suppose -r - 5 = -0. Let z = 9 - 7. Suppose 0*n + n = 3*f + 16, -f - z*n - 10 = 0. Is r != f?
True
Let b(r) = 2*r + 9. Let t be b(-17). Suppose -5*f - 118 = j + 2*j, 4*f + 116 = 3*j. Does f = t?
False
Suppose -3*u - 4 - 2 = 0. Which is smaller: -2/129 or u?
u
Let b(w) = -w + 2. Let t be b(4). Let f = 4 + t. Let g be ((-33)/(-66))/(42/9 - 4). Which is smaller: f or g?
g
Let n be 65*(-7 + 8) + 9. Which is bigger: 69 or n?
n
Let z = 4 + 0. Suppose -z*t - 3*q + 5 = -0, 4*t = -q + 7. Let n be t/(-2) - 10/(-35). Which is greater: -1 or n?
n
Let l be