16/(-36))/(-2). Which is smaller: p or -40/13?
-40/13
Let z = 4857 - 4728. Which is greater: 141 or z?
141
Let t(k) = -2*k**2 - k + 1. Let i(p) = 5*p**2 + 15*p + 3. Let h(m) = i(m) + 4*t(m). Let f be h(5). Is -14 < f?
True
Let r = 19896 + -19896.024. Which is greater: r or -3?
r
Let p = -274 + 273. Let u be 10*1*(-3)/(-6)*-14. Is u at least as big as p?
False
Suppose 8*r + 13 - 61 = 0. Suppose 3*y + 8*a = 7*a + 38, r = y - 3*a. Let s be 3*(34/6 - 2). Is s greater than y?
False
Let a = -2368 - -2368.12. Which is bigger: -919 or a?
a
Let o = -0.0944 - -0.0544. Which is smaller: 57 or o?
o
Let z be (-3)/60*2 + 1/780*-4222. Which is greater: z or -6?
z
Let l(z) = 6*z + 102. Let q be l(-2). Which is bigger: q or 5?
q
Let n = -737 - -415. Let r = -2256/7 - n. Which is smaller: 0 or r?
r
Let a(y) = -5*y - 37. Let p(h) = 4*h + 37. Let k(x) = -5*a(x) - 6*p(x). Let n be k(23). Let l be 2/n - ((-17105)/8015 + 2). Is 0 > l?
True
Let n(p) = -p. Let x be n(0). Suppose t = -4*q + 11, -t - 1 = q - x*t. Suppose -q*c + 75 = -c. Does c = 26?
False
Suppose -9*g + x - 14 = 0, -4*g + 27*x - 12 = 28*x. Which is smaller: g or -756?
-756
Let t(c) = 6*c**2 + 15*c - 4. Let h(r) = 3*r**2 + 7*r - 1. Let j(o) = 7*h(o) - 4*t(o). Let z be j(-4). Which is smaller: z or -8?
-8
Let q = -552 + 704. Let x = q + -24625/162. Is -2/9 < x?
True
Let f = -2.95 + 220.95. Let o = -218 + f. Which is bigger: o or 117?
117
Let t = -6891/4631 + 4/1263. Let o be (-9)/6 - 1005/(-330). Let w = o + t. Is 1 at most as big as w?
False
Let o(j) = -2*j**2 - 35*j + 161. Let v be o(5). Which is smaller: v or -69?
-69
Let g = 7.159 + -5.159. Is g greater than -3/595?
True
Let g(k) = -k**3 - 11*k**2 + 9*k - 2. Let p be g(-10). Let q be (290/56)/5 + (-144)/p. Which is bigger: 1 or q?
q
Suppose -69*m + 65*m - 336 = 0. Let a = -2353/28 - m. Is -1 less than a?
True
Let x = 451 + -370. Suppose -18*k = -x + 9. Let i be 0 + (39/7 - 2). Do i and k have the same value?
False
Let c be (3 - 614691/213768) + (-1)/8. Let o = c + -273067/160326. Which is smaller: -3 or o?
-3
Let l be 89/((-2276442)/358008) - -14. Suppose -5*k + 2 - 12 = -5*j, 0 = j - 2. Is k at least as big as l?
False
Suppose 5*s - 10*s - 3*l = -25, 2*l = 2*s + 6. Suppose s*c + 32*i - 10 = 34*i, 3*i = 2*c - 14. Is 584 at most c?
False
Let i be (-10)/(-60)*-1 - (-63)/450. Let m be (-4 - (1 - 2))/1. Let s be (-3)/(-9) - (-4)/m. Which is bigger: s or i?
i
Let x = -3.828 - 0.172. Let v = 2.41 + -0.01. Let o = x + v. Is o at most as big as 0.1?
True
Let v = -7167.37 - -7198. Let x = -30.7 + v. Which is greater: 13 or x?
13
Suppose -15 = -3*x, -2*g - 4*x - 294 - 238 = 0. Is g greater than -260?
False
Let s = -437 + 734. Let o = -297 + s. Is o greater than -47?
True
Let a(h) = 9*h**2 + 18*h - 141. Let g be a(-12). Which is smaller: g or 940?
g
Let q be (2 - (-4 + 54))/((-6)/33). Let u be -6 + q/(-121) - (-5 - 0). Which is greater: u or -4?
u
Let s be (-9212)/(-3619)*(-2580)/(-14). Which is smaller: 469 or s?
469
Let u be (1827/(-119))/((-4)/(-8)). Is u < -30?
True
Suppose -2*i - 43 - 19 = 0. Let c = i - -30. Which is smaller: c or 3?
c
Let y(b) = b + 15. Let c be y(-9). Suppose 4*q - i = -2*i, i = 2*q + c. Suppose -10*s - 405 + 385 = 0. Which is bigger: s or q?
q
Let a(l) be the first derivative of -l**4/2 + l**2 + 42*l + 21. Let d be a(0). Do d and 42 have the same value?
True
Let y = 3846 + -426. Is y at least 3420?
True
Let w = 88.7 + -26.5. Let l = -61 + w. Let h = -15 - -31/2. Which is smaller: l or h?
h
Suppose -56*y = 299*y - 26270. Is y less than or equal to 2450/33?
True
Let n be 9 + 3 + 7 + (-1020)/54. Which is smaller: n or -411?
-411
Let m(l) = -l**2 + 24*l + 46. Let i be m(20). Let d = 82 - i. Which is greater: -43 or d?
-43
Let s be 19/((-76)/(-24)) - 2/(6/(-123)). Which is bigger: s or 91?
91
Let c be 8 - 3798/63 - (-8)/28. Suppose 51 - 239 = 4*v. Is c smaller than v?
True
Let j(u) = -u**3 + u**2 + 16*u - 2. Let t be j(-4). Suppose -8*l = -62 + t. Suppose l*x - 8*x = 198. Which is bigger: -98 or x?
-98
Let m be 0/(-3*(-4)/6). Suppose -2*y + 35 + 51 = m. Let i be (41/9)/(97/873). Is y greater than i?
True
Let d = 8.3 - 271.7. Let h = d + 263. Is 3 smaller than h?
False
Let a(r) = -2*r + 1. Suppose 8*g = 8 - 16. Let m be a(g). Let n be m/((-15)/5)*2. Which is greater: n or -8/13?
-8/13
Suppose 89*i + 21652 = 93*i - 2*x, 5395 = i + 4*x. Are 5415 and i nonequal?
True
Let f be (120/18 + -6)*(1 + 20). Suppose 5*j + 2*l - f - 2 = 0, 3*j = -l + 10. Let u be 1 + (-4)/(-2 - 0). Which is bigger: u or j?
j
Suppose 7035 = 7*c + 7021. Is 56/19 at most c?
False
Let s = -70 - -4. Suppose -140*z + 399 = -539*z. Is z <= s?
False
Let a = 77 + -71. Let i be 20/(-6)*(a + 156/(-20)). Suppose i*c - 3 - 27 = 0. Is c greater than 46/9?
False
Suppose -88*s - 310 = -26*s. Which is smaller: 462 or s?
s
Let n = 107 - 35. Let q = -3595 - -3670. Let k = q - n. Which is smaller: k or 1/3?
1/3
Let v = 0.37 - 0.17. Suppose 7*t = 5*t + 900. Let c be 2*(190/t - 4/18). Which is smaller: c or v?
v
Let t = 220511/48 + -4594. Let q = -2 - -1. Which is smaller: q or t?
q
Suppose 0 = -5*n + 3*d + 6, 5*d - 18 = -n - 0*d. Let f be (n - 26/6)/(5/1500). Which is bigger: -401 or f?
f
Let h = 9837/5 + -1967. Which is bigger: 3/5 or h?
3/5
Suppose -5*t + 136 = -4*c, 0 = 2*t - 5*c - 12 - 39. Let m be 502/40 - 7/t. Let h = m + -25/2. Which is smaller: 2/7 or h?
h
Let q = 2627003213358 + -73545581968736491/27996. Let a = -1/6999 - q. Let r = 265 - a. Is -4 equal to r?
False
Let d = -113 - -122. Let b be 3/5*50/d. Which is smaller: b or 3?
3
Let y(k) = -k + 6. Let x be y(6). Suppose 1698*g - 3029*g - 22220 = 2115*g + 50146. Is g greater than x?
False
Let t = -218.7 - -218.7. Is -6924 > t?
False
Suppose 0 = 5*a + 19 + 6, -3*m + 3*a + 15 = 0. Suppose 23 = -3*t - 4*v, -3*t + 7 = -m*t - 2*v. Is 2/167 >= t?
True
Let j be (-13 + 3850/88)/((-3)/8). Which is smaller: -70 or j?
j
Let p be (-12)/20 + 4566/10 + 3. Suppose 0 = -11*o - p - 168. Is o not equal to -223/4?
True
Let u be (2 + -593)*(7 - 1)/18. Let i be 7 + -11 - (-950 - 5)/(-5). Are i and u unequal?
True
Suppose -275 = -3*w - 2*w. Suppose w = v + 4*v. Suppose 0 = 5*g - 16*g - v. Are 2/55 and g equal?
False
Let p be ((-108)/(-63))/(0 + 1)*(-189)/18. Is p greater than or equal to -18?
True
Let l = 9.1 + -20.8. Let a = l - -7.2. Which is bigger: a or -1/2?
-1/2
Let r = 13.73 + 0.27. Let v = -44 + r. Let i = 1093 - 1092. Which is greater: i or v?
i
Let p = -3 - -2.9. Let a = -110 + 140. Let o = -67 + a. Which is smaller: p or o?
o
Let u = -127 - -51.1. Let n = 105 + -181. Let m = u - n. Which is smaller: m or 14/3?
m
Suppose 4*o = -4*x + 9 + 19, -x - 3*o + 13 = 0. Let h be 1664/130 + -11 + (-2)/(-10). Which is greater: x or h?
x
Let i(f) = 13*f**3 - 85*f**2 + 4*f. Let u be i(6). Are u and -28 unequal?
True
Let u(l) = -45*l + 193. Let q be u(7). Let b = -133 - q. Let a be -13 - (0 - -1)*-1. Which is greater: a or b?
b
Let i = -2/8059 + -169229/40295. Let d be 628/(-16)*8/(-70). Let m = d + i. Is 9 >= m?
True
Let p(w) = -6*w**3 + 5*w**2 + 4*w - 21. Let d be p(6). Let v be -4 - 4854/d - (-4)/(-14). Which is smaller: 0 or v?
0
Let n = 1046 - 1045. Which is smaller: 123.2 or n?
n
Suppose 5*j = -12816 - 15759. Let y be (j/(-129))/5 - 5 - 4. Which is smaller: -2/7 or y?
-2/7
Suppose -v + 6*v - 50 = -s, -8*v = 32. Which is smaller: s or 498/7?
s
Let r(j) = -15*j**2 + 152*j + 144. Let l be r(11). Let i be (-41)/(-215) - (-2)/(-5). Which is greater: i or l?
l
Suppose 7*k - 2*k + 4*m + 45 = 0, 4*k - 5*m = -36. Let i be (0 - (-10)/(-45)) + 574/k. Which is smaller: -67 or i?
-67
Let r be -4*(11 - (-4697)/(-14)). Which is smaller: r or 1296?
1296
Let f be 2 + 21/6 - 5/(-10). Let i(z) = 3*z**2 - 19*z + 11. Let a be i(f). Suppose a*x = -2*x + 105. Which is smaller: x or 1/5?
1/5
Suppose 0 = 5*q + 10, -c = 3*c + q + 834. Let j = 2702/13 + c. Let n = -9991 - -9991.03. Is n not equal to j?
True
Let m = -308 + 309. Let w be m*42/(-6) - -47. Which is greater: w or 41?
41
Let i = 10657/49 - 217. Suppose 0*k - 17 = 3*j - 4*k, 2*k = 2*j + 8. Which is smaller: j or i?
i
Let j = 288.074 - -0.276. Let a = -288 + j. Which is smaller: a or 1/3?
1/3
Let b = 4.841 + 0.639. Let v = 5.38 - b. Is 7/71 >= v?
True
Suppose 0 = -26*f - f + 538 + 218. Which is bigger: f or 50?
50
