igger: c or -1/4?
c
Let t(j) = j**3 + j. Let x(s) = -s - 8. Let p be x(-8). Let g be t(p). Which is bigger: g or 3?
3
Let k = -6.5 + 2.5. Let r = k - -3.7. Is r != 0.1?
True
Let t be (1 + 0)*(-24)/(-3). Let u = 234 + -227. Is u at most t?
True
Let o(r) = -13*r - 1. Let b be o(-1). Let h be ((-2)/b)/(3/(-27)). Suppose -1 - 2 = -3*j. Which is smaller: j or h?
j
Let d(m) = m**2 + m + 1. Let f be d(0). Let s be 3060/(-11) - 0/4. Let z = 278 + s. Which is smaller: f or z?
z
Let p = -24861 - -521845/21. Let b = p + 35/3. Is 0 greater than or equal to b?
False
Let s = -26/63 + 4223/10080. Let w = s + -329/1440. Is w smaller than 0?
True
Let l = -47 - -47. Let p = -6285 - -13091657/2083. Let b = p - -4092/77071. Which is smaller: l or b?
l
Suppose 3*d = -2*d - 300. Let k be 9/d + 4 - 4. Is 1 <= k?
False
Let t be (-3*(-4)/6)/(-9). Is t < 1?
True
Let s be ((-27)/(-6))/(6/(-8)). Let t be (-1 - s/9)*-1. Let b = -11/6 + t. Do b and -3 have different values?
True
Suppose 29*l - 24*l = 10. Is 14/9 at most l?
True
Let o(k) = -2*k + 17. Let x be o(6). Is 15/4 greater than or equal to x?
False
Let a(g) = -g**3 + 4*g**2 + 5*g + 2. Let l be a(5). Let x be 7*-4 - (0 - l). Let d be 0 - (-1 + (-22)/x). Is d > -1?
True
Suppose 0 = -2*k - 0*k - 5*p + 5, 1 = -4*k + p. Which is greater: k or -9/10?
k
Let b be 21/28 + ((-2)/8)/1. Is -32 less than b?
True
Let n be 6/(-4) - (-2)/4. Let w be (-2)/(-10)*(-2 - n). Which is smaller: 2/5 or w?
w
Let p(h) = -h**3 + 13*h**2 - 12*h + 13. Let z be p(12). Is 13 greater than z?
False
Suppose 14 = -3*l - 1. Is -5 at most as big as l?
True
Let w be (3 - 155/55) + 68/(-11). Does -4 = w?
False
Let d = 501 - 12519/25. Are d and 1 non-equal?
True
Let n be 50/10 + 4*-9. Is -30 at most as big as n?
False
Suppose 0*j + 4 = i + 2*j, 0 = 5*i - 2*j - 8. Suppose -3*g + g + i = -s, -4*g = s + 20. Let m = s + 8. Is m < 2/5?
True
Suppose 2*u + m = 2, 3 = u - 2*m - 3. Suppose 0*a = a - 3. Which is smaller: a or u?
u
Let m = 332 - 8965/27. Which is greater: -1 or m?
m
Suppose 0 = 2*u + 6 + 2. Let g be (-2)/u - 28/(-24). Is g != 2?
True
Suppose -2 = -2*c + w, 2*c + c - 6 = 3*w. Suppose 0 = -c*o + 2*o. Is -2/9 > o?
False
Let r be (2/7)/(60/63). Let f be ((-1)/(-2))/(1/2). Is r at most as big as f?
True
Let t be 7 + (-10 - -1)/3. Suppose 2*c - t = 4*c. Is c equal to -2?
True
Let m(i) = i + 11. Let l be m(-8). Let v = -15 - -19. Is v less than l?
False
Let x = 18 - 33. Let t = x - -10. Which is smaller: t or -4?
t
Let p be (-2)/3 + 34/(-3). Which is smaller: -11 or p?
p
Let q(n) = -n**3 + 3*n**2 + n - 4. Let c be q(3). Do c and 20 have the same value?
False
Suppose -q - 4*h + 3 = 0, -5 = 3*q - 2*q - 4*h. Let c be (-1)/20*(-5)/(-2). Which is bigger: c or q?
c
Let p = 72 + -72. Is p bigger than -11?
True
Let b = -11.9 + 12. Which is smaller: 14 or b?
b
Let z be -4 + 2 + (-6 - -3). Let x(u) = -u**2 - u. Let h(l) = -6*l**2 + l - 1. Let y(t) = z*x(t) + h(t). Let v be y(6). Are -6 and v nonequal?
True
Suppose -3*i = a - 24, a = 4*a + 2*i - 37. Let b be (3/a)/(1/6). Is b at least 2?
True
Suppose 0 = -5*q + 5. Suppose q - 13 = 4*s. Which is smaller: s or -4?
-4
Let c = 156 - 128. Which is greater: c or 30?
30
Suppose -3*s - 6 = b + 3, s + 4 = 0. Suppose -2*h + h + 7 = 3*c, h - 9 = -4*c. Which is smaller: c or b?
c
Suppose 7 = 2*t - 1. Suppose 4*v = w - 3, -t*v - 27 = 2*w - v. Which is bigger: 0 or w?
0
Let x = -42 + 32. Is x equal to -8?
False
Let v be 3/135*-47 + (2 - 1). Is v greater than 0?
False
Let o(q) = -q. Let g be o(-2). Let h be 2*((-14)/4 + -1). Let c be (-2)/h + (-25)/(-9). Which is bigger: g or c?
c
Let a be (-9)/(-1*9/12). Suppose -5*i - a = -4*i. Which is smaller: i or -11?
i
Let c be 1 - 1*(-14)/(-10). Let s be 12/14*(-4)/(-30). Let w = -2/7 - s. Are c and w non-equal?
False
Let w = 3.8 + -3.72. Is w equal to 2/5?
False
Let q = 710/9 - 79. Is 2/7 >= q?
True
Let d = 1.99 - -0.01. Let g = 22 + -23.9. Let t = d + g. Is 5 > t?
True
Let z = -1 - -1. Let j = -4 + 7. Is z less than or equal to j?
True
Let r be (0 - (-5)/2) + (-65)/26. Is -2/213 < r?
True
Let k = 28 - 29. Which is smaller: k or -4/39?
k
Let i be 1/2*(-4)/(-7). Let h be (2 + 2)*(-9)/(-12). Suppose h*z = -z. Does z = i?
False
Suppose -2*r + r = 3*q - 11, -5*q + 2*r = 0. Let a(b) = 2 + b**2 - b - q*b + b**2 - b**3. Let u be a(2). Is u at least -4?
True
Let q be (18*(-2)/15)/(-2). Which is greater: q or 2?
2
Let a(p) = -p**3 + 3*p**2 + 6*p - 5. Let h be a(4). Suppose 5*u - 17 = 3. Suppose 3*m - 2 - u = 0. Which is greater: h or m?
h
Suppose 4*c = c. Suppose -4*w - 3 - 5 = c. Let q be (4*w/(-14))/1. Which is greater: 2 or q?
2
Suppose -3*s + 35 = -5*f, 3*f + 9 + 14 = 2*s. Let r = s + -31/3. Which is greater: 0 or r?
0
Let l = 19 - 19. Suppose -t - 2*x + 4 = l, -2*t - 2*x = -x - 2. Are 3/5 and t equal?
False
Let h be 2/6*(-12)/(-10). Let k = 3601/3990 - 1/399. Let j = -3/2 + k. Which is smaller: h or j?
j
Let h = 17 - 24. Let l be (-3 + 6)/3*h. Is -6 greater than l?
True
Let c = 1.8 + 0.2. Let b(p) = -p + 7. Let m be b(6). Which is smaller: m or c?
m
Let m(l) = -2*l**2 - 2*l. Let u be m(-2). Which is smaller: u or -10/3?
u
Let t = -0.4 + 4.4. Let p = 1.2 - t. Let g = -3 - p. Is g greater than -1/3?
True
Let y = 18.9 + -19. Is y at least 0?
False
Suppose -3*b + 144 = 2*p, 3*b + 5*p = 8*b - 240. Which is bigger: b or -1?
b
Let p be (-6)/(-10) - (-66)/15. Let x = -8 + p. Let r(c) = -c - 8. Let i be r(-6). Which is bigger: x or i?
i
Suppose -y = -3*y + 8, -4*y + 16 = -5*r. Which is greater: r or -1/6?
r
Let p be 3/(-9) + (364/(-6) - 3). Which is smaller: -63 or p?
p
Suppose 4*s = -s - 5. Let g be ((-6)/15)/(s/(-5)). Let i be ((-28)/(-10) + g)/(-2). Which is smaller: 0 or i?
i
Let k be 10/4 - (-8 + 11). Which is greater: -16 or k?
k
Let k be 16208/(-22) - 4/(-22). Let m = k + 736. Is m < -2?
False
Let i = 1/20 + -31/20. Suppose l = 5*l. Suppose 2*t + 10 = t - 2*h, l = 4*t + h + 12. Which is greater: i or t?
i
Suppose -3*w + 0*w - l - 6 = 0, 0 = 3*w - 3*l + 18. Which is greater: w or 3?
3
Let t(v) = 18*v + 5. Let g be t(3). Is g > 59?
False
Suppose 4*a - 2*a + 6 = 0. Let x(y) = -y. Let l(i) = 6*i. Let k(f) = -l(f) - 5*x(f). Let z be k(1). Is a at least z?
False
Suppose 2*o - 16 = 5*h + 4, 0 = -2*o - 4*h + 2. Suppose -o*f + 24 = -3*t, 2*t - 6 = -2*f - 2*f. Which is bigger: t or -4?
t
Let b = -7.14 - -0.14. Let q = b + 8. Let i = q + 1. Which is greater: i or 0.1?
i
Let j be 332/14 + (-6)/(-21). Suppose 0*v + 2*v = 10. Suppose -4*w = v*d - j, 3*w - 5*w = -5*d + 18. Which is smaller: w or 1/2?
1/2
Let w = 9 - 8. Let n = 179/858 - 7/26. Which is bigger: w or n?
w
Suppose -5*p = -20, 5*k - p - 2 = 6*k. Let t be ((-9)/(-6))/(15/k). Let y be 2/(3*(-4)/6). Is t bigger than y?
True
Suppose -18 = -2*v + o - 0, 0 = -4*v - 3*o + 36. Are 9 and v nonequal?
False
Let c = -10 + 10.1. Is -3/13 <= c?
True
Suppose -16*t = -23*t + 112. Let b(c) = -c + 15. Let f be b(0). Is f > t?
False
Suppose -5*m + 33 = 3*f + 370, 3*f + 133 = -2*m. Let l = m + 202/3. Suppose -d - 10 = 4*d. Which is smaller: d or l?
d
Let j = -20 + 11. Do -1 and j have the same value?
False
Suppose 5*g + 0 - 2 = 4*h, 3*g - h = -3. Let t be (-16)/56*(-1 + 3 - 3). Which is greater: t or g?
t
Let g = -107 - -108. Which is greater: g or -3/73?
g
Suppose 4 = -5*s + 29. Suppose 4*x + 1 = -3*j, -s*j + 5 = -0*j. Let v be ((-12)/(-8) + -2)*-2. Is x greater than or equal to v?
False
Let h = 5.01 - 5. Let w = -0.09 - h. Is w equal to 3?
False
Let f(i) be the third derivative of i**6/120 + i**5/10 + 7*i**4/24 + 5*i**3/6 + 2*i**2. Let k be f(-4). Let q be 6/k - (-8)/(-3). Which is bigger: q or 0?
0
Let q be (-6)/(-15)*(-110)/(-11). Let n = -0.1 - -0.3. Which is bigger: n or q?
q
Suppose -6*y + 34 = 4. Let s = -2 - -3. Let d be (-5 - s)*(-4)/12. Is d < y?
True
Suppose 0 = z - 2*z - 2. Suppose 17 = 4*b - 15. Let w be (-30)/b + 1 + 2. Is z equal to w?
False
Suppose -7*z + 10 = 3*v - 2*z, -5*v - 3*z + 6 = 0. Which is greater: v or 2/91?
2/91
Suppose -5*r + 3*j = -j - 64, 4*j = -4*r + 44. Does 13 = r?
False
Suppose 0 = 5*g - 31 + 1. Which is smaller: g or 4?
4
Let y = -36 + 36. Is y greater than or equal to -0.16?
True
Let r(a) = 2*a**2 + 3*a + 3. Suppose -4 = -3*s + 5*x, 4*x + 2 = 3*s - 0. Let t be r(s). Let h = 6 - t. Are h and 1/6 equal?
False
Let x be 4/(-18) -