 6*p**2. Let g be s(5). Is 6 at most as big as g?
False
Let y(x) = x**2 - 8*x + 1. Let d be y(8). Suppose -r = 4*h + d - 12, -4*h + 17 = -5*r. Let s be (-8)/h*(-1)/(-4). Which is smaller: 2/7 or s?
s
Let m(v) = v**3 - 2*v + 1. Let n(a) = -a**3 - 6*a**2 - 7*a - 5. Let f be n(-4). Let k = f - -7. Let s be m(k). Is -2 at least s?
True
Let u be (-40)/(-6) + 4/(-6). Suppose 0 = g - 5 + u. Is g less than 13?
True
Let t(v) = v**3 + 4*v**2 - 2*v - 1. Let o be t(-5). Which is smaller: -10 or o?
o
Let s = 1 + -1. Let i = -690 + 694. Are i and s unequal?
True
Let p = -260/7 + 37. Let a = -0.03 - -13.03. Let d = a - 16. Do d and p have different values?
True
Let i be (-7)/(-4) - (-6)/(-8). Let s = -8 + i. Let h be 3/6 + s/12. Which is greater: h or 0?
0
Let w be (0 + 30/125)*(-16)/(-4272). Which is bigger: -1 or w?
w
Let g be (((-9)/(-2))/(-1))/(12/48). Which is greater: 3 or g?
3
Suppose -3*q = 5*s + 29, 6 + 8 = -2*q - 2*s. Let f be 8 - (-6)/q - 4. Let t = -2 - -3. Which is greater: f or t?
f
Let j = 8 + 0. Let t(s) = s**2 - 11*s + 26. Let c be t(j). Which is bigger: -1 or c?
c
Let i be (-3)/7 + 4 + (-273)/49. Which is smaller: i or -22/9?
-22/9
Suppose 0 = 4*b - 2*r - 108, -4*r = 4*b - 3*r - 120. Which is greater: 15 or b?
b
Let b(p) = -5*p + 114. Let q be b(23). Is 40 != q?
True
Let b = 383 - 385. Let y = -0.36 - 0.04. Which is greater: y or b?
y
Suppose 7*i - 70*i = 68292. Which is smaller: -1085 or i?
-1085
Let n(u) be the second derivative of u**3 + 5*u**2 - 5*u. Let z be n(3). Is z bigger than 30?
False
Let y(q) = -47*q - 741. Let z be y(-16). Let l = 1 - -7. Is z at most l?
False
Let w(g) = -67*g - 10. Let f be w(-3). Let t = 140 - f. Which is smaller: t or -50?
t
Let i = -1.9 + -0.1. Let p = -167.28 + 167.3. Which is greater: p or i?
p
Let g be (-59)/413 + (-2)/(-14). Which is bigger: 23/31 or g?
23/31
Let l = 29 + -9. Let m(w) = -w**3 + 2*w**2 + 4*w + 16. Let h be m(3). Which is smaller: l or h?
h
Let v(s) be the second derivative of -5*s**3/6 - 2*s. Let u be v(-4). Suppose 28 = 2*j - 4*d, 60 = -563*j + 566*j + 3*d. Which is smaller: j or u?
j
Suppose 529*j = 525*j - 4. Is j less than -15/173?
True
Let y = 12.43 - 12.43. Which is smaller: 27 or y?
y
Let k = 14 - 13.99. Let l = -0.29 - k. Let p = l + 1. Which is bigger: p or -2?
p
Let p = 22.7 - 23. Which is greater: p or 0.2?
0.2
Let g = 366 + -703. Is g less than -337?
False
Suppose 0 = 2*x + 2*p + 116, -5*x + 115 - 405 = -3*p. Is -59 > x?
False
Let i be (-3)/12 - (7 - (-2766)/(-24)). Suppose -4*a = 4*t - 420, -3*a + 423 = 4*t - 0*t. Is t at least as big as i?
True
Let c be 1 + 0 - (-13 + 806/13). Which is smaller: c or -327/7?
c
Let l(t) = -t**3 - t**2 + 7*t + 9. Let i be l(-4). Let p = -34 + i. Let m be 6/(-4) - 25/(-10). Is m bigger than p?
True
Let o be (-8)/(-48)*10/6. Suppose 0 = -4*l + 5*l. Is o not equal to l?
True
Suppose 0 = k + 3*i + 6, 5*k - 5 + 57 = -4*i. Let n = 7 + k. Let o be 7/(28/16) - 8. Is n bigger than o?
False
Suppose 3*u - 2*u - 1 = 0. Let f be (6/(-135))/(22/44). Which is bigger: u or f?
u
Let l be (-1160)/1575 + 2/9. Let r = l - -4/5. Let i = 7 + -2. Which is bigger: i or r?
i
Let w be -8*(-5 - 63/(-9)). Is w < -4?
True
Let b = -0.08 + 1.08. Let v be (11 - 8) + (-223)/75. Which is smaller: b or v?
v
Let q be -1 + (1/3 - -1). Let t be (12/(-16))/(-3)*0. Suppose -o + 6*o - 5 = t. Is o less than q?
False
Suppose j - 2*s = -0*j + 4, -3*j + 3*s + 15 = 0. Let n(l) = 3*l - 13. Let m be n(7). Do j and m have different values?
True
Let h(n) = 5*n + 9. Let p be h(11). Let m be (0/4)/((-9)/3). Let u be p/(-26) - (-2 - m). Which is greater: 0 or u?
0
Let c(q) be the first derivative of q**3/3 - 11*q**2/2 + 12*q - 14. Let z be c(10). Suppose 6*w = z*w + 12. Is w at most 16/7?
False
Suppose 0 = 25*x - 17*x - 720. Let r = x + -167. Which is greater: r or -78?
r
Suppose 0 = 2*r + 5*z - 287, -9*r = -4*r + 4*z - 743. Which is greater: 150 or r?
r
Let n be ((-6)/4)/(4/(-8)). Suppose -5*d = g + 3, 4*d = n*g + 5 + 4. Let q be (-82)/28 - 9/(-6). Do q and d have different values?
True
Let k(l) = l**2 + 23*l + 126. Let m be k(-14). Which is smaller: 50 or m?
m
Suppose 59 = -4*k + 51. Let c = -44 - k. Is -42 at least as big as c?
True
Suppose 8*n - 18 = -2. Suppose -4*p = 2*t + 14, 2*t + 3*p + 17 = -n*p. Let v be -2 + -2 + (-314)/(-78). Are t and v unequal?
True
Suppose 4*g - g - 30 = 3*f, 3*g + 4*f - 44 = 0. Let l be 2/(-28)*g/21. Is 0 at most as big as l?
False
Let b = -2.451 - -0.451. Which is greater: b or 46?
46
Let x = -1.8 + 2.4. Let r = x - 0.5. Do r and -7/6 have different values?
True
Suppose 8*q - 19*q = -22. Which is smaller: 8 or q?
q
Let j = 1147 + -1313.6. Let s = j + 181. Let h = -15 + s. Is 0 not equal to h?
True
Let w = 1/2314 - 207105/4628. Which is greater: -46 or w?
w
Let d = -0.025 + 0.295. Let r = d + -0.37. Let q = -0.5 - r. Is -0.3 less than q?
False
Let x(p) = p**3 + 15*p**2 + 29*p + 14. Let n be x(-13). Do -21 and n have different values?
True
Suppose -3*k - 3*m - 18 = -0*m, 0 = 2*k - m + 24. Let b be (5*(-12)/(-80))/(k/(-8)). Is 3 at least as big as b?
True
Let x = 28.3 + -28. Let a = 0.012 - -0.138. Which is bigger: x or a?
x
Suppose 6*n - 320 = 2*n. Let k be 6/(-4)*n/870. Which is bigger: k or 0?
0
Let g(m) = -m**2 + m + 3. Suppose 8*q = 4*q. Let r be g(q). Let v be 1 - (3 + r) - 2. Which is smaller: v or 0?
v
Let g be (-2 + 2 + 3775/90)*-4. Let y = 168 + g. Which is greater: -1 or y?
y
Let j(w) = 76*w**2 + w**3 - 12 + 74*w**2 + 2*w - 158*w**2 + 0*w**3. Let q be j(8). Is q less than 1?
False
Let n be 81/(-36)*1/(-18). Is 1 at most as big as n?
False
Let t(y) = 9*y + 158. Let c be t(-18). Let f be -1 + 1 + -1 - 0. Let d = f + c. Which is smaller: d or -6?
-6
Let o be ((-18)/30)/(2/10) - -4. Are 2/297 and o unequal?
True
Let q(b) = b. Let g(m) = 2*m. Let f(v) = -6*g(v) + 13*q(v). Let a(u) = -u**2 - 5*u. Let i(c) = a(c) + 6*f(c). Let h be i(-2). Which is greater: -8 or h?
h
Let v be 26/3*(-86)/(-4). Let x = 190 - v. Is 3 < x?
True
Let h(w) = -w**2 + 17*w - 40. Let v be h(3). Are v and 0.097 non-equal?
True
Let a be -1*(-1 - 4 - 25564/(-5110)). Is -1 at least as big as a?
False
Suppose 0 = -3*w - 34 - 59. Let c = w - -30. Which is greater: 1 or c?
1
Let o = -2.1 + 7.1. Let s = o - 5.6. Let u = -1.6 - s. Which is bigger: -0.2 or u?
-0.2
Let x = -2895 - -2894.8. Let v = 1.5 + 0.5. Which is smaller: x or v?
x
Let p(h) = -20*h**3 - 2*h**2 - 4*h - 2. Suppose -2 = -16*k + 18*k. Let z be p(k). Which is smaller: z or 19?
19
Let d be (-2)/11 - (-1266)/66. Let m = d - 32. Is -25/2 equal to m?
False
Suppose -2*o + 3 = -15. Let m(h) = -h**2 + 10*h + 5. Let z be m(8). Suppose 5*y = v - 23, -4*v - 4 + z = 5*y. Which is smaller: v or o?
v
Suppose 5*s + 24*d - 26*d + 705 = 0, -4*d = -5*s - 695. Is s at most -144?
False
Let w be ((-15)/(-2))/(3/(-8)). Suppose 98 = 3*r + 5*t, -t - 2*t = -3. Let s = r + w. Which is bigger: s or 10?
s
Let w be 970/90 + (-2)/(-9). Let c be (1/(-1))/((-1)/w). Suppose c*l - 8*l - 3 = 0. Which is greater: 2/95 or l?
l
Suppose -3*t = 5*n + 12, 8*t + 12 = 5*t. Suppose 4*h = -n - 16. Let a(x) = -x**3 + 9*x**2 - x + 3. Let j be a(9). Which is greater: j or h?
h
Let b = 49 - 49. Let m = -0.3 + b. Which is greater: -3/7 or m?
m
Suppose 132*q + 310 = -39422. Which is bigger: q or -306?
q
Let h = -1 - -6. Suppose -5*u + 25 = 0, -h*y - 2*u - 10 = -u. Let r = -412/175 - -16/25. Is r less than or equal to y?
False
Let v be (-2)/8*30/(-18)*-18. Is 0 != v?
True
Let x = -68 - -68.002. Let s = -4.3 - -5.3. Is x at least as big as s?
False
Let n = 5 + -7. Suppose -4*f + a = -11, -3*a - 4 = -f + 7. Suppose -2 = -2*h, -f*u + h + 0*h - 11 = 0. Which is greater: n or u?
n
Let i = -328 - -3281/10. Is -0.11 less than or equal to i?
True
Let y = -14.5 + 28.8. Let r = 14 - y. Which is greater: r or -0.1?
-0.1
Let j = 506 - 79949/158. Which is bigger: 0 or j?
0
Let d = -1059 - -1013. Suppose -p + 5*l = -21 + 87, 3*p = -4*l - 122. Is d not equal to p?
False
Suppose 4*v = -3*a - 15, -3*v = 4*a - 2 + 22. Suppose v = -4*h + h + 9. Suppose -h*r + 2*l + 22 = -2*l, -5 = -r - l. Which is smaller: 7 or r?
r
Let z = 6/1367 - -72421/6835. Let l = z + -10. Let d = 1.5 - 0.5. Which is greater: d or l?
d
Let s be (44/30)/((-836)/(-188) - -1). Let c = s - 1/384. Which is bigger: c or -1?
c
Let