= -4/5 - u. Which is smaller: f or 13?
f
Suppose d + 3065 = -4*p, d - 70*p = -75*p - 3064. Is -3067 bigger than d?
True
Let z be (-212)/(-50) - (-21 + 25). Let n = 128/325 - z. Which is bigger: n or -1?
n
Let g(w) = w**2 + 16. Suppose 0 = -0*s + 5*s. Let y be g(s). Let j = -314 + 333. Is y equal to j?
False
Let r = -5.22 + 0.02. Let g = 4723 + -4725.8. Let n = r - g. Which is greater: n or -1?
-1
Suppose 811 = -227*n + 584. Which is smaller: n or -3/1910?
n
Let q be (-19)/(-2) - (-3)/6. Let t(k) = -k**2 + 12*k - 12. Let y be t(q). Let a be (-7 + y)*(-1 + -1). Do a and 6/11 have different values?
True
Let v = -109/3 + 23581/649. Is 0 bigger than v?
False
Let j = -7863 + 5338997/679. Is 1 at most as big as j?
False
Let i = -0.00054 - 225.99946. Is 1/23 at least i?
True
Let x be (8/(-6))/((-948)/(-234) - 4). Let u be (7 - 9)/(24/x). Which is bigger: 1/3 or u?
u
Let p be 170/(-4)*(19261/(-715) + 27). Are p and 16 unequal?
True
Let f = 7 + -7.03. Let m = 1.27 - f. Let j = 0.94 - 1.34. Which is smaller: j or m?
j
Suppose -100110 + 9092 = 17*i. Is i less than -5354?
False
Let y = 0.4149 - 0.1449. Which is bigger: y or 0.09?
y
Let o(q) = 2*q**3 + 29*q**2 - 31*q + 105. Let b be o(-22). Is -6474 smaller than b?
True
Let i(o) = o**3 - 16*o**2 - 46*o + 181. Let j be i(18). Which is greater: -37/288 or j?
j
Let f = -4012 - -4171. Which is bigger: f or -1?
f
Let k = 335 + -339. Let v(a) = -3*a**3 - 13*a**2 - 2*a. Let z be v(k). Is z > -15?
True
Let d be (-20)/(-18) + -1 - (-3333110)/1413. Is d equal to 2357?
False
Let y = 1008 - 711. Let u = y - 89. Is 207 less than u?
True
Let y(f) = 38 - 82 - 54*f + 40. Let o be y(-1). Let r be 2/5*(o/(-18))/5. Is -2/5 at least r?
False
Let s be 14911/(-26082) + (-704)/(-2016) + (-2)/(-9). Which is smaller: s or 0?
s
Suppose 2*b - w - 13 = 0, 0 = -3*b - 2*w + 1 + 1. Suppose 19*l + 476 = 571. Is l smaller than b?
False
Let z = 3 - 6. Let a(n) = -n**2 - 4*n - 15. Let m be a(-3). Let i be 3 + m + (11 - 6). Is z > i?
True
Suppose 23*v - 19*v + 1784 = 4*z, v + 448 = 3*z. Let p = v + 525. Which is greater: p or -1?
p
Let l(v) = -v - 16. Let z be l(-7). Let i = -2019030/4871 + 1/9742. Let o = i + 406. Is o != z?
True
Let n(l) = 98*l + 979. Let g be n(-10). Is -1909 less than or equal to g?
True
Suppose c + 5*w - 94 = 0, -85*c + 84*c = -4*w - 40. Which is greater: c or 11?
c
Let o be 1 + 11/(-9) + ((-68460)/(-3105) - 22). Is 4/9 at most o?
False
Let p be (-18)/(-4) - 3/(-2). Let o be (-204)/1530 + -17*272/(-30). Let z be 99/o + (p/4 - 2). Is 2/13 at least as big as z?
True
Suppose -43*s - 32625 = -14*s. Is -1127 at least as big as s?
False
Suppose 33 = 55*n - 54*n. Suppose -32*a = -n*a + 15. Suppose a*z - 6*z + 243 = 0. Is -79/3 < z?
False
Let u = -9718/7 + 1388. Let b(r) = -68*r - 7. Let g be b(3). Is g smaller than u?
True
Let i = -719/1353 - -43/123. Which is smaller: 5/47 or i?
i
Suppose -55*v + 18*v + 185 = 0. Suppose 5*z = 3*x - 76, 10*z - v*x = 8*z - 38. Is -12 greater than z?
True
Suppose 0 = 330*l - 63*l + 729711. Which is smaller: l or -2730?
l
Let r(o) = 5*o + 16. Let w be r(-2). Suppose 5*d = 15, 4*d = -3*x + d + w. Are x and 50 equal?
False
Let x be ((-2)/(-6))/(18/4). Suppose -5*v - 27 = -q, -3*q - v + 64 = 47. Let i be (-6)/21 + (25/q)/(-5). Is x greater than i?
True
Suppose 0 = -4*n + 3*o + 3, 4*n + 5*o - 10 = -47. Let j = 70 + -74. Let y be j/6 + (-32)/(-48). Which is smaller: y or n?
n
Let f = 1.056 - -2.944. Which is bigger: f or 15.6?
15.6
Let s = 9470 + -6391. Which is bigger: 3080 or s?
3080
Let u = 50 - 42. Let p be (81/4)/((-3)/u). Which is smaller: 0 or p?
p
Suppose -5*a + 5*v - 149 = -59, -3*v - 58 = 4*a. Let h = -449 + 443. Let i be a/h + -2 + 1400/(-75). Which is greater: -71/4 or i?
-71/4
Suppose -122*w - 50 = 5*g - 124*w, 65 = -5*g + 5*w. Is -541 at most g?
True
Suppose v = -4, -25 = 4*j - 2*v + 15. Which is smaller: j or 1?
j
Let i be -4 + 74 + (-6)/(-1). Let k = -410 + 485. Which is bigger: i or k?
i
Let h be (-8468)/46 - ((-4080)/368 + 11). Which is smaller: -193 or h?
-193
Let f be ((-1378)/(-39) - 8)*84/(-8). Which is bigger: f or -296?
f
Let g be (-4)/4*(22/8)/(-11). Which is smaller: 1/345 or g?
1/345
Let x(o) = o**2 + 29*o + 98. Let q be x(-28). Let j be (-6 - (-422)/q)/(-1). Which is smaller: 0 or j?
j
Let j(c) be the first derivative of -4*c**2 - 73*c + 117. Let d be j(-11). Is d less than -7?
False
Let n = 0.534 + -22.574. Let o = -1.04 - n. Let c = 0.01 - 1.01. Is o greater than c?
True
Let f be (6/(-9))/((-6)/(-9)). Let k = 12506/157675 - 36/425. Is f <= k?
True
Let x = -210 - -204. Suppose -5*w + 38 + 7 = 0. Let p be (57/w)/(0 - 1). Do x and p have different values?
True
Let b(v) = -v**3 - 19*v**2 - 4. Let l be b(-19). Let y be -1 + l + (4 - -17). Let p be (y/(-40))/((-1)/15). Are p and 8 non-equal?
True
Let l = -145 - -139. Let g = 44/7 + l. Let y = -14 - -6. Which is smaller: g or y?
y
Suppose 11 = -7*q + 8*q + 10*q. Is q smaller than 18/1205?
False
Suppose 7215 = 27*a - 42*a. Let i = a - -370. Which is smaller: -113 or i?
-113
Let z(i) = i**2 + 12*i + 6. Let u be z(-12). Suppose 0 = -n - 1, 3*m - u*m + n = -49. Let r be (-12)/m*(-1)/8. Which is bigger: r or 0?
r
Let i = 1448 - 1009. Let b = i + -436. Which is greater: b or 2/37?
b
Let z = 31068281599/38127 - 814863. Are z and 0 equal?
False
Suppose 81 = -25*c + 56. Let y = 158 - 230. Let w be (-308)/y - (2 + 2). Which is smaller: w or c?
c
Let q = 47 + 93. Let s be (9 - 1359/153) + q/(-34). Is s at least as big as -30?
True
Let t = 486 + -502.7. Let x = t + 16.67. Which is bigger: 0.32 or x?
0.32
Let r = -6255 + 969528/155. Let d(z) = -z**2 + 6*z - 1. Let y be d(6). Which is bigger: r or y?
r
Let f be 0/(-1 + -2 + 4). Let s be (f - 1)/(54/24). Let n = 31.9 + -32.1. Which is smaller: s or n?
s
Suppose -34 = -2*i + 22. Let b be (-14)/(-2) + -12 + 12. Let l(y) = 2*y**2 - 9*y - 8. Let n be l(b). Which is smaller: i or n?
n
Suppose 141 - 519 = -21*k. Suppose 2*u + k*u = 0. Which is smaller: -2/487 or u?
-2/487
Let b = 299/8 - 829/24. Do b and -1/23 have the same value?
False
Let p be ((-12)/10)/((-18)/60). Suppose -2*j - k + 17 = 0, -9*k + 8 = -j - p*k. Is j <= -1?
False
Let j be (8/(72/45))/(0 + 1). Suppose 0*w + 6 = -5*v - 3*w, -3*v = -3*w - 6. Suppose j*c = 6*c + 5*s, v = 5*c - 5*s. Which is greater: c or -2/33?
c
Let u = -465 - -394.5. Let v = 82.6 + u. Which is smaller: -1/2 or v?
-1/2
Let t(y) = -y**3 + 6*y**2 - 10*y + 14. Let f be t(6). Let l(x) = -49*x**3 + x**2 - x + 1. Let o be l(1). Which is bigger: o or f?
f
Let s = 17964 + -13551. Which is bigger: 4414 or s?
4414
Suppose -9*x + 12 - 390 = 0. Let n = x - -36. Let p be -2 - n - 126/31. Which is smaller: p or 1?
p
Let k = -636 + 634. Is k smaller than -41/29?
True
Suppose -16 = -4*q + 2*w, -6*w - 4 = 2*q - w. Suppose 3*u + 2719 = 4*n - q*n, 2*u - 3*n = -1815. Let i be (-1516)/u - 5/3. Which is smaller: -1 or i?
-1
Suppose 5*a + 3*a + 3*l + 1703 = 0, -4*l + 654 = -3*a. Is a smaller than -209?
True
Suppose -134904 = 71*a - 19*a + 21*a. Which is smaller: -1846 or a?
a
Let u be (-15)/(-10)*16/10932. Let y = u + -6411/15487. Which is bigger: -1 or y?
y
Let t(z) = -6*z**2 - 12*z - 23. Let w be t(-10). Let a = 467 + w. Which is greater: a or -35?
-35
Let w = -7121 + 7120. Is w at most as big as -3/158?
True
Let l be 2/6 + 4640/120. Let v be 6*1/9*l. Is 26 less than or equal to v?
True
Let m(b) = 3170 + 0*b + 6*b - 3307. Let x be m(15). Which is greater: x or -45?
-45
Let d = -0.57 - -0.4885. Let r = 0.5085 - d. Which is smaller: -2/13 or r?
-2/13
Let l = -25 + -1. Let j = 128 - 102. Let s = l + j. Is s equal to -2/5?
False
Let k = 48776.876 + -48777. Let b = 5 - 5. Is k greater than or equal to b?
False
Let p be ((42/(-24))/((-84)/24))/(2/(-20)). Which is greater: 133 or p?
133
Let y be (-3)/7 - (-2)/(-14)*3259. Are -462 and y nonequal?
True
Suppose -44*o = -42*o - 180. Suppose 5*b + 123 = -4*f, -3*b + 3*f - o = -0*b. Is -26 != b?
True
Suppose -28 = 7*v - 0. Let i be (v/13)/(-2) - 249536/(-146432). Let u = i + 9/176. Which is greater: u or 3?
3
Suppose 13*n + 39*n + 230*n = 48*n. Do -2/13503 and n have the same value?
False
Let b = 1471.8 + -1472. Are b and 1092 unequal?
True
Let n(y) be the second derivative of 13*y**3/6 + 33*y**2 - 142*y. Let k be n(-6). Let g = -20 + 9. Is k sm