= -2662 - -2654. Is -1 greater than or equal to v?
True
Let o(s) = -s**2 + 15*s + 36. Let t be o(20). Let g = t - -63. Is 5/12 <= g?
False
Let u(c) be the third derivative of -c**5/60 + 2*c**3/3 + 2*c**2 + c. Let d be u(2). Which is greater: d or 1/116?
1/116
Let u = -0.9976 + 0.937. Is u greater than -1?
True
Let d(n) = -n**2 + 9*n - 6. Let i be d(6). Suppose -2*u + 9*l = 4*l + 6, -4*u + i = 2*l. Suppose 0 = 3*g - 0*g + 6, -g - u = -5*z. Which is smaller: z or -1?
-1
Let s = 771 + -751. Which is smaller: s or 15?
15
Let w(b) = b + 2. Let u be w(-6). Let a = -1 - -1. Let d be a - 3 - 5 - -2. Is d <= u?
True
Let r = 344 + -241. Suppose -b - r = 3*i + 49, -3*b = -3. Are i and -50 equal?
False
Suppose -2*q - 3*c = 1435, -3*c = 5*q - 4*c + 3613. Are -723 and q nonequal?
True
Let h = -31 - -22. Let b(j) = 3*j + 27. Let o be b(h). Suppose 2*u + 3*w - 13 = -o*u, 3*w - 19 = -5*u. Is u bigger than 2?
False
Let o(g) = 6*g**2 - 15*g - 59. Let y be o(9). Does y = 291?
False
Let u = 2.26 - 26.26. Are -1/3 and u non-equal?
True
Let h = 3 - 2. Let n = -1.34 + -1.66. Let x = n - h. Which is smaller: x or -2/7?
x
Let p be ((-25)/(-10) - -3)*-2. Let j(v) = v**3 + 12*v**2 + 11*v + 6. Let d be j(p). Which is bigger: 5 or d?
d
Let x be (-4)/(-14)*(-6)/4. Let i(y) = -7*y - 4 - 6*y**2 - 2 - y**3 + 5*y**2 - 6*y**2. Let d be i(-6). Which is smaller: x or d?
x
Suppose 8*q - 20 = 4*q. Suppose -q*w = -3*h - 8, -3*h + 0*h - 3 = 0. Which is bigger: w or -4/25?
w
Let i be (12/48)/((-2)/4). Let g = 1 + 0. Let p = g - 1.5. Is p less than i?
False
Let o = 313/36 - 337/9. Let v = 29 + o. Is v at least as big as -0.2?
True
Let o(m) = -14*m + 41. Let y be o(0). Which is greater: y or 1?
y
Let o = 830/7 - 50628/427. Is -1 <= o?
True
Suppose 3*s - 8 = 4*f + 4*s, 3*f + 2*s = -1. Let t be ((-2)/f)/(16/6). Which is bigger: 1 or t?
1
Let g = -69 + 40. Suppose -2*k = 2*x + x - 15, 5*k + 2*x - 10 = 0. Which is bigger: g or k?
k
Suppose 2*o = 4*n + 10, 5*o + n - 5 = -2. Let k = 4.2 - 4.265. Let l = k - -4.065. Which is smaller: l or o?
o
Let y be 1*(1 + 5)*1. Let b be -1 + 5 - (-3 + y). Suppose t - f - 4 + 2 = 0, -f - 2 = -2*t. Which is greater: b or t?
b
Let u be 2/(-8) + (-297)/(-36). Suppose 0 = 5*g + 2*v + v + 5, 2*v = -10. Let z be (-104)/(-12) - g/(-6). Which is greater: u or z?
z
Let n = -4403 - -383068/87. Which is smaller: n or -1?
-1
Let b = -0.1 + 0. Let l(j) = -j**3 - 2*j**2 + 2*j - 1. Let c be l(-3). Let u be (18/(-10))/(c/10). Which is smaller: u or b?
u
Let b = -58 - -57.964. Let n = b - -1.136. Which is greater: n or -1?
n
Let c(n) = -10*n + 2. Suppose 2*h + 1 = 3. Let k be c(h). Let l be (-1 + -1)*(-4)/k. Which is smaller: l or 0?
l
Let k(u) = -5*u**2 + u + 45. Let l be k(7). Which is smaller: l or -2/7?
l
Let m = 131.6 + -135. Let v = m - -1.4. Are v and -1 non-equal?
True
Let w = 1 - -2. Suppose w*m + m + 32 = 0. Let b be (0*(-4)/m)/(-2). Is -2 at least as big as b?
False
Let k = 321931.01 + -320459. Let y = 1478 - k. Let q = 0.01 + y. Do -0.1 and q have the same value?
False
Let v = 27 + -13. Suppose 11*m - 4*m - v = 0. Let p be (-1)/(1/(-1 - 0)). Are p and m nonequal?
True
Suppose s + 24 = -2*s. Let h be (4 + 20/(-5))/2. Suppose h = 6*i - 11*i. Which is smaller: i or s?
s
Suppose 2*m + 5 + 3 = 5*b, -b + 4 = 2*m. Suppose 4 - b = 2*s. Is s <= 1/5?
False
Suppose -2*b - 5 + 17 = 0. Suppose -3*q = -b*q. Let t be 32/(-30) - 8/(-12). Are q and t nonequal?
True
Suppose 285 = -401*c + 406*c. Is 56 > c?
False
Let d = 8161/9786 + -5/6. Which is greater: 1 or d?
1
Let w(n) = -n. Let k(a) = -2*a - 12. Let u(z) = -k(z) + w(z). Let d be u(-10). Is d at least as big as 14?
False
Suppose 15 = 5*l - 2*l. Suppose l*k - c = c + 260, -k + 4*c + 52 = 0. Suppose 4*n + k = -4*b, -2*n + 4*n + b + 24 = 0. Is -11 equal to n?
True
Let g be 1/2 - (-19)/(-2). Let r be (-2)/(15/(90/4)). Which is smaller: g or r?
g
Let v(c) = 22*c + 11 + c**2 + 11*c - 45*c + 7. Let z be v(10). Let a = 64 - 710/11. Are z and a nonequal?
True
Suppose 14 = -k + 5. Let j = -17 - k. Is j >= -9?
True
Let l = 225 - 218. Is l greater than or equal to 5?
True
Suppose -2*k + 16 = 4*z, -3*k + 4 = z + z. Let r be 27/k*(-30)/9. Which is bigger: 46 or r?
46
Suppose 0 = -d + 6 - 5. Let g be d/(-8)*-4*(-68)/(-8). Is 5 < g?
False
Suppose -9*v = -18*v - 22*v. Let g = -3 - -1. Let r be g/((4*-1)/(-2)). Is v less than r?
False
Let g be (1 - 2 - -5)/(-3). Let x = 2385 + -4773/2. Are x and g equal?
False
Let k = -0.0511 - -3.0511. Which is smaller: 10 or k?
k
Suppose -s + 10 = 11. Let g be (4/(-72))/(28/116). Let p = -3/14 + g. Is s not equal to p?
True
Let z be ((-7)/(7/(-1)))/((-84)/68). Which is greater: -2 or z?
z
Suppose 3 = 2*s - 5*s. Let m be ((-34)/4 - -4)/(1/(-2)). Let b be m/(-192)*(-12)/18. Is s not equal to b?
True
Suppose 3*j = 15, -2*p - 38 + 1 = -5*j. Do 0.08 and p have the same value?
False
Let w = -134/9 - -15. Let n be -4*(0 + (-1)/4). Let y = 1 - n. Is y greater than or equal to w?
False
Suppose -4*t + 3*g = 48, -4*g = -2*g. Let d be (-4)/t + 206/3. Suppose -o + 2*p + 3*p + 3 = 0, -5*o = -4*p + d. Is o less than -17?
False
Suppose -j = -3*u + 897, u - 299 = 2*j - j. Let a be 1/2 - u/460. Which is greater: -1 or a?
a
Let x = -179 + 179. Which is smaller: x or -2/119?
-2/119
Let f = -1/4 - 1/4. Suppose -5*t - 12 = -92. Suppose -5*p = 2*y - p - t, 12 = 4*y + 4*p. Are f and y unequal?
True
Let r be (9/4)/((-48)/8). Let u = -37/24 - r. Is -1 equal to u?
False
Let b = -657 - -686. Suppose -2*y + 20 = -4*j, 5*y - 3*y - j = 5. Suppose y*a = -a - b. Which is greater: 2/3 or a?
2/3
Let l be (2/(-8))/(328/32 - 10). Which is smaller: 2/1527 or l?
l
Suppose 6 = 4*b - b. Let r be 3 - (2 + (b - 2)). Let d = -5494/11 - -500. Which is greater: d or r?
r
Suppose -p - 4 - 10 = -4*b, 0 = 2*p + b + 19. Let a(j) = j**2 + 9*j - 2. Let d be a(p). Let y be (9 - -1)/(1 + 0). Which is smaller: d or y?
d
Suppose -3*l = 3, -3*f + 2*l + 3 + 8 = 0. Suppose -5*g + 21 = f*h - 4*h, -7 = -5*h - 3*g. Is 1/51 at least h?
True
Let v(j) = -j**2 + 7*j - 9. Let u(f) = -f**2 + 11*f - 8. Let w be u(10). Let c be (-3 + w)/(2/(-10)). Let x be v(c). Is x at least as big as 1?
True
Let v = 39 + -38. Let b = v + -1.2. Which is greater: b or 0?
0
Let x = -13 - -16. Suppose x*a + 152 = 5*p - 0*a, p - a = 32. Is p > 27?
True
Suppose -5*t - 28 - 63 = 4*l, -3*t - 2*l = 53. Which is smaller: -4 or t?
t
Let u be -2 - 2/(2/1). Let j be -1 + (-6)/u - -2. Let t(c) = -c**2 + 5*c + 5. Let a be t(6). Is j >= a?
True
Let v be 56/(-16) - 6/(-4). Let c be v + 1 - (-163)/(-87). Let m = c + 6/29. Is m greater than 0?
False
Suppose n - 7*k = -2*k, -4*k - 1 = -n. Suppose n*z = 16 + 284. Let l be (-1)/(-2 - z/(-28)). Is l equal to -7?
True
Let x be (106/(-6))/((-3)/(-9)*4). Let s = x - -13. Which is bigger: s or 1?
1
Let r = -545 - -544. Which is greater: r or -6/221?
-6/221
Let m(k) = -104*k - 729. Let v be m(-7). Is -9/124 at least as big as v?
True
Let f = 133 + -196. Let k = f - -62. Is -0.04 at most k?
False
Suppose 20*y = -67*y - 174. Which is greater: y or 3?
3
Let c = 7.482 - 40.912. Let m = c - -0.43. Let r = m - -33. Is 0.01 less than r?
False
Let r be 1/((-1)/797*(-22 - -21)). Is r >= 797?
True
Suppose -5*s + 2*h + 44 = 0, 13 + 17 = 4*s + h. Let r = 12 - 9. Suppose -9 = 2*b - r*b. Is b less than or equal to s?
False
Suppose -5 - 1 = 2*f. Let d be (f/15)/((-18)/(-30)). Which is smaller: d or -3?
-3
Let j be -112 + (24/4)/(-6). Which is bigger: -227/2 or j?
j
Suppose 0 = n + t + 42 - 3, 41 = -n - 3*t. Which is bigger: -194/5 or n?
n
Let p be (-10)/(-45) - 25/(-9). Let v be (-5)/15 - p/(-9). Suppose -u - 5*u = v. Is 1/12 bigger than u?
True
Let h(q) = q**3 + 10*q**2 - 20*q - 94. Let s be h(-13). Are s and -341 unequal?
False
Let t = 24507 + -24506. Let s = -0.05 - -3.05. Is s > t?
True
Let a = 0.45 - -1.55. Is a at least -170?
True
Let k = 18.07 + -18. Let y = k - 0.09. Let l = y + 0.03. Is l <= -1?
False
Let k = -11 - -13.7. Let m = k - 2.64. Are -2/9 and m unequal?
True
Suppose 2*k + 4 = 4*k. Suppose k*i - 84 = 5*i. Let n = 19 + i. Is n bigger than -10?
True
Let r = -3 + -5. Let p = -98 - -92. Is p greater than or equal to r?
True
Let y = -3.4 - -2. Let d = y + 1. Let z = -4.1 + 4.2. Is d <= z?
True
Let h be -1*1 - 25*16/(-320). Let o = 13 + -13.9. Let g = o - 0.1. Which 