 Which is bigger: y or p?
p
Let s(q) = q**2 + 32. Let k be s(0). Let g = -47874 + 47907. Is k greater than g?
False
Let u be ((-28)/(-126)*-2)/(120/(-36)). Let f = -0.6 + 0.5. Is u > f?
True
Let g = 30 + -88. Let h = 118 - 117. Is g smaller than h?
True
Let y = 1340 + -1340.2. Which is smaller: y or 1133?
y
Let b = -118 + 119.14. Let a = b + -0.14. Let q = 121/1356 - 2/339. Which is bigger: q or a?
a
Suppose 2095 = 2*l - c, 9 = 4*c - c. Suppose 34*t = l + 7383. Which is greater: t or 247?
t
Let w = -13 + 508/39. Let c be 12/10*20/2. Suppose -3*j + 9 = -c*j. Is w >= j?
True
Let v(g) = -37*g**2 - 16*g + 4. Let b be v(8). Let u be 4 + (7468/b - 1). Let j = u + -1604/623. Is j at least as big as -3?
True
Suppose 5*t - 1371 = -226. Let k = t + -229. Is 5/13 < k?
False
Let i(m) be the second derivative of m**5/10 - 19*m**4/12 - 3*m**3/2 + 12*m**2 - 27*m + 3. Let y be i(10). Is 30 bigger than y?
False
Let c(a) = -3*a + 56. Let r be c(22). Let y be 1/r - (-3808)/(-35). Let p = 462/5 + y. Is -18 > p?
False
Let m be (60/88)/5*(-32)/(-12). Suppose -a = -8*a + 35. Suppose -5*f - 5 = 3*g - 4, -15 = -5*f + a*g. Is m greater than or equal to f?
False
Let i = 2 - -3. Let r be ((-5593)/(-6))/(-17) + (-2)/12. Let x = r + 166/3. Which is greater: x or i?
i
Let o be ((-5262384)/16898)/(218/(-7)) + -10. Which is greater: 0 or o?
0
Let b = 144 - 158. Let h(v) = 28*v**2 + 5*v - 3. Let l be h(2). Suppose -l + 5 = 6*r. Do b and r have different values?
True
Suppose 6*t + 3*m - 52 = 278, -m - 165 = -3*t. Which is greater: 281 or t?
281
Let m(u) = -u**2 + 32*u - 72. Let v be m(29). Let h be (1/(-1))/((-2)/558). Suppose 11*i - v = -h. Is -26 < i?
True
Let y = -7551 + 9590. Is 2043 at least y?
True
Let a be (-4)/56*3764 + (-2)/14. Let w = a + 2417/9. Suppose -r - 3*k = -3, -6*r - 4 = -2*r - 4*k. Which is smaller: w or r?
w
Let v be (-60)/15 + 30/(-5) + 4. Suppose -20 = -42*c + 38*c. Which is greater: c or v?
c
Let i be (-21)/(-9) + 229425/225. Which is smaller: i or -2/3?
-2/3
Suppose -4*z - 14 = 2*o - 8*z, 2*o + 2*z = 4. Let b = -16636/73 - -228. Is o less than b?
True
Let o = 95 + -63. Let u = 31.9 - o. Suppose -872 - 388 = 140*v. Is v less than or equal to u?
True
Let d be ((51/2)/3)/2. Suppose 5*v = 23*v + 11*v - 87. Is d at most v?
False
Let f = -0.8 - -5.8. Let a(l) = 5*l**2 - 17*l - 19. Let m(t) = 6*t**2 - 18*t - 19. Let c(d) = 7*a(d) - 6*m(d). Let n be c(-9). Is n > f?
False
Suppose 13 + 17 = -5*l. Let a be ((-2)/l)/(3/(-32)). Is -3 > a?
True
Let f(z) be the second derivative of z**5/20 + 11*z**4/12 + 4*z**3 + 43*z. Let d be f(-8). Let k = 409/10 + -41. Which is smaller: k or d?
k
Let p be 6903/6*(7 - (-184)/(-24)). Let n = p + 798. Are n and 34 non-equal?
True
Let q = -406 + 406.216. Let l = -43.916 - -44. Let n = q + l. Is n at least 7?
False
Suppose 48 = -22*z + 20*z. Let k = z - -41. Suppose k*h - 6*h = 22. Which is greater: h or -31?
h
Let u(a) be the first derivative of a**3/3 - 3*a**2/2 - 4*a - 9. Let c be u(3). Let b be c/(-3) + 80/(-57). Which is greater: -1 or b?
b
Let n = -334 - -89. Let x = 245 + n. Are 121 and x equal?
False
Suppose -4*q - 2*g = -5*g + 62, 2*g - 13 = q. Let w be (-1400)/25*87/6. Let r = w + 796. Which is smaller: q or r?
q
Suppose 8*s - 4*s - 88 = 0. Suppose -19*g = -8*g + s. Is -4 smaller than g?
True
Let j be 55965/(-338) - (-2)/26. Let f = 1818/11 + j. Which is smaller: 0 or f?
f
Let q = 34.19 - 35.19. Which is bigger: 3/3743 or q?
3/3743
Let x = 325 - 149. Let w be (-2)/(-19) - x/(-2299). Which is smaller: w or 3.8?
w
Suppose 1 - 49 = -48*o. Let a be o + 48/(-10) - (-2 + 1). Is -4 < a?
True
Let q be (-495)/540 + (1/(-2))/(-1). Are q and -1/5 non-equal?
True
Let m be 0 - (-2)/(-8) - ((-261)/18 + 13). Is -594 != m?
True
Let h be (-20)/8*10*-1. Let r be (-2)/(-5)*h/(-7)*-7. Let i be (-39 + r)/(1*1/(-1)). Are i and 29 equal?
True
Let d be (-2386)/796 - ((-1140)/19)/20. Which is smaller: d or 0?
0
Let j(l) = 4*l - 16. Let y be j(4). Suppose y*g = -16*g. Is g at most as big as 4?
True
Let w be 2/10 - 434/(-155). Let i be (4315/(-50) + w/(-15))*2. Is -174 equal to i?
False
Let g = 215.333 - 215. Let p = g - 7.333. Is 2/9 < p?
False
Let d = 13001 - 12860. Let a be (94/2)/(3/9). Is a at least d?
True
Let y be 0*(-4 + (88/48 - 2 - -4)). Is 102/191 <= y?
False
Let x = -33.4 - -35.4. Is 72/11 smaller than x?
False
Suppose -5*f + 19 = -2*a, -2*f - 6*a - 4 = -a. Let x = -12 - f. Let b be 0 - 9/x - 1. Is b at most -6?
False
Let y(i) = -2*i**2 + 414*i - 3629. Let a be y(9). Suppose 0 = -c - 58 - 7. Is c > a?
False
Let n = 305.6 - 306.7. Is n not equal to 0.305?
True
Let v = 574 + -566. Let z be (-2 - -1)/(18431/(-2303) + v). Is 328 <= z?
True
Let b(k) be the third derivative of k**6/60 - k**5/60 - k**4/6 + k**3/6 + 12*k**2. Let m be b(3). Suppose m*o = 36*o - 14. Is o >= 5?
True
Let h be (1/3 + (1 - 2))*330885/1290. Which is greater: -180 or h?
h
Let w = 4/6795 - -28379/271800. Let s = 5831/2200 - w. Let t be (-11)/(-5) - 44/(-55). Is t <= s?
False
Suppose -c - 5*r = -6*c, -c - 3 = -2*r. Suppose c*s = -92 + 389. Do 99 and s have the same value?
True
Let h be (-5)/(75/(-10)) + (-8)/12. Suppose 22*k - 4*k = h. Is k not equal to 2/239?
True
Let w be (-2)/(-7) + (19 - 1485/77). Which is smaller: 2000 or w?
w
Let z = 15 - 14.41. Let f = -110 + 114. Suppose -4*n = 3*t + f, -4*n = -0 + 4. Which is bigger: t or z?
z
Let t(a) = -98*a + 396. Let y be t(4). Is y < 232/43?
True
Let l = -47 - -56. Suppose -w - l = 11. Let x be 6/3 + w*2/(-6). Is 10 at most x?
False
Let f be (-1296)/(-20) - 2/(-10). Suppose f = -3*b + 8*b. Let h be b/39*(-6)/2. Which is smaller: 2/17 or h?
h
Let k = 240 - 239.949. Let o = -0.031 + k. Is o greater than or equal to -2/39?
True
Let v(h) = -h**2 - 11*h + 34. Let c be v(-22). Does 3 = c?
False
Suppose 64*g = 5*v + 68*g + 1393, -3*v - 4*g - 839 = 0. Is -283 > v?
False
Let u(t) = 7*t - 75*t**2 + 18 + 34*t**2 + 40*t**2. Let f be u(8). Which is greater: f or 2?
f
Let b = 13178 + -12800. Do b and 8 have different values?
True
Let d be 22868/1144 + 26/(-143). Which is smaller: d or 20?
d
Suppose -3*v + 5*b - 9 = -1, -4*b + 28 = 3*v. Suppose 2*x - c + 20 = 0, -v*x - 4*c = -9*c + 40. Which is bigger: x or 2/5?
2/5
Suppose 18 = -172*y + 154*y. Is -1/1518 not equal to y?
True
Suppose 51*z - 58*z = 2*c - 11, 0 = 4*z + 4*c - 12. Is z at most 1/16457?
False
Let i be 8/222*558/310. Is 0 at most i?
True
Suppose 8*b + 3*c = 6*b, -5*b + 7 = 4*c. Suppose d = -5*m - 4, -6*d = -5*d + 4*m + b. Which is smaller: d or 2/561?
2/561
Let q be 5169/2 - 15/30. Suppose 7*m + 1266 = 9*m - 4*v, 0 = -4*m - 5*v + q. Which is smaller: 640 or m?
640
Let l(f) = -2*f**3 - 5*f**2 - 4*f - 1. Let p be l(-3). Let k = p - 23. Let y be (-1)/(k - (2 + -6)). Are y and -1/5 equal?
False
Let r be 2*(-205)/1194 - (24/24)/(-3). Let f = 23/87 + 2/29. Which is bigger: f or r?
f
Let s = 4723/6308 + 2/1577. Let x = -0.2 - 1.3. Let a = 1.39 + x. Is s at most as big as a?
False
Let i(x) = -17*x + 839. Let a be i(56). Is a at least as big as -115?
True
Let y = -0.18081 - 486.60319. Let j = 0.784 + y. Is -1 at least as big as j?
True
Let r = 314 - 517. Let h = r + 209. Which is bigger: 5 or h?
h
Let q be ((-63)/(-6))/(-7) + 319/210. Let w be (-432)/(-6)*(-2)/4. Let v = w + 36. Is q bigger than v?
True
Let s = -5.636 + 5.586. Which is smaller: s or -751?
-751
Let d(p) = p**3 - 10*p**2 - 11*p - 10. Let k be d(11). Let s = 35 + k. Let l = 2136 - 2112. Which is bigger: l or s?
s
Let w = 12062 + -12061. Which is smaller: 6423 or w?
w
Let z be 9 - 1*(-4)/(-2)*1. Suppose 0 = -6*n + n - 4*i + 4, 0 = -n + 2*i + 12. Suppose 4*v = 3*l + 8, z*l - 2*l = n*v - 16. Is v at least as big as 2?
False
Suppose 0*c - 5*c + 7 = 3*l, -2 = -c. Let f be (12/324 - -1)/((-4)/6). Do f and l have different values?
True
Let z = -1.479 + -0.121. Suppose 26 = -5*x - 4*c, -c + 5 = 4*c. Which is greater: x or z?
z
Suppose -5*r + 7*r = 2*b - 130, -4*r + 2*b - 262 = 0. Suppose 0 = -2*s + a - 128, 3*s + 250 = -s + 5*a. Which is smaller: r or s?
r
Let u = -136 - -135.808. Let x = u - -1.192. Are 1/29 and x equal?
False
Let z = 330 - 209. Let a = z - 121.2. Which is smaller: 0.6 or a?
a
Let c = 538 - 516. Suppose 14 = c*t + 234. Is t at least as big as -28/3?
False
Suppose -191 = 3*n - 2*k, 4*n + 3*k = -2*k - 270. Which 