- 33*y**2/2 + 27*y. Let m be l(-24). Suppose 2*r + m - 1 = 0. Which is greater: r or 1?
1
Let p(z) = 4*z - 14. Let b be p(6). Suppose -2*v + b = -96. Is v > 53?
False
Suppose -795 - 925 = -10*u. Suppose 4*p + u = -3*i, 2*i + i = 2*p - 148. Is -52 smaller than i?
False
Let a = 330 + -429. Let q be (-4)/a - ((-55)/(-45) - 1). Let o be 3/5 + (-24)/40. Do q and o have the same value?
False
Let f = 410/111 + -3908752/1058163. Which is smaller: 1 or f?
f
Let c = 0.05 + 0.03. Let x = 58.014 + -58.7. Let q = -0.314 + x. Is c at most q?
False
Let s(n) = 2*n + 1. Let z be 4/(-12) + 680/15. Suppose z = -4*x - 5*o, 3*x - 5 + 36 = -o. Let d be s(x). Which is smaller: d or -20?
-20
Suppose 0 = -4*o - 43 + 207. Suppose -3*g + 36 = x - 26, -2*g - x + o = 0. Suppose 3*s - 4*l = 14, -2*s + 6*l = l - g. Which is smaller: s or 8?
s
Let f(p) = -12*p + 478. Let m be f(40). Is m smaller than -282/137?
False
Suppose 3*i - 105 = -3*x, 16*x + 2*i - 144 = 12*x. Is 149/4 smaller than x?
False
Let t = 4.1 + -15.4. Let k = t - -11.347. Let h = -11.047 + k. Is h at least 1?
False
Let r = -6 - -26. Suppose r + 82 = 3*h. Suppose -h*x = -35*x + 1. Is x > 2/21?
True
Let p = 0.007 + -64.007. Let h = 63.7 + p. Is 12 at most as big as h?
False
Let m = 1091 - 1091. Which is smaller: m or 2/2891?
m
Let d be ((-18)/(-72))/((-1)/(-4)). Let t be d/((464/60)/4 + -2). Let i be t/((-945)/14) + 43/9. Is 3 at most i?
True
Suppose -569 - 263 = -7*i - 209. Which is smaller: 85 or i?
85
Let j = -3143.4 + 3144.4. Let n = 24.9 - 11.1. Is n equal to j?
False
Let p(w) = w**3 + 5*w**2 + 15*w + 9. Suppose -163*y = -158*y + 25. Let x be p(y). Are x and -66 non-equal?
False
Let m(x) = -20*x**2 + 47*x - 75. Let u be m(6). Do -515 and u have different values?
True
Let w = 4585 + -4559. Is 46 bigger than w?
True
Suppose -4*q = 5*h - 10, 38*q = -5*h + 43*q - 35. Which is greater: h or -3?
h
Let p(k) = -17*k**3 + 3*k**2 - 2*k - 1. Let y be p(1). Suppose -26 = 6*r + 82. Which is smaller: r or y?
r
Let z be ((-85404)/(-28464) + -3)*(-32)/(-6). Which is bigger: -1 or z?
z
Suppose 0 = -7*w + 2*w + 260. Suppose 0 = 4*b - 4*d + w, -12 = 3*d + 3. Let a be ((-114)/9)/(10/15). Is a greater than b?
False
Let y = 344827/2593741 - 1/9571. Is -1 less than or equal to y?
True
Let b = 52188 + -43333. Is b at least as big as 8855?
True
Let l = 40541/81078 + -1/40539. Let m = 2816 + -19749/7. Which is greater: l or m?
l
Let d = 11 + -37. Let r = -0.0079 + -28.9921. Let v = d - r. Are v and -0.5 equal?
False
Let x = -2977.4 + 2975.4. Which is greater: -5772 or x?
x
Let i = -165.9 + 639.4. Let m = i - 379. Let t = 1.5 - m. Which is smaller: t or -1?
t
Let q = -1523 - -1516. Which is bigger: 1.3 or q?
1.3
Let z be (-2)/5 + 268/70. Let a = 54333 - 54333. Do a and z have different values?
True
Let f(l) be the third derivative of 5*l**4/24 + 2*l**3/3 + 18*l**2. Let k be f(0). Let y be (-7)/(140/15)*4. Which is bigger: k or y?
k
Let s = 1414/45 + -156/5. Let o(k) = -4*k + 4. Let x be o(2). Let y be (2 - 6 - x)/1. Is s equal to y?
False
Let w = 1301 + 3114. Let p = 4411.963 - w. Let b = -0.037 - p. Which is bigger: b or 7?
7
Let o be (-717)/15 + (-55 - -60). Does -43 = o?
False
Suppose -a - 44 = -2*i, 5*a - i + 157 + 9 = 0. Is a at least -50?
True
Suppose 0 = 4*c + 5*s - 3149, 4*c + 30*s = 32*s + 3114. Let z = c + -5464/7. Is z < 8?
True
Let n = 1 - 58. Let r = 56.98 + n. Is 2/51 smaller than r?
False
Let t = 28.37 + -26.37. Is -53 at most t?
True
Let r be (-125)/(-30) + 1/(-18)*3. Suppose 2*o - 146 = 4*m, -102 = -5*m - r*o - 265. Is m less than or equal to -107/3?
False
Let b = -13.06 - -14.26. Let g = -0.5 - 33.5. Let s = g + 33. Is b less than s?
False
Let k = 24.68 + -299.88. Let x = -275 - k. Which is smaller: -1/8 or x?
-1/8
Suppose -75*j - 1843 = -10618. Do 113 and j have different values?
True
Let l be 3 + ((-25316)/(-24) - -8). Which is bigger: l or 1067?
1067
Let a = 12233 + -12232.95. Is a equal to -48?
False
Let u(p) = -2*p**2 - 55*p - 79. Let a be u(-26). Is a <= 1/3176?
True
Let y = -1.653 + -0.347. Let d = -23.034 + 0.034. Let a = d - -51. Is a greater than or equal to y?
True
Let a be 12 + -6 + 11619/147. Let v = -85 + a. Suppose 2*u - 1 = 1. Which is smaller: u or v?
v
Suppose y - 6 = -4*v, -5*y + 0 = 3*v - 13. Suppose -6 = 4*o + y*o. Is o at least -22/9?
True
Suppose 6*i = 34*i - 84. Let f be 0/1 - ((-1215)/(-395) - i). Which is greater: 0 or f?
0
Let m(h) be the third derivative of -5*h**4/24 - 35*h**3/6 - 7*h**2 + 2. Let r be m(-7). Are r and 2/57 equal?
False
Suppose 5*t - 19 = -u, -2 = -4*u + 5*u - 2*t. Suppose -u*z - 68 = -2*o - 0*z, 5*o - z = 188. Suppose -4*d = 3*b - o, b - 3 = 4*d - 17. Are 5 and b non-equal?
True
Let r be -26*217/42*(11 - -7). Is r not equal to -2421?
True
Suppose 6*q - 96 = -522. Let l = -5 - q. Which is bigger: 65 or l?
l
Suppose -4*z + 4*s + 592 = 0, -3*z + 5*s - 628 = -7*z. Let b = z - 143. Are b and 10 equal?
False
Let l = -21059 - -14453. Do l and -6606 have the same value?
True
Suppose 2*u = a + 1, -4*a = -3*u - 2*a - 1. Suppose -2*p + 3*w = 27, u*w + 2*w + 31 = -3*p. Let s be 3/84*p/9. Which is greater: s or 1?
1
Suppose 2*r - 5*d - 4 = 6, 4 = d. Suppose 0 = -6*j + 9*j - r. Which is greater: j or 3?
j
Let q = -0.101 + 11.701. Let m = q - 10. Suppose -3*n - 2*h = 296 - 267, 5*h + 70 = -5*n. Is m equal to n?
False
Suppose -5*y = -5*l - 700, 5*y + 57 - 352 = 2*l. Is -137 >= l?
False
Let c be (2/16)/((-46)/(-4) - 11). Is c greater than or equal to 568?
False
Let r = 15.42 + -2.42. Which is bigger: r or 1?
r
Let k = 12898 - 12900. Are k and 522 nonequal?
True
Suppose -2*p = -5*w + 35, 4*p + 25 = 5*w - 4*w. Suppose -160 = 4*a + 4*o, -w*a = -3*o - 88 + 320. Let s be (-33)/44 + (-169)/4. Which is bigger: a or s?
s
Suppose -17*j = 8*j - 7975. Is 313 bigger than j?
False
Suppose 5*z = -3*b - 56152, 6*b + 112279 = -13*z + 8*z. Is -18710 > b?
False
Suppose -4*d = 4*o - 28, 3*o - 7 = -4*d + 6*o. Let u be 27 + 3 + (-12)/d. Which is smaller: 18 or u?
18
Let g = 1/114847526 + 396482371126/58285119445. Let z = g - 1/406. Is -1/6 < z?
True
Suppose -49*i + 54*i = 4*f - 28, -4*i - 2*f + 14 = 0. Is i > -3793?
True
Let f(g) = -83*g**2 - 3*g - 4. Let n be f(-1). Let r be (-41)/(-246) + 38/n. Which is smaller: r or 1?
r
Suppose -1295*z + 59 = -1294*z. Suppose -5*d - 32 = s, -s + 5*d - 3*d = 60. Let w = z + s. Is 4 equal to w?
False
Let g be -8 + -2 + 0/(3 + 10). Let s = -2 + 1. Let k be -6 - (-2 - (s - 1)). Is k greater than g?
True
Suppose -41*k - 2038 = -737 + 872. Which is smaller: k or -13?
k
Let n be (128/(-3168))/(4/(-18)) + 4996/(-11). Are n and -451 equal?
False
Suppose 4*f - 2*t = 8714, 0 = -80*t + 77*t - 21. Which is greater: f or 2174?
f
Let j(k) = -k**2 - 5*k + 34. Let h be j(-9). Let z be 55/(-495)*h/46. Is z bigger than -1?
True
Suppose -14 - 7 = -2*s - 3*b, 2*s + 5*b = 15. Suppose 0 = -2*a + 4*h - 20, 2*a = -12*h + 9*h + s. Which is greater: 4/19 or a?
4/19
Suppose 2*c = 8, 2*l - 6*l - 5*c + 16 = 0. Let d = -250/119 - 163374/1309. Let a = 127 + d. Are l and a nonequal?
True
Let d = -778 - -1618. Is d <= 835?
False
Let n = -664 + 650. Which is bigger: n or -19?
n
Suppose -4*t + t = -255. Let p(m) = 8*m + 20. Let s be p(-13). Let l = t + s. Which is smaller: l or 63?
l
Let x(p) be the third derivative of -p**5/60 + p**4/24 + 2*p**3/3 + 5*p**2 + 13. Let n = -9 - -7. Let s be x(n). Is 0.3 smaller than s?
False
Suppose -3*v = -5*j + 627, -2*v - 418 = 6*j - j. Let u be (0 - -10)/((-22)/v). Suppose u = 5*c + 5*f, 3*f - 80 = c - 5*c. Is 24 greater than c?
True
Suppose -3335*j + 3362*j - 27 = 0. Which is smaller: 13/419 or j?
13/419
Let q be (-5)/5*(-2)/53. Suppose 2*t + 232*h = 227*h + 11, -5*t - 3*h - 1 = 0. Which is bigger: q or t?
q
Let s(c) = -c**2 + c + 46. Let t be -6 + 13 + (-1 - 0). Let i be s(t). Which is greater: i or 6?
i
Let a be 2727/387 + 16/(-16). Is 6 bigger than a?
False
Let c = 17671/174 + 240/29. Does c = 109?
False
Let u = -490 + 4390/9. Suppose -41*z = -51*z - 80. Let m be 6 + (-11 - -1 - (5 + z)). Which is smaller: m or u?
u
Let a = 9462.69 + -9462. Is a < 9/10?
True
Let j = 10 + -8. Suppose -b - 5*z = -2*z - 4, -4 = -b + j*z. Suppose n - 3*n = b. Which is smaller: -7 or n?
-7
Let q = 137 - 88. Which is bigger: 60 or q?
60
Let o(i) = 6*i**2 + 135*i + 4. Let b be o(-27).