r 35?
s
Let m be (0 + -2 + 0)/(6/(-15)). Suppose 5 = -m*g - 5. Let j be (2/(-21))/(g - 70/(-36)). Which is smaller: j or 2?
j
Let v = 374 - 458. Let r = -96 - v. Which is greater: r or -18?
r
Let v be (-5 + 29 + -23)*0*(-2)/4. Which is greater: v or 1/4713?
1/4713
Suppose 5*r - 765 = v, -2*v = -5*v - 15. Suppose 21*o - 2525 = -r. Is 112 less than o?
True
Let n = 491 + -586. Which is smaller: n or 41?
n
Let r = 887 - 38143/43. Let f be 0*((-18)/(-36))/(2/4). Is r at most f?
True
Let m be (-1988)/441 + 4/18. Let r be 4/28 - (-370)/7. Let c = 49 - r. Is c <= m?
False
Suppose 439*f + 442*f + 6 = 887*f. Is -1/7664 > f?
False
Let g be ((-164)/3157)/(4*2/(-1148)). Suppose 4*j = j + 24. Which is smaller: g or j?
g
Let o(c) be the first derivative of -5*c**2/2 - 56*c + 139. Let m be o(6). Is -85 at least m?
True
Let h be (-41051840)/(-3520) - 12/(-22). Is 11662 >= h?
False
Let r = 2473.4547 + -0.4547. Is 2/9 less than r?
True
Suppose -2*y = -5*y. Suppose -127*i = 148*i + 131*i - 812. Which is greater: y or i?
i
Let m = 67.2 + -94. Let j = -28.8 - m. Is -0.025 at most j?
False
Let n(p) be the first derivative of p**2 + 27*p - 117. Let b be n(-13). Which is smaller: -2/651 or b?
-2/651
Suppose -5*l + 5*v = 4270, 5*l = 4*v - 1761 - 2507. Is -854 less than l?
True
Let l be (14/4)/(2/28). Let n be 595 + -3 - (1 - -3). Suppose -51*y - n = -63*y. Are l and y equal?
True
Let p be (1 + -2)/((-5)/65). Let i(h) = h**3 - 12*h**2 - 13*h - 3. Let m be i(p). Which is bigger: 3/4 or m?
3/4
Let x = -8868 + 8793. Which is smaller: 1 or x?
x
Let o(a) = -10*a + 11*a**2 + 3*a - 15 - 43*a**3 + 44*a**3. Let q be o(-11). Suppose -3*y + y - 4*k + q = 0, -122 = -5*y + k. Is 3 less than y?
True
Let j be (1190/(-160) + (-19)/304)/(3*-238). Which is smaller: j or 1/3?
j
Let f = 217.4 + -34.4. Let j = f - 95. Let d = j - 89. Which is smaller: d or 4/11?
d
Let m be (-2)/11 + (-60)/33 + 2. Suppose m = 2*h - 5*s + 2, 5*h - 8 = 4*h - 2*s. Let p be 32 - 28 - (h - 0). Which is bigger: -1/50 or p?
p
Let n = 422.1 - 422.2. Suppose -4*i - 90 = 2*s + 70, -i = 2*s + 43. Which is smaller: n or i?
i
Let s be ((-12)/15)/(2/(-120)). Let u be ((-3)/(-9)*-40)/(5/15). Let c = s + u. Is 8 smaller than c?
False
Let y be ((-960)/(-28))/((-216)/(-112)) + 2. Which is greater: 20 or y?
20
Suppose n = 2*p - 2, -5*n + 3*p + 35 = 8*p. Suppose 2*r = 4*r + n. Which is greater: -4/7 or r?
-4/7
Let x(t) = -2*t**3 - 2*t**2 - 11*t - 10. Let h be x(-1). Let o = -591 - -54961/93. Which is greater: o or h?
h
Suppose 0 = -4*w - 43*i + 44*i - 32, -2*w - i = 10. Suppose 5*q + 3 + 2 = 0, 10 = 2*j + 4*q. Which is greater: j or w?
j
Suppose -13*b - 4*p = -12*b, b + 2*p - 2 = 0. Suppose -14*o - b = 10. Which is smaller: o or -1/190?
o
Let z = 10492 - 10493. Which is greater: z or -8/1427?
-8/1427
Let i be 9 - 10 - -1*3. Suppose f - 151 = -3*m + 2*f, 2*m - 98 = -i*f. Let q be 236/(-1130) - (-10)/m. Which is smaller: -1 or q?
-1
Let d(i) = 151*i + 3973. Let k be d(-24). Let r(x) = 174*x + 1. Let g be r(2). Is k greater than g?
False
Let j = 5987 + -3068. Is j smaller than 2919?
False
Let d = 1458711/4012 + -6192/17. Let i = d + 447557/3068. Let b = i - 145. Is 1 less than b?
False
Let a = -21958 + 21957. Which is greater: a or -6/1765?
-6/1765
Let f be (17/34)/(((-1)/(-334))/(-1)). Let w = 179 + f. Which is greater: w or 17?
17
Let t be 4/80*-27 + (-451)/44 + 10. Is 0.85 not equal to t?
True
Let r(l) = -2*l**3 - 2*l**2 - 4*l - 4. Let o(z) = z**3 + 4*z**2 - 3*z + 1. Let d be o(1). Let b be r(d). Which is bigger: b or -87?
-87
Let s be (-11 + 4496/432)*1/156. Which is bigger: s or 1?
1
Suppose -4*d + 2*v + 16 = 28, -3*d - 53 = -7*v. Is -1/28368 greater than or equal to d?
False
Suppose 5*t + 2*b = -b - 15, b = -5*t - 5. Which is greater: -4/2363 or t?
t
Let t be 7 + (-23)/3 + 4336/(-3). Which is smaller: t or -1447?
-1447
Suppose d + 3181 = -3*q, q - 112*d + 1052 = -114*d. Is q greater than -1056?
False
Let n = -153 + 155. Let r be 116/((24/90)/(n/(-5))). Is r >= -173?
False
Suppose -3*b + 171 = 3*n - b, 2*b = -5*n + 281. Let f = 60 - n. Suppose -3*i + 18 = 3*t, 19 = 2*t + 5*i - f. Which is smaller: 6/7 or t?
6/7
Let b(v) = -14*v + 436. Let j be b(9). Which is smaller: 3420/11 or j?
j
Let h(k) = -10*k + 34. Let c be h(3). Let y = -4 + c. Which is smaller: y or 1/110?
y
Suppose -4*g = -4, -3*x + 4*g = -124 + 134. Which is greater: x or -104/51?
x
Suppose -14*w + 24 = -6*w. Suppose -2*g - g + 534 = 0. Suppose 0 = 16*k - 94 - g. Which is greater: w or k?
k
Suppose -3*z + 489 - 1393 = 5*l, z = 2. Which is greater: l or -193?
l
Let z = 287 - 295. Let u be -2 - -4*2/(-8). Is u bigger than z?
True
Let h = -3593 - -7940. Which is greater: 4346 or h?
h
Let v = 37414 + -37412. Is 10/7 bigger than v?
False
Let o = -44 - -33. Let v = -32 + o. Let n = v - -42. Which is smaller: -0.06 or n?
n
Let j be 381*(-16)/(-24)*1/2. Suppose -4*s = 2*x + j - 21, 5*s + 149 = 3*x. Which is smaller: 1/2 or s?
s
Let o(t) = -4*t. Let i(k) = 29*k - 42. Let v(m) = i(m) + 5*o(m). Let c be v(5). Let z be (-4)/2 + (-80)/(-22). Which is bigger: c or z?
c
Let a be (3 - 1)*(-5)/(-2). Let h(u) = 6*u - 39. Let t(q) = -18*q + 116. Let m(j) = -7*h(j) - 2*t(j). Let n be m(6). Does a = n?
True
Let z = -1059 - -1053.01. Let t = z - -3.99. Is t bigger than -14?
True
Let y = -11 - -24. Let q be y*(-1)/2*-2. Suppose -189 - 111 = -30*s. Which is smaller: q or s?
s
Let f = 8.163 + -7.393. Is 0.11 >= f?
False
Let p(f) = -33*f + 133. Let r be p(4). Are r and 268 equal?
False
Let r = 6294 + -157357/25. Is r at most 1?
True
Suppose 5*x - 13 = 4*j, 7*j - 2*j - 2*x = 5. Suppose 3*i - i - j*i = 0. Suppose 3*m - m = i. Is -2/13 smaller than m?
True
Let u(o) = -o**2 - 62*o + 85. Let w be u(-62). Let j = -114 + 201. Which is bigger: j or w?
j
Let c = 0.003 - -0.016. Let y = -190 + 189.681. Let q = y + c. Which is smaller: q or 5?
q
Let u be 1/2120*1/(-1*(-1)/(-3)). Which is bigger: -1 or u?
u
Let n = -2005 + 264661/132. Is 0 not equal to n?
True
Let s = -3876 - -3875. Which is smaller: 2/2335 or s?
s
Suppose 3*k - 56 = 10. Let d(m) = 8*m + 129. Let u be d(-14). Suppose 874 = u*n + 21*n. Is n <= k?
False
Let w = 0.101 + 0.099. Let r = 38 + -34. Suppose -r*x = -5*x. Which is smaller: x or w?
x
Suppose -24941 = -618*h - 3929. Which is greater: h or -55?
h
Let h = -5108 - -5107.832. Is -2 at least as big as h?
False
Let n be 187/252 + (-2)/(-7). Let v = -2815 + 25342/9. Let j = v - n. Which is bigger: j or 1?
1
Let v be -2*(-26)/(-24)*(-360)/8. Let h be (-23735)/(-246) - -1 - 0. Let i = v - h. Is i equal to 1?
False
Let c(l) = -22*l + 394. Let q be c(21). Which is smaller: q or -75?
-75
Let w = -40 - -24. Let i = w - -16.06. Is i at least as big as -8?
True
Let g be 917*(-16)/(-1232) + -11. Let c be 3/2*(-2)/(-3). Is g greater than or equal to c?
False
Let v = 876 + -1440. Which is bigger: v or -563?
-563
Let k be (-1)/3 + (-4)/6. Let z = 710 + -1368. Let f = z - -3279/5. Which is bigger: k or f?
k
Let k(u) = 3*u**2 - 8*u + 11. Let n be k(7). Let x be ((-7)/21)/((-2)/n). Suppose -5*a = -5*q + 20, -2*q - x = 3*a - 0*a. Is -2 at least q?
False
Let r = -11737 + 58728/5. Let s(q) = 8*q**2. Let d be s(1). Which is smaller: r or d?
d
Let w(k) = 385*k**2 + 241*k - 735. Let a be w(3). Is a equal to 3451?
False
Let m(n) = 4*n**2 - 8*n - 2. Let y be m(6). Suppose 27 - 6 = 7*q. Let x be (-4)/(-26) - q/((-351)/10980). Does x = y?
True
Let r be (9 + (-26970)/3010)*(4 - 53). Does r = -1?
False
Suppose 0 = 5*f - g + 195, 296 = -5*f + 3*g + 91. Let c = -39 - f. Is 15/62 at least as big as c?
True
Let j be (-9 - -12)/(3/5). Suppose j*p + 4*p = 54. Suppose 0 = -6*t + p + 30. Is 5 at most as big as t?
True
Suppose -62883 = -439*a + 28*a. Let u(r) = 5*r**2 - 4*r + 7. Let y be u(-5). Are y and a nonequal?
True
Let v = -1743 + 2820. Is v greater than 1077?
False
Let o be (36/21*-18)/(5*-2). Let h = 39/14 - o. Let t = 142.9 + -143. Is t greater than h?
True
Let m(a) = a**3 - 6*a**2 - 7*a + 5. Let l(x) = -3*x**2 - 17*x - 3. Let o be l(-5). Let d be m(o). Let y be d - (1 + 0) - -5. Is 11 not equal to y?
True
Let v be (1/(300/(-27)))/(17 + -11). Suppose 3*t = 2*i + 11 - 12, -5*t = -5*i + 5. Is t equal to v?
False
Let b(g) = -7*g - 71. Let v be b(-5). Let h be (12/v + (-8)/3)*-23. Is h > 68?
True
Suppose -4*g - 4