 n?
m
Let h be ((-3)/(-5))/((-1688)/176 + 10). Which is smaller: h or 2?
h
Suppose -4*j = -2*r - 7 + 43, -2*r - j = -21. Let z = r - 12. Which is smaller: 1/20 or z?
z
Let j = -5.4 - -5.364. Let b = -6.036 - j. Which is greater: b or 2/5?
2/5
Let q = 18 - 65. Let t = -187/4 - q. Suppose i + 5 = 2*r, -8*i + 13*i = r + 2. Which is greater: i or t?
i
Let z = -237 + 241. Which is smaller: 6 or z?
z
Suppose -4 = n + q, -9 + 1 = -n + 3*q. Is -48/55 bigger than n?
True
Let d be (2/4)/((-15)/(-36)). Let i be 5 - 7/((-7)/(-4)). Let l(b) = b - 1. Let s be l(i). Which is smaller: s or d?
s
Suppose 8*f + 590 = 3*f. Is f <= -120?
False
Suppose -16*p + 11*p - 15 = 0. Suppose 41 = -8*g - 23. Which is bigger: p or g?
p
Let n be -13 - 5/(2205/(-5726)). Is n not equal to 4/19?
True
Let y = -45 + 31. Let v = 13 + y. Let x = 44 + -44. Which is smaller: x or v?
v
Let o(x) = -2*x**3 - 2*x**2 + x - 1. Let u be o(-2). Suppose -5*n - 5 = 2*a + u, 4*a - 4*n - 8 = 0. Is 2/43 at least a?
True
Suppose -2*q + 14 = -3*w, -5*w - 23 = -3*q - 0*q. Let o be q*(16/4 + -12). Which is smaller: -7 or o?
o
Let o = -5 + 7. Suppose 13 = 5*b + h, 3*b = 2*h + 17 - 4. Is o at least as big as b?
False
Let f = 4019 + -32107/8. Are 5 and f nonequal?
True
Let g be (4/(-6))/(2/(-15)). Suppose g*o + 6 = 2*x - 4, -20 = 4*x. Let l be (2/o)/((-7)/(-8)). Which is bigger: l or 1/4?
1/4
Let v = 1109933/322 + -3447. Is 0 not equal to v?
True
Let h = 321 - 2249/7. Let o(d) = d**3 + d**2 - 2*d. Let x be o(-2). Is x > h?
True
Let u be 4/(-4) + (-50)/(-46). Which is bigger: u or -2/5?
u
Let r be ((-3)/(-121))/(75/(-100)). Is 0 less than or equal to r?
False
Let i be 8/(-42)*-3 - 128875/225225. Is i less than -1?
False
Suppose 5*y - 2*y - 5 = 4*v, 0 = -2*y + 5*v + 1. Suppose -3*x = 0, y*j - 2*x = -6*x + 27. Let z be ((-24)/j)/((-4)/6). Which is bigger: z or 2?
z
Let i = -148 - -148.022. Let p = 0.022 - i. Are -0.68 and p equal?
False
Let i be -2 + 2 + (-1)/4. Let x(f) = 2*f + 2. Let l be x(0). Suppose 2*k = o - 8, -o - l*o - 6 = 0. Is k at most as big as i?
True
Let o = -57 - -62. Suppose o*r - 5*u = -215, -3*u - 21 = -2*r - 108. Which is bigger: -43 or r?
r
Let z(c) = -2*c**2 - 26*c - 59. Let x be z(-10). Let j = 40 + -155/4. Does j = x?
False
Let l be 1/(-4) + 63/(-4). Let y = -7049 + 7043. Is y greater than l?
True
Let r = -13 - -17. Suppose -2*k - 7 = 5*t - 4*k, r*t - 5*k = -9. Let s be 1 + 1 + t + 5. Which is greater: s or 8?
8
Let b = 579 - 554. Which is bigger: b or 1?
b
Let u be 2*((-88)/(-16) + -7). Which is greater: u or -48/23?
-48/23
Suppose -2*s + 12 = -4*l, 2*l - 4*s + 3 = l. Let p be 1/(l*1/9). Do p and -4 have different values?
True
Let x = -10509/13 - -808. Let v = 15907 + -2481419/156. Let n = v + x. Which is bigger: n or 0?
n
Suppose -6*d = -4*c - 2*d + 12, -5*c + 3 = d. Let o be (0 + (-5 - c))*2/(-78). Are o and -1/10 unequal?
True
Suppose -3*p = 4 - 7. Suppose -n = -3*f + 40, 3*f + 0*n - 28 = -2*n. Let g be p/3 + 188/f. Is g bigger than 15?
True
Let r(v) = v**3 + 2*v**2 - 3*v + 35. Let c be r(-6). Which is smaller: -93 or c?
-93
Let q(h) = -h**2 - h + 5. Let o be q(0). Let l(u) = -6 - 3*u - u**2 + 7*u + 2*u. Let g be l(o). Which is greater: g or 1/19?
1/19
Let x = 466 - 563. Which is smaller: x or -479/5?
x
Let j be 2 + 40/(-18) - (-1182)/5805. Which is bigger: 1 or j?
1
Let l = 583/1722 - 3/574. Let s = 1.7 - 15.7. Which is smaller: s or l?
s
Suppose 21 = -12*y - 51. Is -105 greater than or equal to y?
False
Let p be 129/(-172) + 38/8. Is 49/18 at least p?
False
Let x be (-1176)/11550 - 4/(-22). Let j(d) = d**2 - 2*d - 4. Let o = 1 - -2. Let c be j(o). Are x and c nonequal?
True
Let a(q) = -q**2 - 8*q + 8. Let s be 27/6*(-8 - -6). Let k be a(s). Which is smaller: k or 2/15?
k
Let k be 3 - -62*(-21)/182. Is k smaller than 2/7?
True
Let y be (6/9)/((-12)/(-13770)). Are 766 and y nonequal?
True
Let d(j) = 4*j + 47. Let c be d(-20). Let f = -29 - c. Is 31/6 >= f?
True
Suppose n = 59*b - 60*b - 1286, 0 = 5*n + 4*b + 6428. Which is bigger: -1283 or n?
-1283
Suppose 0*o + 100 = 2*o. Let x = o - 33. Let w = x - 18. Does w = 1/14?
False
Suppose 3*k - 3*z = -k - 59, 0 = -3*k + 4*z - 46. Let x(m) = -m - 10. Let s be (3 + -11 + 3)*-1. Let i be x(s). Is i bigger than k?
False
Suppose -2*r + 2*m + 4 = 0, 3*r - 5*m - 11 = 5. Let n be (-5)/(-30) + 2/r. Let q = -31 + 31.2. Which is bigger: q or n?
q
Let i = -429/184 + 22/23. Let h be (-20)/(-35) - 11/7. Is h at most as big as i?
False
Suppose -30 = 14*w - 17*w. Suppose 4*f - w = -f - 2*x, 6 = 3*f - 5*x. Suppose 2*d + 3*r = -d + 39, -2*d + f*r = -22. Is 11 <= d?
True
Suppose -53 = -3*m + 5*l, 0*m - 38 = -2*m + 4*l. Let g be 22/m + 128/(-66). Is 0 <= g?
True
Let y = 11833/10030 + -101/85. Suppose 0 = 3*i - 6*i. Which is smaller: i or y?
y
Let q = -0.2222 - 100.7778. Which is bigger: q or -0.02?
-0.02
Let r = 515 - 1021. Let l = 12648/25 + r. Let k = 1.66 - -0.34. Which is smaller: l or k?
l
Suppose -161 = -w - s - s, 4*w - 4*s = 656. Is 163 less than w?
False
Let m(c) = c**2 - c + 9. Let u be m(0). Suppose 1 - 15 = 2*p. Let o = p + u. Which is greater: 1/2 or o?
o
Let u be (-27)/4*(26 - 15 - 7). Let y(w) = -3*w + 1. Let a be y(10). Are a and u nonequal?
True
Let d be 8/(-28) - (2 - 89914/(-861)). Let j = d - -320/3. Which is smaller: j or 1?
j
Let r = 0.78 + -0.88. Is r bigger than 15?
False
Suppose -2*u - u = 3*z + 9, 0 = -u - 2. Let o(f) = 86*f + 5. Let h be o(3). Let g = -5259/20 + h. Is z > g?
False
Let z(n) = -n**3 - 5*n**2 - n + 5. Let r be z(-5). Suppose -42 = -r*d + 8*d. Are d and 21 equal?
True
Let x = 10 + -6. Suppose 0 = 2*z - 2*g - 32, -3*z - g = x*g - 88. Let w = 8 - z. Which is bigger: w or -14?
w
Suppose 2*x - 4*p = -36, 2*x + 4*p + 6 = -22. Which is smaller: x or 0.13?
x
Suppose 2*u + 0*u = 11*u. Which is smaller: u or 7/19?
u
Let w be -8 + (-5)/((-10)/8). Let y be w/26 + (-288)/(-351). Let s(c) = 2*c - 3. Let d be s(2). Is d < y?
False
Let x(r) = r**2 - 21*r + 20. Let y be x(20). Let j be (y + 1 - -5) + -2. Is j bigger than 3?
True
Let o = -507.5 + 508.5. Let s = 0.6 - 2. Is o at least s?
True
Let h be (-4)/2 - (4110/306 - 15). Which is smaller: h or -1?
-1
Let s(c) = -c**3 - 12*c**2 - 35*c + 2. Let k be s(-7). Suppose 2*i + 3*m = 2*m + 127, -k*m - 10 = 0. Which is smaller: 67 or i?
i
Let z(m) = m**2 + 6*m - 5. Let g be z(-5). Let j be 33/(-4)*24/6. Let y = j + 23. Are g and y equal?
True
Let g = -404 + 379. Let m(i) = -i**2 - 2*i + 6. Let d be m(-6). Let p = d - g. Is p less than or equal to 7?
True
Let o = -1.091 + -224.909. Is o at most as big as 2?
True
Let v = 1018 + -1038. Is v greater than or equal to 29?
False
Suppose -3*i - 58 = -4. Let x = -21 - i. Let k be 4/(-14) + 82/(-56). Is k <= x?
False
Let n be 2/(7 + 0 - 0). Suppose 0 = 8*y + 155 + 141. Let u = -37 - y. Is u <= n?
True
Let w be 0 - 12/8*-2. Suppose a = -0*a + l + 3, 4*a = -l - w. Suppose -3*q + 7*q = a. Is q < -1/18?
False
Let o be 5*1*4/(-10). Let l be 2/(-5 + 3 + 1) + -17. Do l and o have the same value?
False
Suppose 2*s - 21 - 3 = 0. Let m = s + 1. Which is smaller: 12 or m?
12
Let c be (-2)/(-6)*(-9)/(-3). Let y be (-3)/2*(1 + c). Suppose -197 + 200 = -g. Is y at most as big as g?
True
Let n = 264.72 + -275. Let l = -10.3 - n. Is 0.5 bigger than l?
True
Let b = -28 + 43. Suppose -w + 4*v = 15, -3*w = 2*w - 5*v + b. Which is smaller: 1/11 or w?
1/11
Let h = 8222 + -1833512/223. Which is bigger: -1 or h?
h
Let o(l) = -3*l**2 - l - 1. Let k be o(2). Let c be (-10)/k*3/(-17). Which is bigger: c or -1?
c
Let h(x) = x**3 - x**2 + 3. Let d be h(0). Suppose 0 = 5*m + 4*i - 12, 4*m + 2*i - d*i = -3. Suppose -w - 5 + 1 = m. Is -2 at least w?
True
Let o(h) = 3*h**3 - 6*h**2 - 1. Let f be o(3). Let j be (1 + 0)/((-2)/f). Which is smaller: j or -14?
-14
Let a = 0.89 + 0.72. Which is greater: 2/5 or a?
a
Suppose -7*h = -1492 + 148. Suppose 5*t = -3*t + h. Which is smaller: 23 or t?
23
Let r(j) = j**2 + 22*j - 48. Suppose 4*l + x = 3*x - 100, -3*l + 3*x - 81 = 0. Let p be r(l). Which is bigger: p or -24?
-24
Let t = 4.9 - 5. Let x = t + 0. Let v = 0.09 + 2.91. Is v < x?
False
Let g(b) = b**3 + 7*b**2 + b + 6. Let o be g(-6). Let a be ((-42)/(-9))/(8/o). Is a equal to 21?
True
Let d = -19695/29 + 679. Let h(a) = -a**3 + 10*a**2 - 21*a - 1. Let y be h(7). Is d < y?
False
Le