368 + -42944. Which is smaller: j or 19?
19
Let i = -5338 - -5339. Which is smaller: 6/1315 or i?
6/1315
Let p = 35/44 + -5327/5148. Which is bigger: 1 or p?
1
Let b = -433.274 + 433. Let r = 0.227 + -0.027. Is b at least as big as r?
False
Let t be (-12)/(-2)*9/2. Let o = -697/12 + 3311/4. Let n = 770 - o. Does t = n?
False
Let w = 0.6 - 0.5. Let z(s) = -23*s + 15*s + 10*s - 12. Let i be z(4). Is i < w?
True
Let f = 70842/11 + -6440. Is f < 8.28?
True
Let r(c) = 2*c + 11. Let h(w) = -w**3 - 9*w**2 - 7*w + 15. Let j be h(-8). Let f = -12 + j. Let p be r(f). Which is smaller: p or -4/33?
-4/33
Let g be 2/11 - 10/55. Let s = 26/5 - 239/45. Let b = -22/45 + s. Which is smaller: g or b?
b
Let d(r) be the first derivative of -r**2 + 41*r - 20. Let p be d(24). Is 14 < p?
False
Let p = -33663 + 30128427/895. Is -1 bigger than p?
False
Let i be (2 + -5312)*-2 - 3168/264. Which is greater: 21213/2 or i?
i
Let d(r) = r**2 + 8*r + 2. Let t be d(-9). Suppose q + 4*q = -5*u + 95, -3*q = -u + 3. Suppose 18 + 5 = 2*x + m, x - u = -4*m. Is t greater than or equal to x?
True
Let b(r) = -5*r - 175*r**3 + 173*r**3 - 6*r**2 + 5 + 4*r. Let z be b(-2). Let f = 89909/69 - 1303. Which is bigger: f or z?
f
Let f(n) = 2*n**3 + 2*n**2 - 9*n - 1. Let p be f(5). Let b = p - 1279/5. Which is smaller: b or -0.09?
b
Let b be -1 - (7/(-2))/(2189/(-110) + 20). Let i(o) = -8*o - 5. Let k be i(-5). Is k at most b?
False
Let p(u) = -u**2 + 2*u + 19. Let v = -86 - -91. Let k be p(v). Let q be -3 + -38 - 2 - k. Is -1 equal to q?
False
Let k(f) = f**3 + 16*f**2 - 4*f + 5. Let s be k(-16). Suppose s*d - 71*d + 18 = 0. Let a = -11 - -19. Which is greater: d or a?
d
Let i(x) = -x + 9. Let y be i(7). Suppose 2*j + 3*j - q = -60, y*q = -j - 1. Let g = j - -9. Which is bigger: g or 18?
18
Let h(c) = -3*c**2 - 14*c + 203. Let k be h(-11). Suppose -20 = 3*q - 5*f, 3*q - 4*f + 38 = 13. Which is bigger: k or q?
k
Let w = -38929/6 - -6503. Is 3 < w?
True
Let o be ((-9)/(-15))/(3/(-15)). Let y = 0 - o. Let z be (-20)/16*(1 - (0 - y)). Is z greater than -5?
False
Let o = 306 + -262. Let w be -2 + 96/o - 24/858. Are w and 2/5 nonequal?
True
Let u = 8265 - 8275. Which is smaller: u or -152/15?
-152/15
Let a(j) = -32*j**2 - 1152*j + 25. Let m be a(-38). Is m equal to -2406?
False
Suppose -3*b + 233 = 2*q, 3*q - 121 = -2*b + 221. Let a be (q/(-24) + 4)*(-42)/2. Which is smaller: 13 or a?
13
Let v = -22073 + 22101. Is 231 less than v?
False
Suppose k + 607 + 970 = -4*n, 0 = 5*k - n + 7822. Which is greater: -1566 or k?
k
Let m(f) = f**2 - 4*f - 32. Let n be m(8). Suppose 2*l - 56 + 10 = n. Suppose h + 5*d = l, 0 = -3*h - d + 2*d - 11. Which is greater: -9 or h?
h
Let q = 2.8 + -3. Let o be (5/2)/((567/(-28))/9 + 26). Is q <= o?
True
Let l(b) be the third derivative of 0*b + 48*b**2 + 1/3*b**4 + 0 - 1/60*b**5 + 2/3*b**3. Let z be l(9). Which is greater: -6 or z?
z
Let h be (14745/25 + 2*-1)*645/(-258). Is -1469 >= h?
True
Let u = -241.6 - -213. Let c = u + 25.6. Which is bigger: c or -3/5?
-3/5
Suppose -14*g + 4899 = -2311. Let y be (258/8)/((-188)/64 + 3). Is g greater than y?
False
Suppose 638 - 466 = -4*f + 4*o, -2*o - 74 = 2*f. Which is bigger: -49 or f?
f
Let j be (-122)/1*(9/(-6) - -1). Suppose -3*v = -3*y + 2*v + j, -y - v = -31. Let m be 6/y + (-41)/306. Is m <= 1?
True
Suppose 254*c = -58683 - 96257. Is -628 smaller than c?
True
Suppose 383 = 7*x + 404. Let i be (-55)/110*(x + 1)*-53. Is i bigger than -266/5?
True
Suppose -85*h + 273*h - 6768 = 0. Is h greater than -37?
True
Let s(f) = 5*f - 20. Suppose 0 = -8*h + 5*h + 15. Let u be s(h). Which is bigger: 33/8 or u?
u
Let d = 2902 + -2900. Is -0.054 < d?
True
Let h be ((-264)/(-18))/(2/39). Let y = 9715/34 - h. Is y less than or equal to -1?
False
Let i = -8075.93 + 8076. Which is greater: -328 or i?
i
Let y = -0.09 + -2.86. Let a = y + 0.95. Which is smaller: a or -0.022?
a
Let v be 2/((-6)/33111) - (-5 + 8). Is v equal to -11041?
False
Suppose g + 2 = 3*g - 4*u, -u = g - 1. Let w be ((-24)/18)/(838/(-3)). Let y = -3330/4609 - w. Is y not equal to g?
True
Let p(a) = -8*a + 80. Let b be p(9). Let w be 40/b - 38/8. Are w and -18 equal?
False
Suppose -2 = 5*k - 7, 295 = -2*t - k. Let x = t - -147. Does -7 = x?
False
Suppose h = -5*u + u + 3737, u - 14858 = -4*h. Which is smaller: h or 3712?
3712
Let r = 235/124 - -11/31. Let u = r - 2. Let a be 1518/3960 + 4/(-30). Is u at most as big as a?
True
Let v = 26971 + -27080.63. Let c = v + -3.37. Which is smaller: c or -3?
c
Let z = 24.24 + -1.24. Let f = z + -121. Let u = f - -98.23. Which is smaller: u or -1?
-1
Let x be (-120)/(-9)*(-12)/10. Let l(k) = 3*k - 2. Let v be l(x). Which is smaller: v or -52?
-52
Let z(i) = i + 12. Suppose -31 = 9*m + 50. Let k be z(m). Suppose k*b + 3*p + 9 = 0, 2*b + 3*b - p = -9. Which is bigger: b or -0.6?
-0.6
Let w = -7922 + 8002. Suppose -3*m + 382 = 5*p - m, -3*p + 246 = -3*m. Is p equal to w?
False
Let h = 162 + -156. Let b be ((-24)/(-18))/(0 - h/(-9)). Suppose -5*p - 4*d - 17 = 0, 4*p + 2*d + 9 = p. Is p greater than or equal to b?
False
Let m = -32 - -52. Let o = m - -13. Let v = -48 + o. Are v and -15 nonequal?
False
Let f be 18/8 + (-247495)/109980. Is f at least 0?
False
Suppose -2*p + 218 = 3*s, 8*p + 2*s + s = 944. Let w = -1363 + 3680/3. Let c = w + p. Which is smaller: -16 or c?
-16
Suppose 2*j + 0*j - g + 15459 = 0, -g + 3 = 0. Let d be (-4)/10 + j/105. Let r = -66 - d. Which is smaller: 11 or r?
r
Suppose 19 = -3*y - 2*x, 4*x + 21 = y + 4. Let w be y + 2 - 1*285/(-9). Let n = w + -30. Does n = 0.1?
False
Let a(h) = 4*h**3 + 227*h**2 - 54*h + 172. Let g be a(-57). Which is bigger: g or 1/11697?
g
Suppose 14*c = -6*c - 40. Let n be (-65)/c*(-28)/(-42). Which is greater: 21 or n?
n
Let g = 36 + -38. Let j be 4/(10/12*(-6)/2). Are g and j equal?
False
Let g be (-2)/6 + 13/3. Let n = 3 - g. Let v be n*(-5)/((-475)/10). Is 4 less than v?
False
Suppose 608*q + 9420 = 137*q. Let b be ((-1)/4)/(2/150). Is q smaller than b?
True
Let w = 256 - 283. Let q be 1*6/(-39)*w/54. Let f(g) = g + 7. Let t be f(-6). Do t and q have different values?
True
Let h(x) = -23*x**3 - 26*x**2 + 2*x - 5. Let k be h(4). Are -1 and k equal?
False
Let m = 45 + -110. Let w = 126 + m. Let j = 91 - w. Is 31 < j?
False
Let i(u) = 61*u + 2798. Let a be i(-63). Which is smaller: -1044 or a?
a
Let h(b) = -203 + b - 2*b - 6*b + 89. Let w be h(-12). Is w equal to -32?
False
Suppose 13107 - 316690 = 443*w + 379966. Is -1544 less than w?
True
Let l(k) = -2*k**2 - 32*k + 396. Let s be l(9). Which is greater: s or -329/6?
s
Let h be -15*((-5)/(-2) - 2). Suppose 5*q = 55 + 115. Let r be q/(-4) + 24/48. Which is smaller: r or h?
r
Suppose -3 - 1 = -2*w. Suppose 14 = -w*b + 4*s + 2, -5*s = -5*b - 15. Let f = -98512/531 + 1670/9. Which is greater: f or b?
f
Suppose -4520 = -5*u - 4*w, -5*u - 11*w + 15*w = -4480. Which is greater: 6304/7 or u?
6304/7
Let y(o) = -313*o + 10002. Let l be y(94). Is -19420 >= l?
True
Let u = -25.11096 - -1.02866. Let n = u - 0.0277. Let c = n - -0.11. Which is bigger: 1/3 or c?
1/3
Let y = -12727322/9268713 + 2/138339. Which is greater: y or -1?
-1
Let l = -0.051 + 5.051. Suppose x - 5*x + 2*i = -6, -4*x + 5*i = 9. Suppose x*u + 1 - 17 = 2*d, -d + 2 = 0. Is l equal to u?
True
Let b = 33097 + -33096.7. Which is bigger: 187 or b?
187
Let l = 55796558/17 + -3284555. Let t = l - -2406. Let c = -90/119 + t. Which is bigger: c or 2?
2
Let g = 42 - 86. Let c be (-251)/11 - (-8)/g. Let q = -176 + 154. Is q greater than or equal to c?
True
Let s = 1642 + -1669. Suppose 19 = 3*a + 76. Is s smaller than a?
True
Suppose 2*y = 5*w - 100, 2*y + 2*w + 2*w = -136. Let a be ((-8)/y)/((-24)/9). Is a >= 2/7?
False
Let p(m) = -m**3 - 30*m**2 - 6*m - 3. Let h(s) = -3*s**3 - 90*s**2 - 17*s - 7. Let r(b) = -6*h(b) + 17*p(b). Let l be r(-30). Does l = -102/11?
False
Let u be ((-4)/8)/((-2)/(-120)). Let q be (-3)/((-4 - u/21) + 3). Is -69/11 at least as big as q?
True
Let g(z) = 158*z + 237. Let w be (240/(-10))/3 + 4. Let o be g(w). Which is greater: -396 or o?
o
Let t be (-2 - 4)*40/2240. Let a = -21 + 20. Is a != t?
True
Suppose 259 = -11*z - 313. Is z bigger than 0.14?
False
Let z = -1.98186 - 0.01814. Which is smaller: -12.14 or z?
-12.14
Let j = -125 + 142. Suppose -6*n - 19 = j. Is n