hich is bigger: 4/9 or s?
s
Let k be 26/14 - 7/(-28)*4. Which is greater: k or 2?
k
Suppose 0 = 3*b + 7 + 20. Which is bigger: 0 or b?
0
Let a(j) = j**3 + 7*j**2 + j + 10. Let u be a(-7). Suppose -u*t - 2*t - 15 = 0. Is -4 smaller than t?
True
Let g = -12 + 12. Is g bigger than 1?
False
Let s(q) = 19*q + 3. Let g be s(4). Let n = g + -235/3. Suppose 0 = r + r. Which is bigger: r or n?
n
Let y(p) = -p - 1. Let o be y(-1). Is 17 equal to o?
False
Let p = -58899493/315 + 186983. Let z = p + -4/105. Is 0 >= z?
False
Let q be 190/45 + 1*-4. Do q and -1 have the same value?
False
Suppose -4*k - 2*a = -6*k + 2, 0 = -k + 2*a + 3. Let b = -5 + 13. Let n = b + -8. Is k greater than n?
False
Let h(w) = -w**2 + w + 2. Let r be h(3). Let f = 5 + r. Is 0 greater than f?
False
Suppose -l + 1 = h, 0 = 3*h - 2*l + 3*l + 1. Is h < -2/151?
True
Let g be (5 + -7)*2/4. Let s(n) = 4*n**2 + 1. Let y be s(g). Let p(u) = -u**2 + 6*u - 6. Let t be p(y). Which is bigger: t or 0?
0
Let q(j) = -j**2 - 12*j - 39. Let s be q(-12). Is -40 greater than or equal to s?
False
Let u be (-15)/4 - (-2)/(-8). Let v = 12 + -15. Which is greater: u or v?
v
Let i(q) = -q**3 - 11*q**2 - 11*q + 8. Let j be i(-10). Which is greater: j or 17?
j
Suppose 3*t - t - 4 = 0. Let x be t/6*(-6)/8. Which is smaller: -2 or x?
-2
Let q(s) = s**2 + 4*s + 1. Let n be q(-4). Is 5/4 less than or equal to n?
False
Suppose 2*t + d = 9, 0 = 4*t + 4*d - 9*d - 39. Suppose t*x - 10 = x. Let k = -5 - -3. Are x and k equal?
False
Let n = -6 + 6. Let b be (-6)/12 + 1/6. Is n < b?
False
Let y = 0.19 + -9.19. Let p = 9.36 + y. Let g = p + -0.06. Is g < -1/2?
False
Suppose 2*w - 4*i = 20, 4*w - 2*i - 16 = -0*i. Suppose -5*v = 3*o - 8, -2*v - w = -0*o - 4*o. Is 1 greater than o?
False
Let n = -3 + 3. Let g = -3/7 + -19/21. Is n > g?
True
Let l(r) = r**2 + 8*r + 2. Let k be l(-8). Suppose -3*v + 14 = -3*y - v, -k*v = y + 2. Let x be -2 + 3*3/9. Is y at least x?
False
Suppose 2*o = -2*y, 2*o + 0 = -4*y + 8. Are y and 19 nonequal?
True
Let k = -15 - -19. Suppose 0 = -n + k - 6. Let c be 2/5*(-15)/4. Is n not equal to c?
True
Let x = 33 + -27. Let z = 6.3 - x. Is 0.02 > z?
False
Suppose 4*p + 9 = t - 4, 5*t = -3*p - 4. Which is greater: 2/13 or p?
2/13
Suppose -3*x + 2 = -4. Which is smaller: 2/3 or x?
2/3
Suppose -12 = -o - 3*o + 3*j, o - 3*j = 12. Suppose o = -u + 2. Let l be -1 + (-4)/24*-10. Which is greater: l or u?
u
Let b = 45 - 46. Which is smaller: b or -4/13?
b
Let h(o) be the third derivative of o**5/20 - 8*o**2. Let g be h(-1). Which is bigger: 2 or g?
g
Let x = -16.5 - -16. Which is greater: x or -0.1?
-0.1
Let m = -4 + -1. Which is greater: m or -0.3?
-0.3
Let n = 0.055 - 3.055. Which is bigger: n or -5?
n
Let y be 9 + 3/((-3)/2). Let w(t) = 0*t**2 - 6*t - 8 + t**2 + 1. Let d be w(y). Do -2/5 and d have the same value?
False
Let n = -0.45 + 0.05. Let f(q) = q**3 - 21*q**2 + 23*q - 61. Let j be f(20). Is n at least j?
True
Suppose h - 5 = -4*o + 16, 19 = 4*o - h. Let i(n) = n**3 - 8*n**2 + 8*n - 1. Let p be i(7). Which is bigger: o or p?
p
Suppose 2 = -s, 4*g - 2*s + s = 2. Suppose -o + 5 = -g. Suppose 14 = o*n - 6. Which is smaller: 2 or n?
2
Let f(l) = l. Let v be f(0). Let j be (3 - (5 + -3))/1. Let s(h) = -2*h**2 + h - 1. Let x be s(j). Which is greater: v or x?
v
Suppose 2 = 2*i + 8. Suppose -8 = 2*z - 0. Which is smaller: z or i?
z
Let b = -3.7 + 1.7. Which is smaller: b or -1.1?
b
Let u(c) = c**3 - 7*c**2 + 7*c - 5. Let f be u(6). Let k = -0.02 - 0.08. Let p = 0 + k. Which is greater: f or p?
f
Let m be (3/1)/((-3)/2). Suppose 0 = -n + 10. Suppose -n = -s + 6*s. Does s = m?
True
Let v be 12/(-8)*(-4)/(-3). Let k be (-1)/3*(10 - 6). Which is bigger: k or v?
k
Let b = -24.97 - -26. Let u = -0.03 + b. Which is smaller: 3 or u?
u
Let c = -51 - -87. Is c > 36?
False
Suppose 6*r = 5*r. Which is smaller: 7 or r?
r
Let s(m) = 2*m**3 - m**2 + 1. Let u be s(1). Suppose 3*p - 3 = u*p. Let t = p - 3. Is t at most 3/7?
True
Let p(g) = g**2 + 5*g + 3. Suppose -3*t + 4 = -2*z, 7*z - 4*z = 3*t - 6. Let m be z/(-2)*15/(-5). Let k be p(m). Is -3 bigger than k?
False
Let z = 21 - 14. Suppose -2*j = -5*j - 15, 2*r = -j - z. Let k be (-4 - r) + 1 + 2. Are 1/4 and k unequal?
True
Let b be (-12)/30 - (-14)/10. Which is smaller: b or 1/5?
1/5
Let k(g) = g**2 + 2*g + 3. Let x be k(-4). Suppose 0 = -2*i + 3*i - x. Suppose i - 3 = 2*f. Which is smaller: 5 or f?
f
Let i = 1.11 + -0.11. Let m = -55 + 57.05. Let w = m + -0.05. Which is greater: i or w?
w
Let f(c) = -c**3 - 7. Let b be f(0). Let j(w) = 4*w + 7. Let r be j(7). Let k be 2/5 + b/r. Which is smaller: 1 or k?
k
Let z = 142 + -279. Is -1 != z?
True
Let x = -64/473 - 2/43. Let y(i) be the third derivative of i**5/60 - i**4/4 - i**2. Let w be y(6). Which is greater: x or w?
w
Let y = 2 + 0. Let g be (0 - 1)/(1 - 2). Does g = y?
False
Let p = 468 - 2327/5. Which is smaller: p or 2?
2
Let k = -0.3 - -0.4. Let d = k + -1.1. Let m be (-6)/(-45)*(3 - -7). Which is bigger: d or m?
m
Suppose 0 = 3*c - 5*a + 2*a - 3, 4*c = a - 5. Let v = c - -2. Suppose v*t = -4*t - 4. Is -1 smaller than t?
False
Let a(s) = -2*s**3 - s - 1. Let k be a(-1). Suppose -2 + 7 = 5*t. Which is smaller: t or k?
t
Let y = -0.8 - -1. Let v = -0.8 + 1. Let b = v - 0.3. Which is bigger: y or b?
y
Let s = -6441535/2 - -67813976/21. Let r = -8470 + s. Let i = r - -1/21. Is 3/4 at most as big as i?
False
Let d be (11 - 0)*(-1)/(2/4). Which is bigger: -23 or d?
d
Let j(z) be the first derivative of z**2 + 13*z + 2. Let s(r) = 4*r + 25. Let u(g) = -7*j(g) + 4*s(g). Let t be u(-7). Is t at least -1?
False
Suppose -90 = 5*x + 18*v - 15*v, 2*x + 2*v + 32 = 0. Which is smaller: x or -17?
x
Let d(g) = -g**2 - 7*g - 5. Let r be d(-5). Suppose -j = y - 1, r*j + 19 = 4*y + 4*j. Is 5/2 at least y?
False
Suppose -4*r = 2*j + 96, -r + 3*r - 5*j + 36 = 0. Which is smaller: -24 or r?
-24
Let h = -4 + 4. Let b be ((-3)/6 + h)*1. Which is smaller: b or -1/3?
b
Let n(t) = t - 28. Let b be n(18). Which is smaller: b or 0?
b
Let d(q) be the first derivative of -q**2/2 + 10*q - 3. Let x be d(9). Let c be 0/x + 18/24. Which is bigger: c or 1?
1
Let a(w) = -w**2 - 12*w - 5. Let z be a(-10). Let t(j) = j - 13. Let g be t(z). Which is bigger: g or -2?
g
Let n be 2*4/16*2. Suppose -3 = -4*m + n. Is m smaller than -0.06?
False
Let k = -15 + 11. Let m(c) = c - 11. Let b be m(8). Are k and b unequal?
True
Let f = 4062/35 - 116. Let i be (3 + -2)*1/(-1). Is f != i?
True
Let m = 0 - -1. Let b = 132 + -131.3. Is b less than m?
True
Suppose -169 = -9*c + 884. Which is smaller: c or -0.1?
-0.1
Let s = -6 + 9. Suppose -8*r - 23 = -3*r - 3*t, 4*r = -s*t - 13. Is r at least as big as -4?
True
Let n(l) = l - 1. Let h(j) = 5*j - 6. Let g(u) = -4*h(u) + 22*n(u). Let z be g(12). Let s = z - 124/5. Is s at least as big as 2?
False
Suppose 3*n = a - 6, 3*a = -2*n + 14 - 7. Is 12/7 at most as big as a?
True
Suppose -19 - 1 = -5*s. Let q be -1 - (0 + (s - 2)). Let j be (q/(-2 + 5))/(-2). Which is greater: j or -2?
j
Let s be 20/16 + (-6)/(-8). Suppose -s*c + c + 1 = 0. Which is bigger: -1/9 or c?
c
Let c = -10.1 + 2.1. Let t = c - -6. Which is greater: -1 or t?
-1
Let g(p) = 1. Let c(v) = -v**2 - 2*v + 1. Let o(x) = -c(x) + 4*g(x). Let t be o(-2). Suppose -l - t = -2. Which is smaller: 2/7 or l?
l
Suppose -o = 4*p - 26, 0 = p - 3*p - 4*o + 20. Suppose -w + 255 = -p*w. Let g = w + 356/7. Is 1 greater than or equal to g?
True
Let o be -3 + 0 + 4 + -14. Which is smaller: o or -25/2?
o
Let o be ((-2 - -2)/2)/(-1). Suppose s + 0*s + 6 = 0. Let g be s/(-27) - (-14)/18. Is o at most g?
True
Suppose -2*o = 4*q - 12, -3*o + 2*o + 2 = q. Which is smaller: o or -1?
o
Let m = -0.3 - -0.1. Let f = -0.3 - m. Let q = 0 + -1. Which is bigger: f or q?
f
Let t(r) = 3*r**3 - r**2 + r - 1. Let f be t(1). Let c be ((-2)/(-5))/(f/(-20)). Suppose -18*x = -14*x + 16. Is x <= c?
True
Let j = 10.6 + -1.6. Let a = 10.1 - j. Which is smaller: a or -1?
-1
Suppose 4*s - 42 = 3*r - 12, -3*r - 24 = -2*s. Let k be r/10 + (-26)/(-10). Let u be 3/(k + 34/4). Which is smaller: 1 or u?
u
Let l(y) = y**2 + 4*y + 2. Let c be l(-4). Suppose 2*o + 18 = c*r, -r = -0*o - 5*o - 37. Are o and -7 nonequal?
False
Let c = 2/155 - -8/155. Which is greater: 0 or c?
c
Suppose -16 = 3*q - 5*k, -7*q - 5