ch is bigger: v or 0?
v
Let h = -381/77 - -26837/693. Let u = -34 + h. Let z = -2 - -3. Which is smaller: z or u?
u
Let x be 6*5/2 - 2. Let v be 0 + (x - -3) - 1. Let m(h) = -h + 2. Let q be m(-13). Is q < v?
False
Let g(o) = -15*o + 2. Let a be g(-2). Suppose -2*p = -12 + a. Let v = -11 - p. Which is smaller: v or -2/15?
v
Suppose 0 = -c - i - 2, 0 = 2*c - i - i + 12. Let a be ((-2)/6 - -1)*(-18)/c. Which is bigger: a or -1/14?
a
Let m = 299.1 - 299. Is m at least as big as 123?
False
Let z be 10389/105 - (-8)/140. Which is smaller: z or 301/3?
z
Let q(c) = -c**3 + 14*c**2 - 20*c + 51. Let h be q(5). Which is smaller: h or 178?
h
Let j(r) = r**2 + 2*r - 5. Let y be j(-4). Suppose y*s - 16 = -s. Is s >= 2?
True
Suppose 1 = o - 2*u + 5, 4*o = 4*u. Let p be 2 + o + 3 - 4. Is p at most as big as 21/5?
False
Let j(x) be the first derivative of -x**3/3 - 5*x**2/2 - x - 9. Let z be j(-3). Let r be (z/10)/((-3)/6). Which is smaller: -2/35 or r?
r
Let l(a) = -5*a - 2. Let b be l(-5). Do b and 121/5 have the same value?
False
Let t = -10349/52 - -199. Suppose 4*j + 3*l = -8, -6*l = 4*j - l + 16. Is j at least t?
True
Let g be (-6)/117*27/(-279). Which is bigger: g or 0?
g
Let o = 65 - 117. Suppose 7 + 7 = 2*c + 5*g, -7 = c - g. Let l be 0 - (o/(-20) + c). Which is greater: l or 0?
l
Let a(s) = -3*s**2 - 41*s - 98. Let p be a(-3). Let q be (-2 - -2) + 2 - -2. Is q less than or equal to p?
False
Let j(z) = z**2 - 1. Let u be j(-1). Suppose u = 5*n + h + 2, n = 3*h - 3 - 7. Is n not equal to -3/8?
True
Let p = 318 + -309. Is p at least as big as 8?
True
Let b be (-8255)/130 + 1/2. Is -63 > b?
False
Let f = 7.3 - 0.3. Let i(a) = a**2 - 14*a - 32. Let x be i(17). Let b = x + -19. Which is bigger: f or b?
f
Let n = 8 + -8. Let x be 2 + 2 + (-328)/84. Which is bigger: x or n?
x
Suppose -5*x - 6 = -161. Is 127/4 at least x?
True
Let y = -93 + 170. Let r be (-1)/5 + y/35. Suppose p + p = 4. Is p bigger than r?
False
Let j = -117 + 116.845. Let w = -0.075 - j. Let o = 1 + -1.1. Are o and w equal?
False
Let d be (-6)/18*-3*-41. Is d >= -44?
True
Let n(p) = 9*p - 4 + 4 - 10*p. Let k be n(0). Suppose k = -5*s - 54 - 21. Which is bigger: -16 or s?
s
Suppose 0 = -329*h + 335*h - 714. Which is bigger: 118 or h?
h
Let g(k) = -k + 20. Let c be g(18). Let f be 117/6*(-1 + 3). Suppose -c*u = u - f. Is 12 not equal to u?
True
Let m = -8276 + 4510422/545. Let a be -4 + (4 - (-3242)/(-7630)). Let v = m - a. Is v equal to -1?
False
Let y(u) = -u**3 - 7*u**2 + 10*u + 4. Let r be y(-7). Let a be ((-1320)/(-140))/(1/14*-2). Is r != a?
False
Let c be (-1)/((-104)/(-240) - (-2)/(-4)). Suppose 5*z = v - 23, -4*v - 4*z = -z. Suppose -5*i = -v*f - 14 - 56, -f = -i + 14. Which is smaller: i or c?
i
Suppose -537 - 56 = m. Let z = -44477/75 - m. Is 0 at least z?
True
Suppose 3 = -s - g, -10*s - 15 = -5*s + 2*g. Is s at least as big as 164?
False
Let t = 70.5 + 1.5. Let y = t + -72.003. Which is smaller: y or -1?
-1
Let v(l) = l - 6. Let q be v(7). Let r be (q/4)/((-99)/44). Suppose 3*m + 13*m - 4*m = 0. Are m and r equal?
False
Let y be (-15 - -24)*(-8)/6. Let u be y/(-78) - (-30)/(-26). Let n be (-20)/(-14) - (-10 - -11). Which is bigger: u or n?
n
Suppose -58*s = -64*s - 468. Is -384/5 at most s?
False
Suppose 18*w + 24 = 24. Are -3/103 and w equal?
False
Let f be 2/5*30/1. Let d = 4 - f. Let u be 12/63*(-2)/d. Is u smaller than -1?
False
Let r = -885.7 - -897. Which is greater: r or 0.2?
r
Let k = -53 - -47. Let p = 35 + -20. Let z = k + p. Which is bigger: -0.2 or z?
z
Let o = 40.26 + 0.74. Let g = -42 + o. Is g greater than -1?
False
Let b(m) = 20*m + 1000. Let t be b(-50). Is t != 3/704?
True
Let p be (-68)/(-18) + (-2)/(-9). Let f be 22/(-121) - p/(-22). Suppose 2*q = -2*q + m, -q + 2*m - 7 = f. Is q > 1?
False
Let p(w) = w**3 + 3*w**2 - w - 3. Suppose -3*t = -4*m, 0 = -3*m - t + 6*t + 11. Let g be p(m). Is -4/17 at least as big as g?
False
Let v be 170/(-68) + (-2)/(-4). Which is smaller: v or 5?
v
Suppose 5*r + 22 = 7. Let k = 27 - 18. Let q = k - 10. Which is smaller: r or q?
r
Let x be (-50)/(-6) - (-8)/(-6). Let y = x - 14. Is -4 >= y?
True
Let d = -551 - -28103/51. Let n = 1 - 1. Which is smaller: d or n?
n
Let l = 16 - 22. Let z be 1*4/8*l. Suppose 12 + 18 = -5*v. Is v bigger than z?
False
Let c be ((-3)/(-35) - -2) + 8/(-28). Let k(s) = s - 3. Let o be k(8). Suppose 6 = o*f - 2*f. Which is bigger: f or c?
f
Let t = -18 - -18.3. Let a = -0.4 + t. Is -24 smaller than a?
True
Suppose -85*t = -9*t - 3724. Which is smaller: t or 1/3?
1/3
Suppose 0 = -0*b + b. Suppose b = -5*c - 5 + 10. Let u be c - (37/(-18) + 3). Is 0 <= u?
True
Let v = 54 - 37. Let u = 17 - v. Which is greater: u or 3/2?
3/2
Let v = 1896 + -2476. Which is greater: -2/7 or v?
-2/7
Let q be (12/(-1986))/(3 - 0). Let c = -17860/6951 + q. Which is bigger: -4 or c?
c
Let i(v) = -v + 17. Let k be i(9). Let n be 14 + (k/20 - (-22)/(-30)). Are 15 and n nonequal?
True
Suppose -2*h - h = 5*p - 91, 2*p - 158 = -5*h. Let o be (-2)/(-16) - (-5 + 140/h). Is 1 less than or equal to o?
False
Let p = 14594 - 14622. Let k = -35 + 8. Which is bigger: k or p?
k
Let b be ((-13)/(-2) + -5)/(5/(-10)). Is -0.28 bigger than b?
True
Suppose -50*n + 5700 + 1450 = 0. Which is greater: 145 or n?
145
Suppose 8*j + 4 = 4*j. Let s(n) = 8*n + 7. Let h be s(j). Let p = -6091/200 - -243/8. Is p equal to h?
False
Let w = -0.57 + 46.57. Let r = w + -46.2. Is r less than or equal to -2?
False
Let r(k) = -11*k**3 - 3*k**2 + 9*k + 39. Let v(b) = 5*b**3 + b**2 - 4*b - 19. Let y(o) = -4*r(o) - 9*v(o). Let g be y(4). Is g < -6?
False
Suppose 0 = -22*n + 18*n - 52. Suppose 8 = 5*r - 2. Let u = n + r. Is u greater than or equal to -11?
True
Suppose -5*t = -t + 60. Let j = -12 - t. Let h(w) = w**2 - 2*w - 4. Let i be h(j). Which is smaller: i or 1/23?
i
Let t = 31 + -47. Suppose 0 = -9*v + 8*v - 14. Which is bigger: t or v?
v
Suppose -5*o = 3*n - 46, o + 6 = -2*n + 46. Let q(d) = -3*d + 3. Let b be q(-6). Suppose w + 4*v - b = 0, -3*w = w - 3*v - 84. Which is smaller: w or n?
w
Suppose -16*q + 9*q = -49. Let g = 1 - 1. Suppose g = -2*a + q*a. Which is bigger: 1 or a?
1
Let h = 3 - 3. Let g = -484 + 473. Which is smaller: g or h?
g
Let r = 33 - 13. Are r and -2 non-equal?
True
Let r be (-154)/(-6) - (-4 - (-70)/15). Let y = r - 24. Is y greater than 4?
False
Let k be ((-208)/(-4))/((-58)/(-129)) - 2. Let j = 114 - k. Which is smaller: 1 or j?
j
Let d = -102 - -9. Which is greater: d or 2?
2
Let u = 10/99 + 155/99. Which is smaller: 2 or u?
u
Let s be (2/(-4))/(52/16). Let t(i) = -2*i**2 - 10*i + 4. Let b be t(-10). Let n be ((-24)/b)/(2/8). Which is greater: n or s?
n
Let h(r) = -2*r**3 - 13*r**2 + 6*r - 7. Let u be h(-7). Which is greater: u or -2/477?
u
Let u be (-173)/66 + (-76)/(-456). Is -3 greater than u?
False
Let n(j) = 29*j + 6. Let k be n(-3). Let z = 81 + k. Are -4/5 and z equal?
False
Let l = -1258/15 + 84. Let o = 40 + -40. Do l and o have the same value?
False
Let i = -3 + -3. Let v = -166 - -172. Let w be (-4)/i*(-3)/v. Is 0 smaller than w?
False
Suppose 0 = -3*v - 3*v + 72. Let x be 1 - 4/v*0. Is 1/37 smaller than x?
True
Let j = -937/1386 + 19/28. Which is smaller: j or 0?
0
Let z = -1.45 + 3.85. Which is smaller: z or 5?
z
Suppose -3*x + 76 - 1 = 0. Let m = x - 11. Which is greater: 13 or m?
m
Suppose 3*k = 8 - 2. Suppose -3*j + k = -1. Let w(l) = l**3 - 2*l**2 + 2*l - 3. Let i be w(2). Is j less than i?
False
Let v(a) = -a**3 - 8*a**2 - 7*a - 2. Let n be v(-7). Let i be (-3)/(-225)*(n + 0). Which is smaller: -1 or i?
-1
Suppose 21539 = 47*d + 4572. Is d equal to 361?
True
Let d(w) = w**3 + 15*w**2 - 3*w - 5. Suppose -2*p = 5*q + 75, 0 = -3*q - 4*p - 25 - 20. Let n be d(q). Suppose 0 = b - 3*b + n. Which is smaller: 21 or b?
b
Let f = 113 + -108. Suppose f*p - 31 = -16. Which is greater: 21 or p?
21
Let w(g) = -17*g - 2. Let x be w(-1). Let t be ((-190)/x)/(2/3). Are -17 and t non-equal?
True
Suppose 85 = 2*f - 139. Suppose -f + 20 = 4*h. Do h and -22 have different values?
True
Suppose -11*r - 30*r = -48380. Is 1180 greater than r?
False
Suppose -t = -2*p - 3, 4*t - 3*p + 8 = -0. Let l(n) = -n - 1. Let o be l(t). Suppose -4*b - 14 = -2*f, b - 16 = -o*f + 3. Which is bigger: b or -2?
b
Let f(r) = -7*r - 35. Let u be f(-5). Let g be