 - (2 - 48/21). Which is greater: t or n?
t
Let l = 1380 + -1379. Is 14/169 > l?
False
Let p = -34 - -43. Suppose -61 + p = -26*r. Is r at least as big as 0.12?
True
Let h = 9374 + -9373.56. Which is greater: h or 0.05?
h
Let i(f) be the third derivative of -f**4/8 - 3*f**3 - 16*f**2. Let g be i(-8). Suppose -j = -2, 4*p + g*j = 3*j - 142. Which is smaller: -1 or p?
p
Let z be (-582)/328 + ((-201)/(-12) - 17). Is -1 != z?
True
Suppose -2*t = 5*r + 101, 10*t + r - 257 = 14*t. Let n be (-110)/7*(t + 60). Is 46 <= n?
True
Let m(s) = s**2 - 2*s - 10. Let x(v) = v**3 - 11*v**2 + 16*v + 22. Let w be x(9). Let j be m(w). Which is smaller: j or -6/11?
j
Suppose -13*v + 0*v + 273 = 0. Let x be v/(-14)*3/(-12)*-9. Is x not equal to 1?
True
Let n be ((-20966)/(-11) - -10)/2. Which is smaller: 960 or n?
n
Let u = -24778 + 123678/5. Let g be 10*-4 + (0 - 2). Which is smaller: g or u?
u
Let b = 10703 + -10683. Which is smaller: b or 228/11?
b
Let s(t) = -6*t - 66. Let y be s(-12). Let x be y*3/(-9) - -66. Which is greater: 1/5 or x?
x
Let b be ((-32)/80)/(16/(-15) - -1). Suppose -2*l + 287 = -5*m, -3*l + b*m + 459 = 8*m. Is l smaller than 151?
False
Suppose -p - 2*x = -6, 3*x = 3*p + 7*x - 26. Let w be (12/(-84))/((-4)/p)*2. Let c = 381 - 6473/17. Is c < w?
True
Let l(b) be the first derivative of 4*b**2 - 5*b - 61. Let h be l(3). Are h and -0.4 nonequal?
True
Let f be (0 - 12/15) + (-319)/(-55). Let o be 1*f + 11985/47. Which is bigger: o or 261?
261
Let u be 232/(-4) - 6/((-12)/(-10)) - -5. Do u and -76 have the same value?
False
Let x = -16388/11 + 1490. Is x > -168?
True
Let a be -1 + (-29)/(-31) + 38403040/22940. Which is smaller: 4 or a?
4
Let z = -6.41 + -681.59. Let q = 728 + z. Which is bigger: q or -9?
q
Let n(k) = -215*k - 156. Let m be n(-3). Which is bigger: m or 491?
491
Suppose -476*k + 516*k = -80. Which is bigger: k or 417?
417
Suppose -21540 = -206*u + 211*u. Let m be ((-14)/(-84))/((-8)/u). Which is smaller: 91 or m?
m
Suppose -1185*y + 1162*y + 23 = 0. Which is bigger: 21/313 or y?
y
Let u = 359 + -344. Let b(n) = -2*n**2 - 16*n - 10. Let w be b(-6). Which is bigger: w or u?
u
Suppose 0 = -3*q + 6*q - 9. Suppose 4 = q*v - 4*c, -3*v - 2*c - 2 = -5*v. Which is bigger: v or -1/4?
v
Let v(h) = -3*h**3 + 1. Let u be v(-1). Let m be (-1)/u*(-2728)/(-33)*-3. Let f be ((33/(-18))/11)/(m/(-4)). Are -1 and f equal?
False
Let z(d) = d**3 + 9*d**2 + 5*d - 6. Let a be z(-8). Suppose -7*y = -a*y + 1815. Which is smaller: y or 166?
y
Let s = -0.29 - 80.71. Let b = s - -52. Let m = b + 29. Is -18 < m?
True
Let v = -4473 - -5131. Is -0.3 > v?
False
Let g be (-184)/(-12)*84/(-280). Is g > -6?
True
Let k be 0 + 0 + (-2)/(-6). Let v = 684.784 + -678.784. Is k != v?
True
Let o = -155/334 - 6/167. Let c = -1.73 + -28.37. Let m = 31 + c. Is m smaller than o?
False
Let d = 88 - 86. Suppose 3*i = d*h - 4*h + 61, -4*i = h - 88. Suppose 0 = -27*s + i*s + 160. Are 40 and s equal?
True
Let f = -46939 - -31167511/664. Are f and 0 non-equal?
True
Let w = 0.0339 - 218.0339. Let r = w + 324. Let b = 107 - r. Are 0.048 and b non-equal?
True
Let b = 962 + -1120. Let q be (-174)/(-29) - b*3/(-34). Is -8 smaller than q?
True
Let y(o) = -o + 14. Let k = 7 - 5. Suppose k*m - 13 = m. Let t be y(m). Which is smaller: 7/6 or t?
t
Let d(u) = 3*u**3 - u**2 - 6*u + 8. Let m be d(1). Let w be (-12)/(-42) + (-4)/14. Suppose w = -2*f + m*f - 2. Is f smaller than 1?
False
Let v be ((-73)/(-146))/((-1)/(-150)). Let z = 156 + -82. Does z = v?
False
Suppose 4*q - 12 = 0, -4*z + 33 = -0*z + 3*q. Suppose 22*d - 21*d - 25 = 0. Suppose i - z*i = d. Which is bigger: i or 3/7?
3/7
Let r(o) = o**2 + 8*o + 15. Let m be r(-5). Let h be m + ((-9351)/174)/(-3). Let y = h - 12/29. Which is smaller: 19 or y?
y
Suppose r = -r + 2. Let g(s) = -45*s**2 - s - 1. Let d be g(-2). Let f = 719/4 + d. Which is smaller: r or f?
f
Suppose 5*t - 145 = 2*q, -47 + 207 = 5*t + q. Suppose -t*m = -m + 60. Which is bigger: m or -23/17?
-23/17
Let q be 1/7*112/(-32)*68. Which is bigger: -750/23 or q?
-750/23
Suppose o - 8*i - 29 = -3*i, -9 = -o + i. Let l be o + ((-2331)/1161 - (0 - -2)). Which is smaller: l or 0?
l
Let u = -6 + 14. Let r be u/28 + (-46)/14 - -3. Suppose r = -2*f + n - 17, 4*f - n + 17 + 20 = 0. Do f and -8 have the same value?
False
Let n = -1730 - -1744. Is -5 greater than n?
False
Let g = -10.1 + 21.1. Let v = g + -13. Is 0.72 greater than or equal to v?
True
Let s be (-16)/4 - (1 - 0). Let t(i) = -263*i - 6. Let y be t(s). Let p be y/(-66) + 1/(-6). Is -22 at most p?
True
Suppose 0 = -t - 6 - 0. Suppose 67*n - 49*n - 58*n = -40. Is n less than t?
False
Suppose 3*o = 2*m - 377, 49*o = 5*m + 51*o - 952. Suppose 0 = 5*j + r - 952, r + 940 = 5*j - 4*r. Are m and j equal?
True
Let a = -36 - -37. Let w = 1 - a. Which is greater: -9/8 or w?
w
Let k = -207.26 + 207. Let b = -0.31 - k. Do -15 and b have the same value?
False
Let j = -1.466 + 1.5. Let r = j - 40.034. Let p = 39.77 + r. Which is smaller: -1 or p?
-1
Let z(m) = 7*m**2 - 47*m - 2. Let s be z(7). Let n be s/(-8) + (-11)/(-2). Is n at most -23?
False
Suppose -170*l + 142 = -23*l - 5*l. Which is greater: l or -12/3923?
l
Let a = 27.82 + -27.8323. Is a bigger than 0?
False
Suppose -16 = -6*b + 2*b, 74 = 2*l + 4*b. Suppose 0 = l*g - 22*g. Is g >= -2/27?
True
Suppose 27*i + 20 - 13 + 20 = 0. Is i <= 11/162?
True
Let a(y) = 2*y**2 - 6*y - 29. Let c be a(-7). Suppose 101*g - 160 = c*g. Which is bigger: -18 or g?
g
Let w = 79108/25 - 17364/5. Let d = -308 - w. Let m = -7100 - -7099. Which is smaller: m or d?
m
Let j = -19/2 - -10. Let x = -1.908 + 1.908. Are j and x equal?
False
Let l(c) = -10*c**2 + 148*c - 364. Let z be l(41). Is z <= -11105?
True
Let l = -19 + 103. Suppose 33*a - 27*a - l = 0. Is 16 smaller than a?
False
Let c(s) = -3*s**3 + 3*s**2 + 6*s**3 + s + 4*s**3. Let o be c(-2). Let u = 34 + o. Is u < -12?
False
Let q(w) = w + 4. Let u be q(0). Let i(b) = -b + 5. Let h be i(u). Let m be (-8)/(-12)*90/(-144)*(-2)/(-20). Is h equal to m?
False
Let t = -8162 - -17063/2. Let k = t + -359. Let x be -3*4*(-2)/2. Is x at least k?
True
Suppose -17*l + 803 = -1356. Which is bigger: l or 0?
l
Suppose -2*c - 160 = -7*c - 11*c. Are c and 98 unequal?
True
Let x be ((-470)/(-2) - (9 - 7))*3. Does x = 2099/3?
False
Suppose 0 = -4*d + 1 - 37. Let a = -329 + 234. Let h = 96 + a. Is d equal to h?
False
Suppose 0 = 8*d - 195 - 45. Let f = d - 25. Suppose -f*y - 5 = -15. Is 3 less than y?
False
Let y be (-652)/163 + (-11)/16*-6. Is y greater than or equal to -230?
True
Suppose 1993*t - 2006*t = 0. Are -29/114 and t non-equal?
True
Let w be (-2)/(-3) - (-22257)/27. Let p be (-4)/(-10) - 490005/w. Let f = p + 593. Is f at most -1?
False
Let u(v) = -v**2 - 6*v. Suppose -5*d + 30 = 5*n, 3 - 5 = -n. Suppose 2*z + 2*z = d, 5*y + 37 = 2*z. Let a be u(y). Is a <= -7?
True
Suppose -k + 2*w + 2 = 0, -4*k + w = -2*w - 3. Suppose 5*b - 20 = k, -2*b = 5*u - b - 244. Is 46 != u?
True
Let q be 12/(-20) + 0 - 675/(-1250). Suppose 7*p + 9 - 2 = 0. Is q smaller than p?
False
Let n be (-40)/1060 + 504980/(-106). Is n greater than or equal to -19053/4?
False
Suppose 0*c - c = -x, 0 = 4*x - 2*c - 8. Suppose x*m = 2*a + 14, 3*m + 10 = -4*a - 7. Suppose 3*o - 4*h = -0*o - 8, -4*o + 5*h - 10 = 0. Is o bigger than m?
False
Let f(c) = -c**3 - 14*c**2 + 14*c - 10. Let s be f(-15). Suppose -5*j - 4*r = -54, 5*r + 12 + 33 = s*j. Is -1/4 bigger than j?
False
Let i be (4/(-30))/(2/12). Let u = 34378 + -34454. Which is smaller: u or i?
u
Let k(h) = -3*h**2 + h + 10. Let f be k(6). Let p = -21 - -18. Let c be 3 + -4 + p + f/(-26). Which is smaller: 1 or c?
c
Let c = 234.941 + -236.25. Which is smaller: -1/5 or c?
c
Let u(v) = -6*v**3 + 27*v**2 - 21*v + 37. Let s be u(-9). Which is greater: 6788 or s?
6788
Suppose -4*w - 34 = 16*r - 14*r, -w = 5*r + 40. Let c be 10*(2 + (0 - 0)). Which is smaller: r or c?
r
Let o(r) = -31*r**2 - r - 2. Let l be o(3). Suppose 28747 - 25042 = -13*t. Is t < l?
True
Let t(w) = w**2 - 14*w + 26. Let p be t(12). Suppose -p = -4*g + 5*z + 12, 2*g - 4*z - 10 = 0. Let a = -5 + 14. Is g less than or equal to a?
True
Let w = 36411336 - 739368590757/20306. Let u = w - 21/286. Is u at least -1?
True
Let z be (288/18)/(-16) - 4. Which is smaller: -29/7 or z?
z
Let w = -63