 - 2*s + 1. Let b be x(1). Let j be b/11*(y + -4). Which is greater: -2 or j?
j
Let q = 8/133 + -12/19. Let l = 1.25 + -0.85. Is l != q?
True
Suppose 4*m - 310 = -5*k, k - 4*m = -8*m + 62. Suppose h + k = -2*h + 4*s, -5*h - 80 = -2*s. Is h at most -14?
True
Let a(l) = -2*l - 1. Let o be (1 - 7) + (12 - 11). Let c be a(o). Is 9 at most as big as c?
True
Let t(x) = 834*x - 2. Let g be t(2). Let q be (-2)/(-4) + 1239/g. Let l = 26/17 - q. Which is greater: 3 or l?
3
Suppose 3*y - 4*d = 5, -5*y - 55 + 46 = 2*d. Which is greater: -3/124 or y?
-3/124
Let a be 10/10*(1 + 0). Suppose -r = a, -8 = -5*z - 0*r - 2*r. Let m = -73/2 + 38. Which is greater: z or m?
z
Let o = -233 + 236.6. Is o >= -0.3?
True
Suppose 3*x - 2 - 1 = 0. Suppose -12 = -n - n. Are n and x non-equal?
True
Suppose -3*k - 14 = -2. Let m be (-11)/k + 2/8. Let b be 1/m*(3 - 0). Which is bigger: 4 or b?
4
Suppose -121*o + 528 = -118*o. Is 0.2 at most o?
True
Let n = -37 - -29. Let j be (-745)/(-1510) + -2*(-2)/n. Is j at most as big as 1?
True
Suppose 0*f - 20 = -3*s + 5*f, f + 1 = 0. Suppose 3*h = -5*a + 51, -3*a + 0*h + 17 = -s*h. Is a at most as big as 9?
True
Suppose -4 = 2*a - 3*a + z, -5*z = -4*a + 20. Suppose a = 4*p - 4. Let v be (-78)/12 - p/2. Which is smaller: -8 or v?
-8
Let b = 33 + -54. Let w = b - -36. Let m = w - 13. Is m != -0.2?
True
Suppose 0*c - 10 = 5*c, -4*c = 4*u - 632. Is 162 smaller than u?
False
Suppose 3*y = -5*v - 15, -2 = -v + y - 5. Let m be -3 + 6 - v - 4. Which is smaller: m or 9/7?
9/7
Let u(m) = 12*m - 109. Let o be u(8). Is o greater than or equal to -1?
False
Let k be (-295)/10 + ((-9)/(-2))/9. Is k < -30?
False
Suppose 0 = -v + 4*v - 3*u - 54, -4*u = 3*v - 33. Suppose -s = 5*f - f + 32, v = -5*f + 5*s. Which is smaller: f or -20/3?
f
Let t = -1174 + 1202. Which is bigger: t or 113/4?
113/4
Let l(b) = -b + 16. Let d be l(0). Let p = 337 - 320. Which is greater: d or p?
p
Let q(c) = -c**2 - 43*c + 189. Let s be q(-47). Is -2/1523 at most as big as s?
True
Suppose v + 4 - 46 = 4*a, 3*v = -4*a + 62. Which is smaller: 19 or v?
19
Let t = -37/253 - 733/253. Is -3 < t?
False
Suppose 3*m = -2*l - 11, 0 = -5*m + 3*l - 8*l - 20. Let p be 93/(-11)*4/12 - m. Is p != -1?
True
Let g be (-20)/60*69/(-1). Suppose -h - 54 = 2*h + n, -5*n = 2*h + g. Which is greater: h or -18?
-18
Let m = -12 - -17. Suppose 0 = -5*x + x, -m*a + 3*x + 90 = 0. Suppose 0 = -53*j - 265 + 1272. Do a and j have the same value?
False
Let f = -78.56 - -79. Let g = f - 0.64. Let a = 0 + -0.4. Which is greater: g or a?
g
Suppose -5*i - 5 = 0, -3*t + 7*t - 188 = -4*i. Is t greater than or equal to 45?
True
Suppose -10*c + 11*c - 5 = 0. Suppose 0 = -c*z + k - 3*k - 12, 1 = -k. Let l(v) = -v**3 - 2*v**2 - v - 1. Let b be l(z). Do b and -1/6 have different values?
True
Let o = -53 + 75. Let m be 4/o - 390/(-33). Suppose -4*f = 5*v - 6, 2*v + 3*v = 2*f + m. Do -4/3 and f have the same value?
False
Suppose 5*b - 4*h + 35 = 0, 0 = 3*h - 8*h + 25. Let s be (-26)/(-6)*b*5/(-50). Is s smaller than 1?
False
Let n be (30/(-100))/((-81)/8). Let k = n + -433/945. Let a = k - 17/42. Which is greater: 0 or a?
0
Let l = 4.3 + -1.5. Let c = -0.8 + l. Is c >= -1?
True
Let m be (-4 + 10)/((-66)/(-4)). Suppose -5*i = 8*i - 13. Is m < i?
True
Suppose -3*n - 2*d - 181 = 0, 2*n + 9*d + 89 = 14*d. Is -57 <= n?
True
Let r(j) = -j**3 - 5*j**2 - 6*j - 6. Let c be r(-4). Let b(w) = 4*w - 5. Let y be b(2). Suppose y*i - 5 = -c*i. Is i at least 2/9?
True
Let z = 534 - 491. Which is greater: 42 or z?
z
Let o = 85 + -52. Let m be 10*o/6 - 3. Suppose 4*z - m = j, -2*z + 15 = 2*j - 11. Is z at most 13?
True
Let w be (10/(-8))/(120/(-192)). Which is bigger: w or 13/4?
13/4
Let t = 9.47 - 0.87. Let h = 1.4 + t. Let w = -9 + h. Are w and -3 nonequal?
True
Let m(c) = c**3 + 13*c**2 - 17*c - 34. Let h be m(-14). Which is smaller: h or 72/11?
72/11
Let k be (70/25)/7 - (-266)/1085. Does k = 0.2?
False
Let x = -593 - -590. Suppose -3 = -5*j + 7, -3*u + 26 = -2*j. Suppose -y = 1, -t - 2*t + 5*y - u = 0. Is t < x?
True
Suppose 3*h - 20 = -26. Let f be 2/(-6) - (-5)/(-21). Is f > h?
True
Let d(h) = 5*h**2 + 7*h - 3. Let y be d(1). Is 38 less than y?
False
Let n = -11500/4747 + 112/47. Which is greater: n or -1?
n
Let k(p) = 4*p**2 + 21*p + 207. Let j be k(-11). Which is bigger: j or 461?
461
Let a = 3.7 - 17.7. Let q = -13.9 - a. Is -44 at least q?
False
Let f = 34 - 31. Suppose -54 = -6*r + f*r. Is 17 at least as big as r?
False
Suppose -1802 = 8*b + 198. Do -250 and b have the same value?
True
Let q(h) = -h**3 + 16*h**2 - 57*h + 10. Let d be q(11). Do -53/4 and d have different values?
True
Let a be (-1)/(-5)*-2 - 16/10. Which is smaller: a or -41/22?
a
Let v = 3/26 + -41/130. Let g be 7/(-42) - 6/(-36). Which is bigger: g or v?
g
Let l = 9 + -1. Let z = 1 + l. Let a be 20/8*(5 - 1). Is a equal to z?
False
Let x(w) = 4*w**3 - 7*w**2 + w + 3. Let l(a) = 3*a**3 - 6*a**2 + a + 3. Let f(g) = -5*l(g) + 4*x(g). Let s be f(2). Let v = 1/162 + 317/1134. Is s < v?
False
Let v(x) = x**3 - 7*x**2 + 7*x - 13. Let n be v(6). Let w = 3 - 11. Which is greater: w or n?
n
Let h = 17.96 + 0.04. Let i = h + -26. Is i greater than or equal to -3?
False
Let u be (-186)/(-52) + (-38)/494. Is 4 at most u?
False
Let p = 3.1 + -1.5. Let i = p - -7.3. Let a = i - 9. Which is smaller: -2/7 or a?
-2/7
Let i(q) = q**2 - 4*q + 3. Let y(v) = v**2 - 15*v - 13. Let m be y(16). Let x be i(m). Which is bigger: 1/17 or x?
1/17
Suppose 6*l = 5*l + 3. Let m(s) = s**3 - 3*s**2 + 2*s - 4. Let z be m(l). Suppose 7 = -4*x - 4*a + 3, 3*x = -z*a - 5. Which is smaller: -2 or x?
x
Let x be (385/(-264) - 1/2) + 200/240. Let m = 0.3 - 0.2. Is m < x?
False
Let v be (0 + -1)/((-2)/(-6)). Let w = 0.35 + 2.65. Which is smaller: w or v?
v
Let t be 2/1 - 12/6. Suppose 3*j = -t*j + 9. Suppose -x - j + 2 = 0. Is 2/9 equal to x?
False
Let j = 714 - 96388/135. Are -1 and j equal?
False
Let c = -715 - -715. Which is smaller: c or 46/3?
c
Let y = -209944 - -208003.91. Let d = y + 1952. Let h = d - 12. Is h bigger than 1/4?
False
Let w = -338 + 252. Which is smaller: -515/6 or w?
w
Let w be 2 - (-4)/(-3) - 1. Let v = -88 - -87. Are v and w non-equal?
True
Let c = -11.7 + 8. Let n = 1087.9 + -1088. Is c smaller than n?
True
Let h = 225.72 - 241. Let n = -0.28 - h. Which is smaller: 0.2 or n?
0.2
Let j(p) = 4*p + 1. Let w be j(-1). Let i be (-8)/36 - 858/27. Let a be w/((-36)/i) - 0. Is -3 not equal to a?
True
Let w be (16/12)/((-2)/(-3)). Suppose -2 = w*l + 4. Let q be 1/5 + (-84)/20. Are q and l nonequal?
True
Suppose -6306 = -h + 6*h + 3*u, 4*h + 4*u = -5048. Let o be -3*1 + -3 + h/(-208). Which is greater: -1 or o?
o
Let t = -109 - -111. Let x be t - (16/1)/((-600)/(-76)). Which is bigger: -1 or x?
x
Let m = 14.1 - 14.2. Is -15 < m?
True
Suppose -286 + 49 = c - 5*d, 2*d + 4 = 0. Which is greater: -245 or c?
-245
Let q(h) = 11*h + 14. Let b(i) = -5*i - 7. Let f(r) = -13*b(r) - 6*q(r). Let w be f(6). Which is bigger: -1/57 or w?
w
Let g = 17 + -24. Let h be (-93)/(-546) + (0 - (-2)/g). Which is bigger: 1 or h?
1
Suppose -13*s = -s + 720. Which is smaller: s or -121/2?
-121/2
Suppose 4*n = 4*m - 20, -11 = -0*n - 5*n - 4*m. Let p be ((-328)/(-14022))/((-4)/6). Is n at most as big as p?
True
Let i(f) = f + 5. Let s be i(-5). Suppose s = -2*q - 2*c - 104, 3*q - c = -80 - 68. Let v = q + 349/7. Is -1 less than v?
True
Suppose -2856 = -95*h + 53*h. Which is bigger: 137/2 or h?
137/2
Let o(v) = -v**2 - 47*v + 111. Let a be o(-49). Let l(q) = -q**3 - 4*q**2 - q - 4. Let b be l(-4). Suppose h + b*g = -5*g + 24, 5*h = -5*g + 80. Is a <= h?
True
Let h = 45 - 64. Suppose 2*g + 2 = 4*o + 62, 3*o + 63 = -3*g. Do o and h have the same value?
False
Let q(z) = z**3 - 4*z**2 - 8*z + 29. Let a be q(4). Let w be (-30)/(-1 - 0/2). Let x be (-4)/(-32)*w + a. Which is smaller: x or 0?
0
Let x = 360.1 - 359. Which is greater: -1/4 or x?
x
Let q = -0.3 + 0.2. Suppose 115 = -4*l + 5*m, 3*m = 3*l - 0*m + 84. Is l > q?
False
Let n = -1 + 1. Let v = 22384 - 425295/19. Which is bigger: v or n?
v
Let v be 1/(-4) + (-22)/8. Let z = 1 + v. Let c be 2/3 - (-10)/(-15). Does c = z?
False
Let f be -2 + (-36)/(-16) + 9/12. Is f < 16/9?
True
Let m = -2 - -2.04. Let a = -19 - -19.64. Let u = a - m. Does 0.2 = u?
False
Let k = 456 