j
Let y(q) = -2591*q - 24. Let u be y(-6). Let v be u/5178 - (-3 + 5 + 1). Let g = -3430/9493 + v. Which is smaller: 1 or g?
g
Let p be -8*(-60)/1944*-1. Does -1 = p?
False
Suppose -2*b = 3*k - 2517 + 42, -k - 7 = 0. Which is greater: 1258 or b?
1258
Let y be (4 - (-289)/(-21)) + 1. Let u = 26/3 + y. Which is bigger: 2 or u?
2
Let z be -7 + 3 + 1 - -8. Suppose -z*l + 25 = -15. Suppose 40 = 5*r - 3*b, -3*r + 3*b = b - 24. Is l bigger than r?
False
Let l(s) = -s**2 - 155*s - 626. Let z be l(-4). Is z <= -332/15?
False
Let z = -371.38 - -370. Let m = z - -1.38. Is m at least as big as -87?
True
Let z = -2 - -2. Let c be (-22)/(-12) - (2 + z). Let w(m) = -2*m**3 + 12*m**2 + 223*m + 10. Let t be w(14). Which is smaller: t or c?
t
Let p(m) = -m**2 + 4. Let o be p(0). Let f(a) = a**2 - 6*a - 16. Let u = -181 - -189. Let g be f(u). Which is greater: g or o?
o
Let w be ((114/(-16))/(-3))/(4/(-24)). Let l = w - -635/44. Is l greater than or equal to -1?
True
Suppose -2*a - 5*t = -35 + 48, -3*a = -5*t - 18. Which is bigger: -76/179 or a?
a
Let h = -197261/183635 + 102/95. Is h bigger than -1?
True
Let y be 14/(-20)*66/(-3542)*-14. Are 0 and y equal?
False
Let q be 54/(-9540)*(-4)/6. Let s = 276 - 276. Which is smaller: q or s?
s
Let p(i) = 5*i + 9. Let k be p(-10). Let m be (1/k)/(2/8). Let l = -1654 - -1655. Which is bigger: l or m?
l
Suppose -8*l - 2*k = -4*l - 4, -5*k + 17 = 3*l. Which is smaller: l or 2/429?
l
Suppose 77*a - 495 = -4*v + 82*a, 4*a = -12. Which is smaller: v or -45?
-45
Let c be (-2 + 1)/(-8) - 342/48. Let b(q) = -q**2 + 2*q - 2. Let s be b(2). Which is smaller: s or c?
c
Let x = 1421 - -1099. Let b be 1416/x - (-4)/(-30). Which is greater: b or -1?
b
Suppose -242*c + h = -240*c + 24898, 0 = -c + 2*h - 12461. Which is smaller: -12444 or c?
c
Let h = 36 - 238. Let p be h/5 + 54/135. Is p less than -40?
False
Let k = -3/7 - -5/28. Let w(r) = -r + 12. Let v be w(53). Let p be 0/(-1)*v/(-123). Which is smaller: p or k?
k
Let v be -5 - 860/(-69)*(3 - 1491/574). Which is bigger: v or -1?
v
Let f = 246476845126/225 - 1095454730. Let w = -2085 - f. Which is smaller: 2 or w?
w
Let s = 21068.1 - 21063. Is 6/23 equal to s?
False
Suppose -5 = -j + 2*j - 4*q, 0 = -2*j - 4*q + 26. Suppose 0 = -i - 15 + j. Let t be -1 + 0 + (i/1 - -11). Is 6/7 <= t?
True
Let v = -28 + 27.42. Let f = v + 11.58. Which is smaller: 2/3 or f?
2/3
Let r(x) be the third derivative of -x**6/120 - x**5/20 - x**4/4 - 2*x**2 + 89*x. Let c be r(-4). Is c != 41?
True
Suppose 0 = 9*c - 4*c + 45. Let j be (5 - (-116)/36) + (-4)/(-5). Let w = j + c. Is -1 > w?
False
Suppose -987 = -3*k - s + 220, -2017 = -5*k + s. Let c = -4409/11 + k. Which is bigger: 2 or c?
c
Let g = 1.03231 + -0.03231. Let z = -9 + 8.4. Is z greater than g?
False
Suppose -2*m + 2 = 0, 3*g + 2*g + m = 31. Suppose g*n = 3 - 39. Let a(p) = p**2 - 14*p + 4. Let y be a(13). Is y <= n?
True
Let n be -4 - (-2 + (-13 - -10)). Is 3/470 equal to n?
False
Let b(w) = 78*w - 321. Let z be b(6). Suppose 4*v = g - 156, g + 4*v - 146 = 3*v. Is z < g?
True
Let d(i) = 4*i + 35. Let u be d(0). Let a be 1851/(-1260) - (-10)/u. Let z = a - 3/20. Is -1 at least z?
True
Let g = 0.154 - -96.846. Let r = 5/353 - 368/1059. Is g bigger than r?
True
Let o(f) = f**3 - 8*f**2 + 8*f - 7. Let h be o(7). Let p be (105/(-30))/(h + 2/12). Are p and -21 equal?
True
Let g(t) = -11*t + 232. Let f = 278 + -257. Let i be g(f). Which is smaller: i or 5/61?
5/61
Let m(z) = z**3 - 16*z**2 + 16*z - 46. Let g be m(15). Let v(o) = 3*o + 57. Let t be v(g). Do t and -35 have the same value?
False
Suppose -1736 = -199*z - 49*z. Which is greater: 195/34 or z?
z
Let g = 2212.5 - 2213.824. Are -0.6 and g nonequal?
True
Let o = -2336681/88 - -26553. Are 0 and o unequal?
True
Let m be (19 + -19 + 9)*(-120)/(-9). Let y = 154 - 37. Which is bigger: m or y?
m
Let x be 3/(75/(-10) - -3). Is x less than or equal to -7/6?
False
Suppose 0 = 3*t - 17 + 11. Let y be (((-2)/3)/t)/(4/(-12)). Is 4 smaller than y?
False
Let j be (-2)/6*(20 + (-31596)/1578). Let o be (1 + -4 + 4)*1. Is j less than or equal to o?
True
Let x = 24 + -19. Let m = 43 - x. Let g(o) = 3*o**2 + 76*o - 14. Let f be g(-26). Is m smaller than f?
False
Let c(f) = f**3 - 14*f**2 + 12*f + 19. Let s be c(13). Let w be -2*(8 + -5 + (1 - s)). Which is smaller: -2 or w?
-2
Let h(x) = x**3 + 25*x**2 + 29*x + 2354. Let k be h(-27). Which is smaller: k or 563/5?
563/5
Let a = -331 + 131. Let i = a - -113. Let g = 86 + i. Which is bigger: g or 14/3?
14/3
Suppose 5*w = 8*w - 171. Suppose -5*z = 63 + w. Let i be (-41)/(-4) + 6/z. Which is smaller: i or 53/5?
i
Suppose -20 = -5*u + 15. Suppose 4*f = -5*a + 83, 4*a - 2*f - 52 = 2*f. Suppose -4*k - 7 = -2*n - 17, -5*k = -2*n - a. Which is bigger: u or n?
u
Let n = 0.083 - -37.917. Let k = 40 - n. Let d = k - 1. Which is bigger: d or -5/7?
d
Let i(r) = 7*r - 14. Let t be -6 + (-12)/3*-2. Let l be i(t). Which is greater: 2 or l?
2
Let p = 2404 + -764467/318. Is -1 smaller than p?
True
Let d be 84/(-16) - 18/24. Let y = d - -8. Suppose -3*a - y = -5*a. Which is bigger: 7/3 or a?
7/3
Let j = 742 - 716. Suppose j*o = -229 + 3115. Is 109 <= o?
True
Suppose 15*v - 3*v + 12 = 0. Which is smaller: 13/61 or v?
v
Let b be (-35)/(-5) - 660/60. Is 835 bigger than b?
True
Let c(y) = 23*y - 246. Suppose 0 = 24*n - 11*n. Let b be c(n). Is -246 greater than or equal to b?
True
Let k(z) = z**3 + z**2 + z - 1. Let u be k(1). Let f be -47*13/(-305) - u. Let i = -597/3965 - f. Which is bigger: i or 0.2?
0.2
Let i be (-8 - -8)/(9 - 7). Is i greater than 1/39?
False
Let g = -1041.59 - -1042. Let y = -0.2 + 0.1. Which is smaller: g or y?
y
Let i be (-1650)/770 - 17223/28. Are i and -618 unequal?
True
Let w = -38 + -2. Let z = 8.2 - 8.1. Which is smaller: z or w?
w
Let j = 351 - 503. Let a = -67 - j. Let l = a - 96. Are l and 2 non-equal?
True
Let u = -26861 - -26855. Let z = 2.101 - 0.001. Let b = 2 - z. Which is smaller: u or b?
u
Let z = -9 + -3. Let h be -8 + 605/(-65) + 5. Which is smaller: h or z?
h
Suppose -82823 = 283*b - 6*b. Which is smaller: b or 1?
b
Suppose -2*m + 2*s + 3 = -3, 0 = 5*s + 5. Suppose -2*v + 194 = -4*t, v + 3*t + 40 = 112. Which is greater: v or m?
v
Let g(i) = 14*i - 141. Let a be g(10). Let m be -1 + (-2 - (-4 - a)) + -2. Which is bigger: m or -17/7?
m
Let h be 3/(-6) - 10/(-40)*2. Let a(x) = 3*x - 2. Let d be a(2). Suppose -2*w + d*w = -2. Which is greater: h or w?
h
Let w be 0 + (-3 + 5 - -1). Suppose w*l - 9 = d, 0 = -5*d - 3*l - 6 - 21. Let y be (-18)/27 + 14/d. Is -6 not equal to y?
True
Suppose -2*p + 8 = -0*u + 3*u, -4*p = 2*u. Let q be (16/(-10))/(1 - (u + 2)). Let w = q + 1/75. Are -15/4 and w nonequal?
True
Let g = -291 - 113. Let h = g - -400. Let i = 0.8 - -0.2. Which is smaller: i or h?
h
Let j(a) = -1106*a + 33. Let t be j(1). Are t and 0.2 nonequal?
True
Let p = -666.001 + 667. Let r = 0.001 + p. Let q = 4.6 - -1.4. Do r and q have the same value?
False
Let p be ((-892)/(-30))/((-83)/5 - -11 - -5). Is -49 < p?
False
Let h = 331986 - 331985. Let b = -0.47 - -0.01. Let x = b - -4.26. Is x <= h?
False
Let c be (-423)/(-6)*55/429 + -9. Suppose 4*w = 3*w. Is w less than c?
True
Let y = 6263 + -3518. Which is smaller: y or 2744?
2744
Let c(o) = 5*o**2 + 21*o - 129. Let b be c(-15). Which is bigger: b or 679?
b
Let g = -484 + 485. Let t be (6*g/(-3))/2. Is t < 2/149?
True
Suppose 0*z = 4*z. Let u = 25254 - 25247. Let a be (z/u)/(-4*1) + -16. Which is smaller: -17 or a?
-17
Let r = -261176/14973 - -282/713. Is r <= -17?
True
Let w(i) = -25*i + 41. Let b be w(3). Let r = b + 51. Which is greater: r or 15?
r
Let q(p) = -2*p**2 - 143*p + 219. Let m be q(-73). Is -57/43 greater than m?
False
Let u(y) = 4*y**2 - 2*y + 545. Let a be u(0). Let d be a/75 - (-6)/(-10). Let s be -2*(8/6 + -1). Which is smaller: s or d?
s
Let t = -8 + 6. Let g = -10052 + 10027. Which is smaller: t or g?
g
Let d(q) be the second derivative of q**3/6 - q**2/2 + 2*q. Let b = -57 + 75. Let j be d(b). Which is bigger: 16 or j?
j
Let o = -3 + -4. Let g be 2 + -3 - (-27)/o. Suppose 5*t = 5*x + 25, 0 = -t + 5990*x - 5991*x - 17. Which is greater: g or t?
g
Suppose -567*o + 1138*o = 565*o - 4458. Is 6/11 <= o?
False
Let w be ((-20)/(-25))/(2475/375). Let i be 1/4 + 2/56. Is w != i?
True
Let 