ch is greater: j or -1/122?
j
Let j = -48079/1548 + 985/36. Let s = j + 4/129. Are s and -4 unequal?
True
Suppose -32*w + 769 = -34*w - 135. Which is smaller: w or -437?
w
Suppose -4*i + o = 6043, i + 1136 = o - 377. Let c = 819 + i. Is -690 > c?
True
Let n = -525 + 526. Is 9/400 greater than n?
False
Let v(r) = -r**2 - 15*r - 17. Let g be v(-13). Let x be (-3)/36*6/27*12. Is g not equal to x?
True
Let k(c) = 23*c + 92. Let m be k(-4). Suppose -6*v = -i - 2*v - 57, m = 3*i + 2*v + 129. Does -45 = i?
True
Let m = -89 - -92. Suppose m*g + g = 5*q + 6, 8 = -4*q + 4*g. Suppose -q*l + 2 = -0*l. Which is smaller: -1/68 or l?
-1/68
Let b = -16826 + 19570. Which is bigger: 2745 or b?
2745
Let y(v) = v**2 + v. Let i be y(0). Let n(z) = 2*z**3 - z**2 - z + 2. Let b be n(i). Let x be (b/(-6))/((-4)/(-12)). Is x greater than or equal to 31?
False
Let b(m) = -21*m**3 - 3*m**2 - 8*m + 1. Let q be b(-1). Let c be (0 + 4)*25/4. Is c smaller than q?
True
Suppose 0 = 12932*s - 12936*s + 4*a + 44, 0 = -4*a - 40. Let b be 8/(-6)*9/114. Is s less than b?
False
Let n be (-1)/(-4) + 42/(-8). Let d = 0.268 - 0.3221. Let o = 3.0541 + d. Which is smaller: n or o?
n
Let x = -2211 - -2262. Which is smaller: x or 40?
40
Let l(t) = 17*t + 1950. Let o be l(-20). Is o <= 1612?
True
Let i = 2556 + -1905.5. Let p = -650 + i. Which is greater: 5.2 or p?
5.2
Suppose -10*u + 8*u = -32. Let g be (9/12)/(24/u). Which is bigger: g or 107?
107
Let c be (-99 - -100) + -3*(-2)/6. Let i be (5/(-2) - -2)*0. Suppose c*w = -2*w - i*w. Is -2/83 at least w?
False
Let d(v) = 14*v - 114. Let t be d(-13). Let u = t + 295. Which is smaller: u or -2/391?
u
Let b be (-15)/(-105) + (-18526)/126. Let a = b - -145. Is a != -2?
True
Let s(x) = x**3 + x**2 + 16*x - 39. Let c be s(5). Suppose -3*t - 2*j + 260 = -318, -t + 186 = -j. Is c less than or equal to t?
False
Let n be 5 + (-48297)/9387 + (-1)/(-7). Which is smaller: n or 0?
n
Let g(o) = 10*o**2 - 34*o + 27. Let j be g(2). Are j and -5/1821 non-equal?
True
Let n be 231/14*4/3. Suppose 9*k = 20*k + 484. Let c be (-4)/5*n/k. Which is greater: 0.19 or c?
c
Suppose -3*r - 45 = -4*o, 5*o = -r + 5 - 20. Let t be (-55 - -3)*r/(-10). Does -77 = t?
False
Let c = -19036 + 19040. Is c < 0.979?
False
Let j = -13.9851 + 14.3341. Let m = -0.3 - -0.3. Which is greater: m or j?
j
Let c be 2/(-8) + 595/(-714)*3/(-2). Is c bigger than -3/1847?
True
Let s(z) = 5*z - 17. Let p(c) = 1. Let l(y) = 5*p(y) + s(y). Let o be l(2). Which is smaller: -30/13 or o?
-30/13
Let z(f) = -2*f**3 + 5*f**2 - 28*f + 28. Let b be z(4). Is -129 bigger than b?
True
Let x = 480 - 542. Let s = 62.0336 + x. Which is bigger: -1 or s?
s
Suppose -5*r = 5*a - 50, a = -3*r + 6*r + 30. Suppose -55*p = -40*p - a. Is p at most 1/899?
False
Let v = -23187 + 209957/9. Let j = v - 9098/63. Let m(u) = 22*u - 114. Let k be m(5). Which is bigger: j or k?
j
Let h be 3102/(-8) + 30/(-40). Let z = -9329/24 - h. Is z > 0?
False
Let d(n) = 5*n - 14. Let r(g) = -6*g + 15. Let a(l) = 7*d(l) + 6*r(l). Let z be a(-12). Suppose -z*k + 13 + 2 = -3*y, 0 = y + 3*k - 8. Does 2/183 = y?
False
Suppose -g + 274 = 271. Suppose -4*z + 16 = f, -g*z - 27 = -f + 17. Is 33 at most f?
False
Suppose 0 = -3*l - l + 888. Let k be 5/(150/l)*5. Is 36 less than k?
True
Let m be (-1490)/12 - (141/(-90) - 238/(-170)). Is -1239/10 bigger than m?
True
Suppose 5*z = -0*z, -u = 2*z - 8. Let l = 78829/8408 - 1/2102. Which is smaller: u or l?
u
Let t be 2 - (68/2)/2. Let b = -240.2 - -21.3. Let l = b - -219. Which is smaller: t or l?
t
Let x be 25 - 0*4/(-8)*-1. Suppose -x*q + 24*q = -42. Is q smaller than 43?
True
Suppose 0 = -5*j + 196 + 144. Let g = j - 59. Let i = 17/2 - g. Which is bigger: i or -2?
i
Let x = -1 + -3. Let n be ((-226)/16)/((-3)/x). Let a = -19 - n. Which is bigger: 0.07 or a?
0.07
Let q be ((-11)/((-462)/(-36)))/((-7)/2). Which is bigger: -1 or q?
q
Let t(j) = -2*j**2 - 7*j + 10. Let f be t(-8). Let q = 66 + f. Suppose -4*m + 15 = 3*z, q*m - m - 2*z = -10. Which is bigger: m or 3?
3
Let n be (-2)/(-9) + (-10120)/33 + -6. Let l = n - -292. Is l bigger than -21?
True
Suppose 4*d - 3*i = -0 - 2, 0 = 2*d + 3*i + 10. Let x be 336/(-4)*d/(-55). Let g = x - -18/5. Is 2 at least as big as g?
True
Suppose 3*a - 5*g = 7362, 12270 = a + 4*a + 3*g. Let n = a - 27024/11. Which is bigger: n or -2?
-2
Let g be (-14)/(-77) + (-20)/(-11). Let m(p) = 57*p**2 + 4*p + 4 - 2*p - 58*p**g. Let k be m(3). Is 6 <= k?
False
Let d(l) be the first derivative of l**3/3 + 4*l**2 - 7*l + 3. Let m be d(5). Let y = -31832 + 31889. Which is bigger: y or m?
m
Let t = -15151 - -15153. Which is smaller: 1542 or t?
t
Let l(i) = 3*i**2 + 10*i + 37. Let v be l(-10). Let d = v + -237. Let c be (-3)/(-12) + (-39)/140. Do d and c have the same value?
False
Suppose -18*q - 334 + 706 + 600 = 0. Is q at least 1012/19?
True
Suppose -4*k = -252 - 100. Let h(m) = m**3 - 8*m**2 - 6*m + 59. Let w be h(9). Which is smaller: w or k?
w
Let j = 13 + -9. Suppose -5*z = 5*b + 5, 5*z = j*b - 0*b + 13. Is b less than or equal to -2?
True
Suppose 40 + 72 = 8*g. Let r be ((-12)/24)/(68/g). Which is bigger: r or 1?
1
Suppose 4*h = 3*b + 56, 4 = -6*b + 5*b. Let o be -1 + 4/98 - (h + -12). Is o at most as big as -0.2?
False
Let r(z) = -z**3 - 5*z**2 + 6*z + 5. Let l be r(-6). Let a(k) = -k**2 - 5*k - 3. Let f be a(-3). Suppose -28 = 4*s + 4*t, l*t - 6 = f*t. Is s equal to -9?
False
Suppose -4*z + 44 = -6*z - 4*y, z + 15 = 5*y. Let c be -12*(-2)/z*(0 + -85). Let g = c - 88. Is 11 at least g?
False
Let h(u) = -u**3 - 17*u**2 - 45*u - 870. Let g be h(-17). Suppose -149 + 45 = p. Is g at most as big as p?
True
Let l = -696 + 715. Let t = -1.8 + 18.8. Let o = t - l. Which is smaller: 23 or o?
o
Let i(l) = l**3 + 7*l**2 - l - 4. Let u be i(-7). Suppose 0 = u*x + 15, 3*x - 13 - 28 = -2*v. Is v at most as big as -1/4?
False
Let r(w) = w**3 - 10*w**2 - w + 224. Let j be r(12). Which is greater: j or 2504/5?
2504/5
Let k = 49 + -49. Suppose -5*s - 14 + 44 = k. Suppose -s*r - 25 = -11*r. Is 0 equal to r?
False
Let i = -14634 + 15001. Which is smaller: 1103/3 or i?
i
Let g(m) = -m + 14. Let t be (3 - (-17)/(-5)) + (-201)/(-15). Let w be g(t). Which is smaller: w or 10/47?
10/47
Let f = -0.1608 - -150.8608. Let c = f + -142. Let q = 9 - c. Is -2/3 != q?
True
Let n(y) = -4*y**2 + 35*y + 6. Let o be n(13). Let u = o + 213. Let i be 2/12 + 2/(-3). Which is smaller: u or i?
u
Let h(y) = -y**3 + 4*y**2 + 10*y - 24. Let w = -120 - -126. Let s be h(w). Is -104/3 at most s?
False
Let u(v) = v**2 + 5*v - 10. Let f be u(4). Let k = f - 24. Let n be (k + -4)/((-2)/(-3)). Are -5 and n equal?
False
Let s = 2.1 - -12.9. Let a = 15 - s. Let y = 137.9 - 142. Is a != y?
True
Let l be 3/9*-3 + 7. Suppose -l*c - 62 - 94 = 0. Let f = c + 49. Which is smaller: f or 22?
22
Suppose 94 = -4*s + x + 88, -2*s = 5*x - 8. Which is smaller: 4/255 or s?
s
Let m = 15656 - 26082893/1666. Which is smaller: m or -1?
-1
Suppose 361 - 343 = 18*d. Are d and -26/391 equal?
False
Suppose 5*y = 3*y. Suppose 6*u + u - 77 = y. Is 17 smaller than u?
False
Let l = -6 - -6. Let a = -53802 - -53449. Is a greater than l?
False
Let n = -2069.9 + 2069. Let h = -0.02 + -0.04. Is n at most as big as h?
True
Let w = 10148 - 10975. Is 0 at least as big as w?
True
Suppose 11*b - 7*b = 3968. Suppose 9*s - 10*s - 196 = -2*u, -2*u - b = 5*s. Which is greater: s or -0.1?
-0.1
Let j = 17062 + -17061.1. Which is bigger: -0.1312 or j?
j
Suppose 2*u - 10 = 28. Let z = -30 + 52. Let v be 466/z + 16/(-88) + -2. Do u and v have different values?
False
Let j be 4 - 1/1 - 2. Suppose -3*r = x - 7 - j, r - x = -4. Let w = 55599/80 + -695. Is r at most w?
False
Let o = 193.5 + -8.5. Let c be (-26)/(-7) - 0 - (-7 + 15 - 4). Which is bigger: o or c?
o
Let u(j) = -j - 5. Let a be u(-6). Let g be -469 - a - (-4 + 2). Let r = 1391/3 + g. Which is smaller: r or -0.1?
r
Let d = 0.23 + -0.03. Let z(l) = -6*l**2 - 4*l - 4. Let m be z(-1). Let j be (17/(-3) - m)*11. Which is bigger: d or j?
j
Let v = -2779.243 - -2778. Let r = v + -0.117. Is r < 0?
True
Let y be (1 - (-1114)/4) + (-2)/4. Let m = 261 - y. Is m bigger than -22?
True
Let k be (-1 - 1) + -4 + (-4)/(-2). Let i be k*246/(-54) - 4. Is i at least as big as 14?
True
Let q(y) = -y**3 - 2*y**2 - 16*y - 26. Let i 