64 + 228. Is l equal to 72?
False
Let h = -43 + 41. Let f = 8 - 7.1. Let g = f - 1. Which is bigger: g or h?
g
Suppose -z = 2*x - 85, 4*z + 171 = 6*z + 3*x. Is 87 bigger than z?
False
Let s = -2.4 + -2.6. Let h = 3 - -2. Are s and h equal?
False
Let a = 316 - 315.9. Which is bigger: a or -2/3?
a
Let b = -248 + 319. Which is greater: b or 0.2?
b
Let q(a) = a**3 - 10*a**2 - 30*a + 72. Let d be q(12). Let y be ((-4)/3)/(84/(-18)). Is y less than d?
False
Let m = -0.69 - -0.8. Let h = -0.18 + m. Let j = h - -2.07. Is -2 greater than j?
False
Suppose -5*q = -11 + 1. Let y = q + -3. Let c = -64 + 321/5. Which is bigger: c or y?
c
Let c(f) = -8*f**2 - 4. Let j be c(4). Let t be (11/j)/(19/2). Let b = -86/57 - t. Which is greater: -3 or b?
b
Let t = -1595.94 + 1571. Let g = 25 + t. Let r = -4 - -6. Do r and g have different values?
True
Suppose 0 = 3*v - 3*c + 250 + 23, 5*v + 495 = -3*c. Is v not equal to -96?
False
Let r be (-13 - 3/(-3))*2. Let c be ((-16)/24)/((-2)/(-69)). Is r not equal to c?
True
Let u = -120 + 127. Are 6/11 and u non-equal?
True
Let r be 6/(-261)*-21 - (66/12 - 5). Suppose -h = -5*j + 2, -2*h = 5*j - 6*h + 7. Which is greater: j or r?
j
Let x = 53/12 - 4795/1086. Which is bigger: 1 or x?
1
Let u = -5.1203 - -0.0203. Let x be 14/(-42)*(-6)/(-4). Which is smaller: x or u?
u
Let o = -7/8 + 5/24. Suppose 5 = -5*g - 3*x - 2, -4*g + x - 9 = 0. Is g <= o?
True
Let a = -2 - -1. Let v = 48 - 32. Let c = -16.06 + v. Is c at least as big as a?
True
Let h = -104950/29 + 3619. Let u = -2 + 3. Which is smaller: h or u?
h
Let j = 377.5 + -363.462. Let n = j - 0.038. Which is smaller: 3 or n?
3
Let p = -0.2081 + 0.1081. Which is smaller: 423 or p?
p
Let z be 36/42*7*1. Suppose m + z = -y, -5*y - m = -6*m. Let d be y/12*(-28)/7. Which is bigger: 9/4 or d?
9/4
Suppose -3*n - 3*f = -n - 23, -2*n - 4*f + 26 = 0. Suppose -5 = n*h - 54. Is 3 < h?
True
Let y(q) = q**3 + 10*q**2 + 13*q + 44. Let n be y(-9). Are 2 and n non-equal?
True
Let i be (4 + -8)/(-1 - (-14)/16). Let r(g) = -g**2 - 12*g + 4. Let m be r(-9). Is i equal to m?
False
Let z = -9 + 30. Suppose -z*t + 6 = -24*t. Is t <= 0.2?
True
Let s(c) = 2*c - 21. Let n be s(13). Suppose -3*y - 5*a = 12, 7*y = 2*y - n*a - 10. Let j = 167 - 2005/12. Which is bigger: j or y?
y
Let s be ((-732)/(-15) - 4) + 6. Which is smaller: s or 51?
s
Suppose 6 = -4*g + 22. Let q = g + -5. Let l = 177 + -3365/19. Which is smaller: q or l?
q
Let v be 6*(-6)/45 + 4/(-20). Let u = -19 + -4. Let g = -22.1 - u. Which is smaller: g or v?
v
Let m = 139 + -138. Is m not equal to 26?
True
Let z be 2/(-13) + 54/13. Let b be (7/z)/(12/144). Let h be 28/8*24/b. Is 4 at least h?
True
Let h be (3/(-4))/(12 - 3885/220). Is 0 greater than or equal to h?
False
Let s be 1 - (699/(-45) + (-24)/30). Which is bigger: 16 or s?
s
Suppose 0*q = -3*q - 3*t + 108, -4*q + 130 = -3*t. Let a = -38 + q. Let c be 1150/(-23)*(-2)/a. Which is smaller: c or -24?
c
Let k be -3 + (22 - 1) + -2. Suppose -2*g - 2*d = -k, -3*g + d + 58 = 2*g. Let x = g + -15. Is 1/4 at most x?
False
Let w be (-4 - 32/(-10))*2*-1. Is 7 greater than w?
True
Suppose 5*m + 3*x + 2 = 0, 4*x = 5*m - 0*m - 26. Let a be 59/(-5) + m/(-10). Let q(p) = -p - 11. Let k be q(a). Are 3/2 and k nonequal?
True
Let j be (-14)/7*(-3 - 68/8). Which is greater: 3 or j?
j
Let x be 4/(-7)*(-14)/4. Suppose -z - 692 = 4*y, -z = -y - x*z - 170. Let b = y - -5567/32. Which is bigger: 1 or b?
1
Let j be (-2 + -10)/(5 - 7). Let s be 1/(39/12 + -3). Suppose 25 = -5*l + s*x, -5*l + 4*x - j*x = -5. Are -4/3 and l unequal?
True
Suppose -k + 36 = k. Let c be 8/(-36) - (-1)/k. Is c at least 0.03?
False
Let z = -3.99 - 244.01. Is z not equal to 0.1?
True
Let k = -387 - -374. Are -3/7 and k non-equal?
True
Let u be 26/(-143) + (-6)/143*3. Let k = 17.1 - 17. Which is smaller: k or u?
u
Let s = 6.8 + 3.2. Let a = s - 9. Which is bigger: -3 or a?
a
Let g be 10*(-10)/25*21. Let l be ((-49)/g)/((-3)/8). Which is smaller: l or -2?
-2
Suppose -2*g = -3*k + 147, k - 27 = -2*g + 30. Is k > 259/5?
False
Let w = -116 - -118. Is w != -18/5?
True
Let p(y) = -y**2 + 19*y + 1. Suppose -5*a + 3*u = -86, 0 = -2*a - a + 4*u + 45. Let x be p(a). Which is smaller: 5/31 or x?
5/31
Let f(c) = c**3 + c + 1. Let s be f(-1). Let i = -21 + 23. Let g be s/((-3)/6*i). Is g <= 1/8?
False
Let w be ((-5)/((-90)/24))/((-40)/(-36)). Let k be 2/(-8)*8/(-4). Are k and w equal?
False
Suppose -4*f = -2*q + 1506, 455 = -5*q - 3*f + 4155. Is q less than 743?
False
Let a = 11 + -5. Suppose 5*y - 32 = 4*u, 10*y - a = 2*u + 5*y. Which is smaller: u or -14?
-14
Let f = 6.16 - 6. Let y = -16857/52256 - 1/736. Let t = 2/213 - y. Do t and f have the same value?
False
Let r = 34.6 + 5.4. Let d = -42 + r. Which is greater: 7 or d?
7
Let i = -0.024 + 0.244. Is 3 smaller than i?
False
Let f = 132 + -178. Which is smaller: f or 3?
f
Let o = 4371 - 415239/95. Which is smaller: o or -1?
-1
Suppose 5*y = 2 - 12. Let t be -1*(1 + 2 + y). Which is smaller: t or 1?
t
Let w = 36 + -21. Suppose 8*k = 3*k + w. Let q(f) = 3*f**3 + 2*f**2 - f. Let l be q(1). Is l at most k?
False
Suppose -7 = 3*v + 2*l, 14*l = 18*l + 20. Is 2/53 bigger than v?
False
Let h(v) = v**3 - 8*v**2 + 8*v - 5. Let p be h(7). Suppose 5*u = -5*d + 15, 5*u - 2*d + 17 + 3 = 0. Let g be (-1 - 2)/(3/u). Are p and g non-equal?
False
Let m = 1 + 11. Let k be 6/8*m/15. Let x(z) = -19*z**2 - 178*z - 383. Let j be x(-6). Is j less than or equal to k?
False
Let c be -12*(232/(-60) - -4)*-5. Suppose -2*b - 10 = -190. Let n be (c/(-10))/(372/b). Is -1 at most as big as n?
True
Suppose 0 = k + 25 + 7. Suppose 40 = -4*x - 88. Is x < k?
False
Let t = 299 + -245. Which is bigger: t or 50?
t
Suppose -2*m = 2*u - 146, -2*u = m - 5*u - 89. Is 76 < m?
True
Let g = 2.7 - 3. Let d = -0.2 - g. Let r = 0.1469 + 13.8531. Is r at least d?
True
Let y = 0.8 - 4.8. Let s = 0 - y. Is -0.05 < s?
True
Let s = 75 + -13. Let u = 43 - s. Let t = u - -35. Which is smaller: 1 or t?
1
Let k = 73/7347 + 495302830/7347. Let f = 66778 - k. Let o = f - -645. Which is smaller: 7 or o?
7
Let i be 395/(-15) - 6 - 3. Are -35 and i equal?
False
Let g be ((-1636)/(-12) - -3) + -2 - 2. Let n = -136 + g. Is 0.3 greater than n?
True
Suppose -4*i + 3*i = 3*u + 3, 3*i - 5*u = 5. Suppose o - 1 - 16 = i. Suppose -m = -4 + o. Which is smaller: m or -12?
m
Let z be 15/(30/(-8)) + 5. Which is smaller: -8/27 or z?
-8/27
Let b(z) = -z**3 + 2*z**2 + 2*z - 2. Let l be b(2). Let m be (-42)/(-4) - l/4. Is m smaller than 10?
False
Suppose 5*l = 11 - 11. Let r be -5 - (-24)/(l + 2). Is r less than 8?
True
Suppose -3*m = -j + 3*j + 11, -5*m - 17 = 4*j. Suppose -3*a - f - 38 = j*a, a + 3*f + 2 = 0. Let p be (-3)/(-18*(-14)/a). Is 1 != p?
True
Let s be (3/297*6)/(154/(-42)). Suppose 20 = -4*k, 5*k = -5*y + 2 - 22. Which is smaller: y or s?
s
Suppose 0*m - 2*g = 3*m + 819, 3*g + 822 = -3*m. Does m = -271?
True
Let b(k) = k**3 - 22*k**2 - 21*k + 21. Let r be b(23). Are r and 68 non-equal?
True
Let l(a) = a**2 + 10*a. Let v be l(-10). Suppose 4*k - k - 30 = v. Suppose 2*z - 5*w = -k*w - 3, 4*w + 4 = 0. Which is greater: z or 3?
3
Let d(x) be the third derivative of x**5/60 + x**4/4 + x**3/6 - 6*x**2. Let l be d(-3). Which is smaller: -6 or l?
l
Suppose -249*o = -234*o + 16815. Which is smaller: -1122 or o?
-1122
Let d = 74 - 104. Which is greater: -0.2 or d?
-0.2
Suppose -5 = -2*z - 5*o, 8*z - 4*z + 5*o = 5. Is z not equal to 45/32?
True
Let b = 28147/52260 + -1/780. Which is smaller: 0 or b?
0
Let a = 777/27278 + -4/593. Which is greater: a or 7?
7
Let r be ((-46)/(-69))/(1/(-12)). Suppose 0 = -5*c + 5*z + 65, -4*z = -0*z. Let b = c + r. Is 3 >= b?
False
Let k = -12.8 - -0.3. Let j = k + -0.5. Which is smaller: -2/7 or j?
j
Let z = 2.5 - 5.5. Suppose -5*b = -15*b - 50. Is b greater than z?
False
Let m = -1 + -4. Let n = -3/4292 + 4307/21460. Is m <= n?
True
Let g = 4/21 - -10/21. Let n be ((-862)/(-4))/((-9)/(-6)). Let d = n + -142. Which is bigger: d or g?
d
Let r(w) = -2*w**2 - 8*w + 10. Let h be r(12). Let i be ((-51)/h)/(6*1/56). Is 1 > i?
False
Let f(o) = -3*o - 21 + 2 + o - 4*o. Let d be f(3). Is d less than -35?
True
Let f = 8303 - 1959505/236. Is -1 greater than f?
False
Let h be ((-105)/(-14))/(-5) + (-67)/(-46). Let c = -66 - -196/3. Is c equal to h?