 = y - -22. Is w != l?
True
Suppose 3*h - 24*k + 26*k + 503 = 0, -5*h - 5*k - 840 = 0. Is -169 less than or equal to h?
True
Suppose -2*a + 7*a = -10, 3*a = 4*b - 1370. Is b greater than or equal to 340?
True
Let y = -2287303/22 + 103987. Let c be (-337)/18 - (-6)/27. Let t = y + c. Are t and -1 equal?
False
Let v = -0.077 - 6.123. Let i = v - -1.2. Which is bigger: i or 2/5?
2/5
Let a(c) = -c**3 + 2*c**2 - c + 2. Let n be a(2). Let x(r) = -r**2 - r - 22. Let q be x(n). Is q smaller than -23?
False
Suppose 361 - 373 = -6*j. Is j smaller than -67?
False
Let q(u) = -u**2 + 8*u + 24. Let g be q(4). Let l = -12289/3 + 4135. Which is bigger: g or l?
g
Let n(w) = w**3 - 7*w**2 - 14*w - 35. Let k be n(9). Is k bigger than 9/14?
True
Suppose 0*z = -5*z + 15. Suppose 0 = 30*f - 35*f + 10. Suppose z*b = -f*b. Which is bigger: b or 7/6?
7/6
Let b be (32/80)/(2986/(-5)). Which is smaller: b or 1?
b
Let v be (4/2)/(10/40). Suppose -3*x + v = 5*o - 0*x, -5*x = -5. Which is smaller: 4/21 or o?
4/21
Let j be (-2150)/(-1104) - (3 + -1). Let c = j + 1/92. Is c at least as big as 0?
False
Let z = 1 - 1. Let k be (7 - 0) + (6 - 10/15*6). Is z < k?
True
Let v be 720/(-135)*9/(-4). Which is smaller: 71/6 or v?
71/6
Let f(i) = -i**2 + 4*i - 2. Let u be f(3). Let j be (37/(-148))/(5/(-40)). Which is bigger: j or u?
j
Let b be 3 - (-2 - -5) - 13630/110. Let s = b - -124. Is s less than -1?
False
Let c = 215 - 201. Is c at most as big as -2/7?
False
Let g = -62.9 - -63.9. Is g at least as big as 55?
False
Suppose 0*z + 2*z - 2*c - 4 = 0, -z = 5*c - 2. Suppose 2*j + z*b = 7*j - 105, j = -2*b + 21. Which is greater: j or 23?
23
Suppose 14 + 1 = 5*u. Let o be 18/u*4/(-30). Let i(d) = d**3 - 7*d**2 - 18*d - 2. Let r be i(9). Is r at least o?
False
Let s = 0.1 - 0.2. Let y = -467 - -281. Let d = y + 191. Does d = s?
False
Suppose -2*w = -2*l - 8, 4*l = -6*w + 3*w - 9. Is -2/71 equal to w?
False
Let w(o) = o**3 - 28*o**2 - 71*o + 97. Let s be w(31). Is s != 780?
True
Let o = -13 - -77. Suppose -z + o = z. Let m be z/120*(-6)/4. Do -1 and m have the same value?
False
Let a be 350/(-9) + 10/(-90). Let s be (-4 - 2/(-2))*(-52)/a. Are s and -6 equal?
False
Suppose 4*t + 20 = 3*d, 7*d - 2*t - 10 = 4*d. Is 4 at least as big as d?
True
Let x(j) = -23*j**2 + 6*j + 22. Let i be x(-4). Which is bigger: i or -369?
-369
Let b(x) = -19*x + 3. Let r be b(-3). Suppose 0*k - 2*k + r = 0. Let w be ((-8)/(-130))/(k/75). Is -1 less than w?
True
Let v = -1.303 + 1.2. Let m = -0.003 - v. Is -22 less than or equal to m?
True
Let i be (-136440)/(-400) + 1/(-10). Which is smaller: i or 0.3?
0.3
Let n = -260 + 178. Let s = n - -128. Is 0 bigger than s?
False
Let f = 820 + -30342/37. Is -1 smaller than f?
True
Let z(b) = -b**3 + 17*b**2 - 17*b + 11. Let u be z(16). Suppose -o + 0*o = -1. Let y be o/4 - 2/8. Is y at most u?
False
Let q = 206 + -208. Which is greater: 8 or q?
8
Suppose -2*k - 5*q = -45, 15 = -k - 3*q + 8*q. Let d be k/(-10) - (4/(-6) - 0). Is -8 <= d?
True
Let t(k) = -10 + 22 - 3 + k. Let v be t(-5). Let u = 133 - 261/2. Which is smaller: u or v?
u
Suppose 2*m - 8*m + 3078 = 0. Is 512 less than or equal to m?
True
Let w = -12 + 12. Let k = -31 + 23. Let m = -7 - k. Is m not equal to w?
True
Let g be (3 - 1)/((-5 + 14)*-2). Suppose 5*z + 2 - 7 = 0. Which is smaller: g or z?
g
Let o = 18 + -10. Let u = 17 - -7. Let n = 23 - u. Which is greater: o or n?
o
Let m be (-5)/(2/24*3). Which is greater: -34 or m?
m
Suppose -4*p - 32 = 6*h - 4*h, 4*p = 2*h + 16. Which is smaller: h or 2/19?
h
Suppose -5*u - t = -9, 2*u - 3*t - t + 14 = 0. Let m = 5535/7 - 791. Which is smaller: m or u?
m
Let d be (-124268)/16027 + (-2)/11. Which is smaller: -8 or d?
-8
Let j = 3337/5 - -705. Let w = -1378 + j. Is w at least -5?
False
Let d = 11/17 - 70/187. Which is bigger: d or 0?
d
Let i = 34/15 - -32/5. Is -1/5 equal to i?
False
Let x(k) = k**3 - 6*k**2 - 8*k + 1. Let a be x(8). Let w = a - 44. Is w > 21?
False
Let w be 12/9*-3 - -5. Let y be 5*w/(10/8). Which is smaller: y or 3?
3
Let x = 0.19 - -31.81. Let b = x - 19. Let s = -12.6 + b. Is -0.3 greater than or equal to s?
False
Suppose -1 - 9 = -5*r. Suppose -t - 4 = -r*t. Suppose t*f = -3*q + 12 - 36, -5*f = -4*q + 61. Is -9 at least as big as f?
True
Let r = -123.2 - -123. Is r > 23/5?
False
Let t be (-12)/5 - 15/25. Let o(b) = b**2 + 10*b + 9. Let i(p) = p**2 + 9*p + 8. Let d(a) = -5*i(a) + 4*o(a). Let r be d(t). Which is smaller: r or 6/5?
6/5
Suppose 8*j - 10 = 10*j. Let v be (-3 + 19)/(j/(-10)). Let r be ((-16)/27)/(v/48). Which is smaller: -1 or r?
-1
Let v be (-1 - -1) + 0 + -1. Let x be ((9 - 0)/(-54))/(1/(-9)). Is v != x?
True
Let z(a) = a**3 - 13*a**2 + 6*a - 81. Let j be z(13). Which is smaller: j or -11?
-11
Let y be 9/14 - 1/(-2). Suppose 4*g - 6 = -3*x + x, 0 = g - 4*x + 3. Which is greater: y or g?
y
Let l(q) = q**2 - 14*q - 39. Let u be l(16). Let i be ((-2)/(-744))/(u/14). Which is smaller: i or 1?
i
Let o(i) = -2*i - 13. Let x be o(-12). Let t be (-4)/(-6) + x/(-3). Let k be (-12)/t + (5 - -9). Which is smaller: k or 17?
17
Let c = 3.058 + 0.002. Let r = c + -3. Let i = r + -0.16. Which is smaller: i or -0.6?
-0.6
Suppose 6 = 5*w - 14. Let i be (-24)/26*(2 - 9/w). Is i <= 0.1?
False
Suppose 3*s = 5*b + 5204, -12 + 18 = 2*s. Which is bigger: -1040 or b?
b
Let q be (-1)/9 - 55/(-9). Suppose 22 = 2*h - q. Is h >= 14?
True
Suppose -9*w + 5*w = 0. Let s = 64216502/2123 + -30248. Let m = 12712/27599 - s. Is w at least m?
False
Let w = 0.65 + -0.48. Let g = w + 0.03. Are -16 and g unequal?
True
Let i = -44 - -48. Suppose -48 = -i*p + 72. Is p equal to 28?
False
Suppose -23*h + 88 = -12*h. Let f be (60/(-48))/(22/h). Do 0 and f have the same value?
False
Suppose 14*l + 131 + 79 = 0. Which is greater: l or -14?
-14
Let f = 11/109 + -5799/218. Are 0.5 and f nonequal?
True
Let l be 5 - -9*(-5)/15. Let a be 319/330 + (-3)/l. Which is greater: a or 0?
0
Let i be 12/(-129)*(-1)/(-2). Let j be 8/1 + 3 + 1. Suppose 5*b + 12 = 3*m, -3*m + j = 5*b - 0*m. Is i at most b?
True
Let x be 2710/14 - (0 - -2). Let u = 192 - x. Suppose -2*w - y - 1 = 0, -1 = -2*w - 0*w - 3*y. Which is smaller: w or u?
w
Let i(u) = -u**3 - 3*u**2 - 2*u - 4. Let t be i(-3). Let v = 7 - t. Suppose s = v*l + 10, -l + 4 = 3*s - 3*l. Is s less than -0.8?
False
Let r = 33.6 + -36. Let t = -2.6 - r. Is 2 bigger than t?
True
Let s be (4 + -4)*(-1 + 2). Suppose 3*c - 2*f = -5, 3 = -s*f + 3*f. Let l be (-1)/(-3)*12/(-38). Is c at most as big as l?
True
Suppose -3*w + 4*f - 66 = -289, -164 = -2*w - 5*f. Let l = w - 73. Are 0 and l non-equal?
True
Suppose -4*k = 31 - 51. Suppose -q = -3*q + 50. Let z = k - q. Is z less than -20?
False
Let v = -360 - -2901/8. Suppose -5*b - 5 = 5*g, 4*b - 7 = -g - 20. Is g equal to v?
False
Let s be (1/(-2))/(25/(-20)). Let y = -9.6 + 9. Is s at most as big as y?
False
Suppose 29*c = -33*c + 62. Is 396 less than c?
False
Let i(s) = -2*s**2 - 6*s. Let n be i(-6). Let j be (-40)/6*n/(-15). Which is greater: -17 or j?
j
Let q = 2.29 - 2.29. Is -0.062 < q?
True
Let d = -237 + 236.63. Which is smaller: d or -7?
-7
Suppose -4*p + 4*z + 32 = 0, 0 = -3*p - z + 5*z + 28. Suppose -5*u - 3 = -p*u. Is u < 1?
True
Let x be 20/9 + 8/(-36). Let m be x*6/28 + 1. Let l be 1*(-1)/(-4) - (-2)/(-8). Which is smaller: l or m?
l
Let b(s) = s**3 + 3*s**2 - 3*s + 6. Let o be b(-3). Suppose -c = 2*c - 48. Which is smaller: c or o?
o
Suppose 0 = -36*i + 41*i + 420. Is -90 greater than or equal to i?
False
Let s = 5719 - 51473/9. Let p = 7 - 5.6. Let c = p - -4.6. Is s greater than c?
False
Let w be -6*1*(-1)/3. Suppose 3*j - 18 = 3*q, j = -w*q - 0*q. Let y(h) = h**3 - 3*h**2 - 5*h + 3. Let k be y(j). Are -1 and k nonequal?
False
Let s = -0.354 + 0.454. Let k = 935 + -8405/9. Which is smaller: s or k?
s
Let a be 234/(-14) - 2/7. Let p(o) = -o**2 - 5*o - 11. Suppose 18 = -k - 2*k. Let l be p(k). Is l smaller than a?
False
Suppose 5*c - 13 = 7. Suppose 0 = -2*b + 4*g + 2, -6*b + c*b - 4*g = -2. Let m be (2 - b)/((-4)/32). Is m not equal to -8?
False
Let m = -0.21 + -1.79. Let x be 1/(-4) + 6/(-8). Let g be x - 4/(28/(-5)). Which is bigger: g or m?
g
Let q be (-2)/(-8) + (-228)/16. Suppose a + 2*a = -45. Which is greater: a or q?
q
Let z = 7 - 5. Let o = 11 + -2. Is o at most z?
False
L