*k + 70. Let q be r(-10). Which is bigger: q or -2?
-2
Let h be (-51502)/110 - -2*1/10. Let v = -460 - h. Let f be 0 - 1 - (-4 + 1). Are v and f nonequal?
True
Let h(i) = 5*i**2 - 7*i - 5. Let a = 71 - 73. Let f be h(a). Let k = f + -36. Is k at least -6?
False
Suppose -d + 3*d - 32 = 0. Suppose -d*t + 9 = 681. Is t > -45?
True
Suppose -c + 16 = -d - 6*c, -4*d = 2*c - 8. Suppose q + d = 0, -5*r - 2*q = -40 - 37. Which is smaller: r or 14?
14
Let m be 520/(-91) - (324/6)/(-9). Is m > -28171?
True
Let r be 30*((-12)/30)/((-20)/(-500)). Is r < -294?
True
Let z(x) = -x**3 + 9*x**2 - x - 8. Let s be z(9). Let n = -17 - s. Let w = 397/138 + -17/6. Which is bigger: w or n?
w
Suppose -3*l = -2*p + 5, 0 = 7*l - 2*l - 2*p + 7. Let q be (14 - 0) + (-426036)/30433. Which is smaller: l or q?
l
Let q = 1.5 - 2.48. Let b = q + 0.8. Let z = 0.28 + b. Which is smaller: z or -37?
-37
Let c = -10 - 26. Let p = -3688 + 3647. Is p <= c?
True
Let t(a) = -88*a - 1430. Let c be t(-78). Which is smaller: c or 5435?
c
Let p be 311*((-2)/6)/((-9)/(-54)). Which is smaller: p or -6?
p
Suppose 25*k = 36*k + 4642. Let y = -46419/110 - k. Is y != -1?
True
Let s = -173.9 + 174. Let m = -201 - -145. Is m <= s?
True
Suppose -164615 + 463178 = -69*s - 105363. Is -5855 at most s?
True
Let r be (0 - -53)/((-2)/4). Let f be (12/(-28) - (-2253)/14)*56/(-84). Which is smaller: r or f?
f
Suppose 0 = 3*a + 3*c + 15, 2*a - 7*a - 4*c - 20 = 0. Suppose 5*h = -5*x + 24 + 86, a = -2*h - 4*x + 52. Let d be (0 - (-2)/(-7)) + h/21. Is d at most 1.2?
True
Let a(f) = -41*f + 527. Let t be a(12). Let u(q) = -3*q + 6. Let y be u(4). Let s(h) = h**2 - h - 6. Let j be s(y). Which is bigger: t or j?
j
Let w = -15401 + 15399. Is w > 49?
False
Suppose 0*g + 2*g = 11*g. Suppose 12*v - 13*v = g. Suppose 5*f + 54 + 146 = v. Which is smaller: -41 or f?
-41
Let h = -10.325 - -9.5. Let o = h + 2.325. Which is greater: 2 or o?
2
Suppose -s - 6546 = -4*n, -84*n + 79*n = 5*s + 32830. Is s at most as big as -6562?
True
Let q(k) = -k**3 + 4*k**2 + 34*k - 226. Let t be q(8). Which is bigger: t or -221?
t
Let b be 2/4*(1 - 1). Let v be (106/9964)/(-1*4). Is v <= b?
True
Let a be (403/(-39) + 10)*204. Let o(n) = 68*n**2 - 1. Let i be o(1). Let r = a + i. Which is bigger: r or 2/27?
2/27
Let c(l) = 3*l**3 - 32*l**2 + 76*l - 5. Let f be c(7). Which is smaller: f or 332?
f
Let b = -5 + -45. Let z = b - -50.58. Let r = -0.62 + z. Is r less than -3?
False
Suppose 6*b - 5*b = -12. Suppose 5*i - a + 29 = 1, -2*i = -5*a + 25. Is b at most i?
True
Let x = 415 + -443.1. Let i = 31.12 + x. Let v = i - 1.02. Which is bigger: v or -2/75?
v
Let y(r) = -17*r**2 + 614*r - 86. Let i be y(36). Is 79 less than i?
False
Suppose -v + 3*b = 50 + 12, 2*v = 3*b - 121. Let i be v/(-3) - (-4 + 3). Which is bigger: i or 22?
22
Let z(p) = -11*p - 1. Let x = -158 - -72. Let b = 89 + x. Let j be z(b). Is -34 bigger than j?
False
Let g(k) = -k**3 + 2*k**2 + 3*k + 2. Let t be g(3). Suppose -4*a + y - 3*y + 30 = 0, 6 = t*y. Suppose -127 = 5*d + 3*h, 2*h - 107 = -d + a*d. Does -22 = d?
False
Suppose -10*q + 67351 = -929. Suppose -41*p - q = -37*p. Let y = -172405/101 - p. Is y greater than or equal to 0?
True
Let p be 15*(16/6 - (2 + 1)). Let n(b) = -6*b + 29. Let q(c) = 11*c - 57. Let h(y) = p*n(y) - 3*q(y). Let d be h(9). Do d and -1/50 have the same value?
False
Let x = 5 - 19. Let o = -16 - x. Let n be (-22)/(-55) + o*(-2)/(-10). Which is smaller: -14/11 or n?
-14/11
Let r(t) be the first derivative of 23*t**3 - 7*t**2/2 + 6*t + 52. Let a be r(1). Which is greater: 2/3 or a?
a
Let u = -3488 - -3487. Which is smaller: u or -23?
-23
Let o(v) = 2*v**2 + 4*v - 14. Let y be o(-5). Let z(b) = 5*b - 82. Let f be z(y). Let m(j) = -7*j - 14. Let q be m(f). Which is greater: 4/3 or q?
4/3
Let v = -102.849 - 0.151. Let x = 429.5 - 326. Let w = x + v. Which is smaller: w or 11?
w
Let v(a) = -15*a + 91. Let r be v(7). Let b be (9/(-63))/((-4)/r)*-116. Which is smaller: b or 64?
b
Let q be ((-4)/(-5435))/((-24)/60). Which is bigger: q or 2?
2
Let c = -0.7193 + -0.2807. Which is bigger: 5/59 or c?
5/59
Let m be (7224/(-946))/((-904)/44). Which is smaller: m or 1?
m
Suppose -120 = 250*k - 244*k. Let f be (-10)/(-8)*k/(-50). Which is greater: f or -12?
f
Let v = -1343/3 + 60436/135. Let n(o) = 2*o + 1. Let w be n(-1). Is v equal to w?
False
Let r(z) = -7*z**2 - 6*z - 13. Let d(w) = 8*w**2 + 5*w + 14. Let m(t) = -4*d(t) - 5*r(t). Let q be m(-6). Let s = -2417 + 2473. Which is greater: q or s?
q
Let y = 333.372 - -0.628. Let t = y - 343. Does t = 6/5?
False
Suppose -4*b - 5*k = -9*b + 90, b - 3*k - 8 = 0. Let p = 29/1193 - -172811/7158. Is b >= p?
False
Let r = 262/11 - 16092/671. Suppose -113*m = -107*m - 6. Which is bigger: r or m?
m
Let f(t) = t**3 - 55*t**2 + 94*t + 536. Let s be f(53). Which is smaller: -35 or s?
s
Let r be (39/(-7) - -6) + 81/7. Let j be -2*(-2)/(-10) - 649/(-55). Is r at most j?
False
Let b = -246 - -409. Let y = 7939 + -7776. Is y < b?
False
Let j be 1200/(-36) - 1/(-3). Let g = j + 34. Let w be (-9)/6 - 10/(-8). Is w < g?
True
Let b(v) = 3*v + 8. Let o be b(0). Suppose -1 + o = -7*c. Let r = 33546/1001 + -436/13. Which is smaller: r or c?
c
Let j = 3 - 3.09. Let r = j - -0.09. Let k = 15361 - 15457. Does r = k?
False
Let g be (-166)/(-660) - 21/84. Let t be (-2)/7 - (-12 + 902/77). Which is smaller: t or g?
t
Let x = 2687 - 2362. Which is smaller: x or 326?
x
Let k be 25/60*-4 - (-1)/(-3). Let c = -13 + 23. Let b be (9/15)/(k + 21/c). Which is smaller: 23/4 or b?
23/4
Let h be ((-406)/(-28) - 13)/(((-18)/568)/(-3)). Which is smaller: 152 or h?
h
Let p = -1946 - -1941.2. Are p and -1/3 unequal?
True
Let p(j) = -5*j + 12. Let l be p(4). Let g = -15 - l. Let q be -3 - (2 + (-11)/2). Which is bigger: q or g?
q
Let b(z) = z**3 - 7*z**2 - 4*z - 8. Let a be b(6). Let f = -71 - a. Let s be -1 + (-495)/36 + f/(-4). Is s at most -14?
True
Suppose 572 = 6*t + 80. Suppose -t = 14*h + 72. Which is smaller: h or -9?
h
Let k be 68/(-3519)*6/(-4). Suppose 8*c = 4*c + 16. Suppose 4 = 5*r - c*r + 4*z, 4*z - 4 = 4*r. Which is greater: r or k?
k
Let i(b) = -b**2 + 41*b - 41. Let z be i(40). Is z at most as big as -8/1027?
True
Let h be 990/(-385) - (8 - 10). Suppose -3*u - 5*a + 6 = -1, 0 = 5*u - 2*a - 22. Suppose -m + u*m = 4*i + 14, 12 = 2*m - 4*i. Which is greater: m or h?
m
Let i be (1/2*2/(-5))/((-18)/430). Which is smaller: i or 5?
i
Suppose -5*k + k - 320 = 0. Let m be k/15*30/8. Let j be 240/(-475) + (-8)/m. Is 2/5 at least as big as j?
True
Suppose 162*j = 128*j + 194208. Is j smaller than 5711?
False
Let x = -67.58 - -3.58. Let i = x - -64.009. Which is greater: i or 5?
5
Let q = -75 - -105. Let u be q/6 - (-2 - 338/(-50)). Which is greater: 1 or u?
1
Let f be (-99)/12 + (-22673)/(-2212). Let r(p) be the first derivative of 4*p**3 + p + 1. Let o be r(-1). Which is greater: o or f?
o
Let m(l) = 2*l**2 - 10*l - 49. Let b be m(-3). Which is smaller: -2/8031 or b?
b
Let r(s) = -107*s - 4921. Let u be r(-46). Which is bigger: 2577 or u?
2577
Let l be 2/4*(-4)/139. Let o = -98104 - -98103. Which is smaller: l or o?
o
Suppose -15 = -10*v + 15. Suppose -c + 56 = -5*b - 5, -3*c + v = 0. Suppose -g - 4*j = -5*g - 44, 5*g = -3*j - 47. Which is greater: g or b?
g
Suppose 190*h = 265*h - 9975. Which is greater: h or 4?
h
Suppose 18*z = 11*z + 49. Suppose 0 = 12*s - z*s - 25. Is 6 at most s?
False
Suppose -3*j + 4525 = 1255. Suppose -j = -8*f + 13*f. Are f and -219 unequal?
True
Let m = 5294 + -5314. Is -603/31 > m?
True
Let n be 2/(-10)*0 + (-3676)/(-4). Suppose -n = -13*q + 992. Is 291/2 at most as big as q?
True
Let p = -127.9 - -31.9. Let r = p - -95. Let a = -2/39 - -47/156. Are r and a non-equal?
True
Suppose -3*g = -0*g - 60. Suppose -4*m = 4, -18*j + 15*j + 5*m = 271. Let b = 111 + j. Which is greater: g or b?
g
Let n(j) = 3*j - 12. Let k be n(5). Suppose -k*t = -f - 0*t + 172, -5*f + 820 = 5*t. Let i be f/(-40) - 8/(-2). Is i greater than 1?
False
Let m = -16.757 - 0.243. Let y = m - -18.9. Are y and -3 non-equal?
True
Suppose 17 = 3*s - v + 3*v, -4*s = 3*v - 23. Let r be (-10)/(-25)*s*(-995)/10. Is r equal to -200?
False
Let x = -23231 - -23508. Is 273 greater than or equal to x?
False
Suppose -156 = 18*u - 480. Let s(d) = d**3 - 16*d**2 - 37*d + 