13 - -29313.1. Which is smaller: 0.5488 or g?
g
Let r(a) = 3*a**2 + 8*a - 11. Let l(v) = -2*v**2. Let b be l(-1). Let p(s) = -s**2 - 1. Let g(n) = b*p(n) - r(n). Let f be g(-9). Which is greater: 2 or f?
f
Let u(t) be the third derivative of -5*t**4/24 - 25*t**3/3 - 9*t**2 + 1. Let p be u(-10). Is p at most as big as -2/339?
False
Let i = -744/17 + 1119/85. Let v = -201069 + 201037. Which is bigger: v or i?
i
Let k = 387 - 613. Let r = 406 + k. Let y be ((-162)/r)/(4/(-10)*6). Is 0 at most y?
True
Suppose 322 = 11*j - 4*j. Suppose -7 + 4 = -b. Suppose b*v - 13 = 122. Is j at most v?
False
Let x = -619/3 - -218. Suppose 62 = 4*f - 5*w, -26 = 5*f + 3*w - 85. Does x = f?
False
Let u = 195 - 237. Let y(l) = -l**2 + 2*l - 6. Let r(h) = 6*h - 5. Let v be r(2). Let d be y(v). Which is bigger: u or d?
d
Let n be 38*3/(-120) - -1. Suppose -30*f = 158*f - 188. Are n and f non-equal?
True
Suppose 3*o - 133 = 5*y, -2*y + 142 - 23 = 3*o. Let l = -42 + o. Which is smaller: l or 2/349?
l
Suppose 4*q = 2*i - 1290, 62*q + 1293 = 2*i + 61*q. Which is smaller: 645 or i?
645
Let c be 76/69*(-3)/(-2). Suppose 3*a - 167 = 23*o, 3*a + 22 = 7*a - 2*o. Which is smaller: a or c?
c
Let o(p) = p**3 + 39*p**2 - 174*p - 2015. Let s be o(-42). Let q = 79 + -13. Are s and q unequal?
True
Let h be 39288/87912 + (-4)/9. Let s = -117 + 118. Is s greater than h?
True
Let w be (249/(-2) + -3)*(-8)/10. Suppose -432 = 99*n - w*n. Is 144 greater than n?
False
Let o = -893 - -677.1. Let a = -216 - o. Which is smaller: a or -12/13?
-12/13
Let k(y) = -334*y + 370. Let d be k(2). Are d and -291 non-equal?
True
Suppose 3*h = 8*h - 25. Let x = 8832 + -8714. Suppose -h*n - x = -118. Which is smaller: -3/61 or n?
-3/61
Let a = 110 + 79. Let w be -4 + 130/35 + 3120/a. Which is smaller: w or 17?
w
Let b(z) = -11*z - 4 - 3 + 5*z**2 - 4*z**2 + 2*z. Let a be b(5). Let c = a - -242/9. Is c at most as big as -3?
False
Suppose -4*z - 3*y - 292 = -2*y, z - 4*y = -73. Let u = z - -71. Let b be 26/(-42) - (-4)/14. Which is greater: u or b?
b
Let p = 2/103 - 232/1339. Let t be (-1)/2 - (-1157)/(-26). Let l be 2/(-11) + t/55. Which is smaller: l or p?
l
Suppose -5*f - 6 = y, 8*y - 9*y + 4*f + 12 = 0. Suppose 3*z - 5*z = -6. Suppose z*s - 108 = y*w, -w - 22 - 14 = -s. Is s > 38?
False
Let k = -112 - 84. Let f = -139 - k. Let m = 39 - f. Which is smaller: m or -1?
m
Let k = -1 - 5. Let n = -216977/6 - -36156. Is n >= k?
False
Let o = 59.44 - 59.37. Which is bigger: o or -1/46?
o
Let t(c) = -102*c**2 - 15*c + 231. Let s be t(6). Which is smaller: s or -3532?
-3532
Suppose -13*s - 45655 = 5032. Let v = s - -487378/125. Which is smaller: v or -1?
-1
Let y(n) = -2*n - 21. Let j be y(-13). Suppose -4*r - m + 192 = r, -104 = -3*r + j*m. Suppose 39*f - r*f = -6. Is -7 greater than f?
False
Let z = 20804911/576030 + 89/8229. Let o = z + -255/7. Let v = -23072 + 23073. Are o and v unequal?
True
Let k be (8 + -2 - 4) + 0 + (-8312)/4184. Is 0 < k?
True
Let t = -9 - -8.67. Let a = -13.33 - t. Let y = a - -17. Do 1 and y have the same value?
False
Let q(d) = -5*d + 11. Let i be q(-5). Let l = 40792/1149 - 5/2298. Does i = l?
False
Let h = -7258 + 7263.8. Which is smaller: -8 or h?
-8
Suppose -p = 2*i - 60 + 18, 0 = 4*i + p - 84. Let u(h) = 2*h**2 - 41*h + 127. Let g be u(i). Which is smaller: g or 152?
g
Suppose -5*o - 20 = -5*j + 25, -5*o + 20 = 0. Let z(s) = -s**2 + 567*s + 6355. Let k be z(-11). Which is greater: j or k?
j
Suppose 36 = 4*d + 16. Let x(a) = -7*a**3 - a**2 - a. Let p be x(-1). Suppose -d = -2*y + p*y. Which is smaller: y or -2/15?
y
Let k = -132 - -225. Let p = 349772 + -349772.1. Are p and k non-equal?
True
Let f = -0.6069 - -0.4069. Is f bigger than 26/35?
False
Suppose 2*f - 9*p + 14*p = -27, 6 = -f - p. Which is smaller: f or -6/3193?
f
Suppose -18 = 2*z - 0*z. Suppose 16*n + 123*n + 1251 = 0. Is z equal to n?
True
Suppose 0 = -3*n - 5*b - 10332, -4*n = 100*b - 99*b + 13742. Is -3436 less than or equal to n?
True
Let h be 11 + 146 - (0 - 5). Suppose -5*i + 814 = z, 4*z + 4 + 0 = 0. Is i less than h?
False
Let g = -4796 - -4837. Which is smaller: g or 399/10?
399/10
Let l(j) = -68*j - 54. Let w be l(9). Let m be (-2)/11 + w/88. Is -9 != m?
True
Let x be (-1869)/(-26852) - (123/(-42) - -3). Let y be -1*(-2 - -2) - -1. Is x != y?
True
Let w be (-83509)/(-1073) - 8 - (-14 + 2). Is w > 83?
False
Let h be -28 - -53 - 352 - (-5 + -3). Is h at most as big as -335?
False
Let d(u) = u**3 - 11*u**2 + 8*u - 17. Let t be d(8). Let x = t - -140. Which is smaller: -11/3 or x?
x
Let i be (9/34440*5)/(9/6). Let v = 17797/3444 - i. Which is smaller: v or 1?
1
Let b = -89 - 115. Let y = b - -202. Is y <= -4/11?
True
Suppose 12*u - 7*u = -i - 18, -24 = -2*i + 5*u. Suppose 5*c = i*r + 7, -2*c + 5 = 15*r - 18*r. Is r greater than or equal to -9/10?
False
Let b be 1 - ((-14 - -14) + -4). Is b greater than 157/37?
True
Let m(b) = -b**2 - 7*b + 6. Let h be m(-8). Let y be -4*h/(-4) - -3. Let d = 1838/10875 - 24/125. Which is bigger: y or d?
y
Let m = 31219.48 + -31219. Is 3 not equal to m?
True
Let t = -200.3 - -176.3. Let u = 12.6 + -12. Is t not equal to u?
True
Let s = 14.4 - 119.4. Let z = 197 + s. Let d = 91.8 - z. Is 8 smaller than d?
False
Let m = 78.1 - 14.1. Let x = m + -63.7. Which is bigger: x or 33?
33
Let o(q) = q**2 + 89*q + 484. Let f be o(-64). Does -3346/3 = f?
False
Let m(z) = z**3 - 14*z**2 - 27*z - 12. Let c be m(16). Let x be (-134)/(-420) - c/238. Which is smaller: 0 or x?
0
Suppose -6 = -4*c - 2*v, 0 = 5*c - c + 5*v - 9. Let a = 445 - 444.8825. Let s = -0.0495 + a. Which is smaller: s or c?
s
Let f = -326 - -491. Let z be 66/f + ((-86)/(-150) - 1). Is z <= -1/14?
False
Let a = -22121 + 21887.14. Let g = -236 - a. Let o = g - 0.26. Which is greater: -2 or o?
-2
Suppose 4*m = -14*x + 17*x + 14, x - 4 = -3*m. Let t be (-3230)/700*4 - m/14. Which is bigger: -19 or t?
t
Let q = 257.0938 - 0.0938. Which is smaller: q or 7/5?
7/5
Let y(k) = -3*k**2 - 22*k - 17. Let i(t) = -5*t**2 - 43*t - 35. Let g(j) = -4*i(j) + 7*y(j). Let u be g(19). Are 13/4 and u equal?
False
Suppose 4*j = -2*p + 324, 330 + 101 = 3*p - 5*j. Suppose 684 - p = -7*h. Which is bigger: -75 or h?
-75
Let i be (9/(-2))/(3/(-2)). Let w = 3 - -3. Let c be 18/(-8)*-2*8/w. Which is smaller: i or c?
i
Let n(c) = 1312*c + 106. Let o be n(-1). Which is smaller: o or -1216?
-1216
Let a = -384637/1627759 - -1/12817. Which is bigger: -2 or a?
a
Let o = -30.181 - -30.181. Which is smaller: 3/806 or o?
o
Let a = -27 - -44. Suppose -449*u = -446*u - 24. Suppose s + r = 19, -5*s = -u*s + 4*r + 22. Is s != a?
True
Let z(h) = 80*h + 5962. Let k be z(-36). Are 3082 and k unequal?
False
Suppose b + 2*i - 5 = -1, 0 = -b - 4*i + 14. Let s be -3 - ((-4)/b + (-257)/93). Is -1 at least s?
False
Let a(k) = -k**2 - k + 86. Let o be a(-10). Let d(t) be the second derivative of -t**4/12 - t**3/3 + 3*t**2/2 + 2*t. Let s be d(o). Which is greater: -8 or s?
s
Let v = 30 + -28.85. Let i = 1.19 - v. Let x be ((-28)/(-8) + -3)*-1. Which is smaller: x or i?
x
Let w = -41.9 + -1.1. Let p = w - -43.1. Let k = -24.8 - -25. Does p = k?
False
Suppose -3376 = -5*n - 721. Let c = -433 + n. Is 98 < c?
False
Suppose 0 = a - 5, -2*g - g + a - 86 = 0. Suppose -50 = -i + f - 83, 5*f = 20. Are i and g non-equal?
True
Let y = -2 - -2. Let a be 2/15 + 231/(-180) + (-11)/(-11). Which is smaller: a or y?
a
Let m(f) = 54*f - 4018. Let q be m(10). Are q and -3479 non-equal?
True
Let x = 14410 - 14406.89. Is x >= -7?
True
Let f(n) = 10*n**3 + 105*n**2 - 16*n - 48. Let i(g) = 5*g**3 + 53*g**2 - 8*g - 24. Let x(d) = -3*f(d) + 5*i(d). Let o be x(-10). Is -57 at least as big as o?
False
Suppose -3*g + 1793 - 48 = 4*a, 0 = -3*a + 4*g + 1340. Let f be (a/(-9386))/(-5)*-17. Let m = 2/361 + f. Which is smaller: -3 or m?
-3
Let g = 0.4 - 0.2. Let y = -27.399 - -27.5. Let z = y - -12.899. Is z > g?
True
Let l(d) = 2*d + 4. Let s be l(5). Let x = 499 - 515. Let p be (-1 + 15/2)*x/(-8). Which is smaller: p or s?
p
Let w be 212/8745 + 1*-1*14/(-35). Is -2 less than w?
True
Let r = 418 - 408. Suppose -m - r = -29. Is 0.09 bigger than m?
False
Let k = 11.23 - 10.36. Let q = 2 - 1.5. Let o = q - k. Is 0.1 equal to o?
False
Suppose -16*s - 10 = -17*s. Suppose 11*g + s + 1 = 0. Which is smaller: 7/47 or g?