r: 6699 or o?
6699
Let w = 1240.23 - 1249. Let p = w + -3.23. Which is smaller: -5 or p?
p
Let l(a) = -a**2 + 6*a - 185. Let r be l(16). Is -345 greater than or equal to r?
True
Let v(m) = -4*m - 29. Let n be v(-8). Suppose 7*x - n = -17. Let p(i) = -i**2 - 10*i - 17. Let w be p(x). Which is bigger: -2/31 or w?
-2/31
Let s be -4*(3 + (-375)/12). Let b = s + -12. Suppose -5*q + b + 34 = 0. Is q greater than or equal to 27?
True
Let y = -5 + 3. Let p be (8/114)/(-4)*y. Let n = -33669 - -33670. Are p and n unequal?
True
Let o(k) = 5*k**2 - 36*k + 8. Suppose -3 = 3*n + 4*v - 4, 3*n = 5*v + 46. Let m be o(n). Let t be 8/6*(-10)/(-8). Is m smaller than t?
True
Let u(g) = -56*g**3 + 14*g**2 + 77*g - 501. Let a be u(7). Which is bigger: a or -18483?
-18483
Suppose 21*f + 5845 = -7301. Let i = 1880/3 + f. Suppose 2*k - 7*k = -5. Which is greater: k or i?
k
Suppose -13 = -i - 0*f + 2*f, 5*f = -3*i + 17. Let s be (-2)/(-3) - 33/i. Let n = 5.993 - -0.007. Is s smaller than n?
True
Let f(y) = 218*y + 7411. Let p be f(-34). Which is smaller: -2/22897 or p?
p
Let n = 4.8814 + -0.3904. Let l = -3561 + 3556.5. Let g = n + l. Which is greater: 1/2 or g?
1/2
Suppose 43*x = 42*x. Let u = -168 - -154. Is x at most u?
False
Suppose h + x = -4*x, 2*h + 5*x = 0. Suppose 2*m + 15 = 5*i, -m + 5*m = h. Let f be (-1)/i*75/5. Does 1/12 = f?
False
Let u(g) = 62*g**2 + 1222*g + 50. Let r be u(-20). Which is smaller: 2047/5 or r?
2047/5
Let s = 3 - 0. Suppose -s*n - 525 = 1209. Is n > -578?
False
Let b = -46 + 47. Let d be b/(-4) + (-3)/20. Is -0.37 bigger than d?
True
Suppose 10*d - 28 = 2. Suppose 3 = -3*i - 2*p, 5*i - 7*p + 5 = -d*p. Let a be -5*3*2/14. Is i greater than a?
True
Let d be ((-48)/(-14))/(-2) - (-10)/(-35). Let h(o) = -2*o**2 - 13*o - 18. Let z be h(d). Is -7/11 != z?
True
Let s = -222 + -24. Let q = s + 109. Let f = -146 - q. Which is smaller: -4 or f?
f
Let o = 0.3329 - 0.5729. Which is smaller: o or -5?
-5
Let a be (12/4 + -56)*1. Let p(u) = -u**2 + 9. Let y be p(-3). Suppose y*j - 12*j = 648. Is a at most j?
False
Let v = -0.37 + 0.17. Let o = -5 + -139. Let l = o - -129. Are l and v equal?
False
Let s = -22 + 16. Let l be 88/1430*370/(-4). Which is smaller: l or s?
s
Let y = -8371 + 8433. Is 38 less than y?
True
Suppose 24*a + 255169 = 126627 - 186026. Do a and -13108 have different values?
True
Suppose a = -3*n + 8, 2*n - 10 = -5*a + 4. Let m = 925/546 + 1/3276. Let x = -11/12 + m. Which is smaller: n or x?
x
Let g = -14 - -22. Suppose -5*x - 70 = j, -25 = x + 4*j + g. Suppose 0 = 2*p + c + 2*c + 16, 2*p + 4*c = -12. Which is greater: x or p?
x
Let s be 1/(3/(-21)) + 2. Let g be (-1 - s) + (0 - 4). Suppose g*k = -4*k + 4. Are k and -2/33 nonequal?
True
Let x(y) = y**2. Let j(k) = k**2 - 14*k - 3. Let g(w) = j(w) + 2*x(w). Let z be g(5). Are -5 and z nonequal?
True
Suppose -21*k + 5889 = -8*k. Let f = k + -383. Is 75 at most as big as f?
False
Suppose 21*n + 17 = 80. Suppose 3*i + 10 = 4*y, -n*y + 5*i = -23 + 10. Is y greater than or equal to -17?
True
Let d = 8628 - 9878. Do d and -2499/2 have the same value?
False
Let y be (41*2/(-16))/((-11)/44). Suppose 0 = -2*w - 2*u + 10, 5*w + u + 8 = 21. Which is bigger: y or w?
y
Let x = 2/11677 - 11681/23354. Which is bigger: x or -158.9?
x
Suppose -51177 - 119650 = -142*t + 34363. Which is smaller: t or 1448?
t
Suppose -51*i + 42365 = 9827. Is 636 smaller than i?
True
Let k = 906 + -947.945. Let m = k - 0.055. Let c = -41.7 - m. Does 4/5 = c?
False
Suppose -90*i = -110*i + 20. Does 13/203 = i?
False
Let z(o) = 4*o**3 - 3*o**2 + 2*o - 3. Let c be z(-3). Let a = 63 + c. Is -80 bigger than a?
True
Let z = 117.64 + -47.64. Is -1/11 greater than z?
False
Let h = -3076 - -3006. Which is smaller: -486/7 or h?
h
Suppose -4*m - 51 = 3*d, 0 = -d - 3*m + m - 15. Let h = d - -17. Let u be 0/(1/(h - -3)). Is 7/6 not equal to u?
True
Let n = -128.6 + 108.6. Is n smaller than 180/7?
True
Suppose -4 = -y, -42 + 161 = 3*t + 5*y. Let v = -18 + t. Suppose 14*o = v*o. Which is greater: o or 5/7?
5/7
Suppose 10 = 10*i - 140. Let n be (18/i + -2)*-5. Suppose -5*l - c + 19 + 67 = 0, 0 = -l - n*c + 21. Is l bigger than 17?
False
Let r(m) = -11*m**2 - 97*m + 7. Let t be r(-9). Is -303 greater than t?
False
Let n be (4380/657)/((-2)/9). Is -24 > n?
True
Let u be (-868)/(-154) + 5*-1. Let g = 211/76 - 48/19. Is u at most as big as g?
False
Let c(n) = 21*n**3 + 3*n**2 - 4. Let i be (2/2)/(-4*2/(-16)). Let q be c(i). Suppose 4*t + q + 224 = 0. Which is bigger: t or -99?
-99
Let s be (-1550)/6584 + 26/2600*25. Is 1 smaller than s?
False
Let m = 6.9 + 2.1. Suppose l = 5*x - 7, l + 13 = 9*x - 10*x. Which is smaller: m or l?
l
Let r be (-3)/(-9)*3*3. Suppose -15 = 328*s - 331*s. Suppose 0 = -s*f - 3*x + 97, f - 5 = -3*x + 6*x. Which is smaller: r or f?
r
Let i(q) = q**3 - 95*q + 33. Let g be i(0). Is -4 smaller than g?
True
Let y = -265.52 - -273.01. Which is smaller: y or -2?
-2
Let q = -8361 + 8342. Which is greater: q or 43?
43
Let d = 626 + -626.0474. Let i = -3.0474 - d. Is i at least 0?
False
Let s(x) = -51*x - 237. Let j be s(-5). Let c be (-3)/((-54)/(-28) + 9/(-21)). Which is greater: j or c?
j
Let a = 4192 + -4191. Which is bigger: -1/3594 or a?
a
Let n = -59437 - -59203. Let c = 0 + 1. Which is smaller: c or n?
n
Let i be 7/(-21)*7443/5. Let o = -483 - i. Is 12 < o?
True
Let o(k) = -8*k - 2887. Let m be o(102). Which is smaller: -3702 or m?
m
Let t be (17 + (-2541)/132)/(3/8) + 3. Let v(i) = -i**3 - 2*i**2 - 2*i + 3. Let a be v(2). Is a greater than or equal to t?
False
Suppose 0 = -4*f + 2*o - 78, -8*o + 5*o = -2*f - 33. Which is greater: -585/29 or f?
-585/29
Suppose 2*m + n - 7 = -2*n, 11 = 3*m + 5*n. Let x be m*-1 + (40/19 - 0). Suppose 4*g + 4 = -2*i, -5*g + 4 = -3*g - 2*i. Which is smaller: x or g?
g
Let i(y) = -6*y + 142. Let f be i(24). Let h be 2/f*9798/(-46). Is 212 greater than or equal to h?
False
Let r be 4/(-6)*1602*(378/(-28) + 13). Which is smaller: r or 533?
533
Let c = -8 + 6. Let z = c - 0. Suppose -3*w - 2*w - 3*o - 4 = 0, -o = 3. Are z and w unequal?
True
Let c(g) = -g + 2. Let i be c(-9). Let x be (-8)/(-6)*3/2. Suppose x*u + 39 = 5*t, 0*t + 5*t - 5*u - 45 = 0. Is i at most as big as t?
False
Let o = -23 - -10. Let r be -4 + 1 - (o - -11). Let h = -196 - -187. Which is greater: r or h?
r
Let w be (-24 - -17) + (-1020)/24*(-4)/(-5). Which is greater: w or -34?
-34
Let x be 70/132*-2 + 1. Suppose -5*b - 4*t - 16 = 0, 50 = -4*b + t + 54. Is b at least as big as x?
True
Let s(n) = -n**3 + n**2 - n + 1. Let v be s(0). Let b be (-10565)/(-55440) + (-4)/(-56). Let m = b + 5/99. Is m > v?
False
Let z(w) = 192*w - 582. Let x be z(3). Which is smaller: -408 or x?
-408
Suppose -5*s - 2*d - 11414 = -1066, -d = 2*s + 4140. Is -1 at least as big as s?
True
Suppose -5*z = 10, -3*z + 7 - 10 = c. Which is smaller: -0.28 or c?
-0.28
Let s = 0.1465 + -482.1465. Which is smaller: s or -2?
s
Let l be 192/(-144) - 94/(-30) - (4 - -1). Which is greater: l or -2?
-2
Let v be 39*819/(-52)*(-1)/(-12). Is -50 smaller than v?
False
Let r = -6253 + 7825. Is r at least 1572?
True
Suppose 29*h + 15115 - 1920 = 0. Do h and -455 have different values?
False
Let h(u) = 2*u**3 - 15*u**2 + 2*u + 25. Let a be h(5). Which is smaller: 5 or a?
a
Let o(t) = 7*t + 129. Let r be o(-6). Let d be (-12)/12*(-1 + 12). Let m = r + d. Which is smaller: m or -1/3?
-1/3
Suppose -381*q = -360*q - 21. Is 43/69 greater than q?
False
Let d(k) = -6*k - 6. Let h be d(-1). Let b be 256/(-44) + 2/(-11). Let z be (-4)/b*(-7)/(-70). Is h less than or equal to z?
True
Let s = 45 - 137/3. Let h = 122 - 116. Let q be -1 + ((-30)/12)/((-10)/h). Which is bigger: s or q?
q
Let u = -23869 + 23994. Which is smaller: u or -10?
-10
Let q = 98 - 72. Let w = -28 + q. Let p be -1*54/4 - w/(-4). Which is bigger: -16 or p?
p
Let d = -20.5 + -111.5. Let a = d - -127. Let h = -3 - a. Which is smaller: h or -1/28?
-1/28
Let z = -0.2 - 0.8. Let f = -1.4 - -10. Let t = -8.53 + f. Are t and z nonequal?
True
Let v = -0.4692 + 0.376. Let i = v + -0.0068. Which is smaller: -28 or i?
-28
Let r = 562387/9880 + -740/13. Is -2/7 != r?
True
Let a = 27 - 36.5. Let w = -21 + 30. Let n = a + w. Which is greater: -4 or n?
n
Let w = 402 - 404.95. Let a = w - -1.35. Is a not equal to -0.01?
True
Le