0?
0
Let b = -1 + 2. Suppose 0 = -9*a + 14 - 5. Is a at most as big as b?
True
Suppose -3*n = -15, -12 = 5*f - 5*n + 13. Let b = f - -10. Suppose -5*l + 15 = -b*l. Is l > -2?
False
Let x be ((-2)/3)/((-7828)/(-12)). Let r = -3736/174173 + x. Let d = r - 83/267. Which is greater: d or 1?
1
Suppose -21*u = -16*u. Which is greater: u or 3/13?
3/13
Let m(g) = -g**2 - 6*g - 5. Let v be m(-4). Let t be (-3)/2*2/v. Let w be (-1)/(-2)*2*t. Is -1/7 less than or equal to w?
False
Let f(g) = g**3 - 12*g**2 + 10*g + 10. Let x be f(11). Let d = -584 - -12262/21. Is x bigger than d?
False
Let n be -44 - ((-1)/5 + (-224)/80). Which is greater: n or -40?
-40
Let b = 14 - 12. Which is smaller: b or 0?
0
Suppose -3*k + 2 = -3*t - 13, 5*t + 13 = 2*k. Let y be (4 - 1 - t) + 0. Let b = -5 + y. Is 1/5 < b?
False
Suppose 3*z - 3*w = 2*w + 30, 2*z = -4*w - 2. Suppose -z*a + 4 = -1. Suppose -a = s - 0. Which is bigger: s or -2/5?
-2/5
Let i be (-48)/32*(-4)/(-6). Which is smaller: -2/65 or i?
i
Let o be (-1)/(1*2/6). Let p be o*((-9)/(-3) - 2). Let u(s) = -s**2 - 8*s - 14. Let x be u(-6). Are x and p nonequal?
True
Let k = 3 - 3. Suppose k*z - 4*z - 20 = 0. Suppose 2*h = 2 - 12. Is h at least z?
True
Suppose 3 + 3 = -2*s. Let m be (-2)/6*(s - -2). Is -0.06 at most as big as m?
True
Let b be (2 + -4)*3/6. Let f be b/(2 - (-1 + 2)). Let y be (0 + (-3)/(-2))*(-4)/(-14). Is y <= f?
False
Suppose 0 = 3*v + 13 - 10. Which is bigger: 1 or v?
1
Let r = -15 - -15. Which is smaller: r or 1?
r
Suppose -13*u - u = 0. Are -1 and u nonequal?
True
Let v(l) = -6*l**2 - 5*l - 5. Let r(n) = -7*n**2 - 4*n - 4. Let g(t) = 5*r(t) - 6*v(t). Let k be g(-8). Let a be (-3)/5*k/(-9). Which is bigger: 0.1 or a?
0.1
Let o = -0.3 + 0.3. Which is greater: -0.03 or o?
o
Suppose -8*o = -11*o + 6. Let i be (-3 + 5)/(o*-1). Which is bigger: i or -0.01?
-0.01
Let j(p) = -p**2 + 13*p + 19. Suppose w = -i + 6 + 4, 2*i - 24 = -w. Let y be j(i). Which is smaller: 3 or y?
3
Suppose 4*a - 2 = -10. Is a bigger than -16/9?
False
Let t be ((-14)/35)/(234/10). Which is greater: -1 or t?
t
Let n = 2 - 2. Let k be 0/(n/(-2) + 2). Suppose 12 = 4*t + 3*z + z, 0 = -4*t + z - 8. Which is greater: t or k?
k
Let a = 32 - 23. Let t = 10 - a. Is -2 <= t?
True
Let z(t) = t**2 - 4. Let h be z(-3). Let c(o) = -o**3 + 7*o**2 + o - 3. Let k be c(7). Is k less than or equal to h?
True
Let f = -6 - -13. Let a be (230/(-14))/((-6)/f). Let p = a + -39/2. Is -1 > p?
False
Suppose -72 = -4*z + 2*j, -5*z - 2*j + 77 = 2*j. Suppose -3*c = -5*w + 17, -5*w - 5*c + 8 = -z. Let y be ((-15)/(-54))/5*w. Which is smaller: 0 or y?
0
Let p = 0.5 + -0.55. Let z = p + -0.45. Is z smaller than 0?
True
Suppose -3*c = 5*u + 62, 2*c - 3*u + 5 = -11. Which is bigger: -15 or c?
c
Let f = -0.2 + 0.5. Which is greater: -0.5 or f?
f
Let v = 19 - 10. Which is greater: 8 or v?
v
Suppose -6*v + 13*v - 714 = 0. Which is bigger: 101 or v?
v
Let d be (-2)/(-4)*(-3)/11. Which is bigger: d or 1?
1
Let w = 443/42 + -59/6. Which is smaller: 2 or w?
w
Let v(w) = -w**3 - 4*w**2 - 4*w + 1. Let t be v(-2). Which is smaller: t or -1/16?
-1/16
Let a = -103 - -83. Is a less than -23?
False
Suppose -h - 2*h = -15. Suppose -2*l + i - h + 3 = 0, i = 2. Is l != -10/9?
True
Let f = -54 + 210. Let o = -30839 + 122735/4. Let p = f + o. Is p equal to 2?
False
Let v = 167 + -166. Is v greater than or equal to -13?
True
Let l = 36 - 23. Is l greater than 0?
True
Suppose 2*q - 4*d + 16 = -d, q - 2*d = -9. Is -6 less than or equal to q?
True
Suppose 0*p + 30 = 5*p - 5*n, 6 = 5*p + 3*n. Are p and -1 nonequal?
True
Let t = 1 + -2.1. Let v = 1 + t. Let p = -0.43 - -0.23. Is v smaller than p?
False
Let v be ((-108)/20 - -3)*1. Let q = v + 74/35. Is q smaller than -0.2?
True
Let y(q) = -q**3 + 2*q**2 + 5*q + 1. Let a be y(4). Let f be (16/12)/4*-30. Is f at most a?
False
Let s(z) = z**2 + 8*z + 5. Let r be s(-8). Suppose -4*g = 4*p + 3 + r, 0 = 2*g + 6. Is -2 at most p?
True
Suppose -10 = -6*p + p. Let n = -25 + 28. Does p = n?
False
Suppose 4*f - f - 117 = 0. Let o be -7 + -3 + 3 - -5. Let b be (o + 1)/(f/6). Is b greater than 0.2?
False
Let a(k) = -k**3 - k**2 - k - 1. Let o be -2*1*(-4)/(-8). Let q be a(o). Which is bigger: -1/2 or q?
q
Suppose -4*s = y + 103, y + 83 + 6 = 3*s. Which is smaller: -94 or y?
y
Suppose -2*g = 4*d + 4, 3*g + 0*g - 5*d = 16. Let u(h) = -2*h**3 + 2*h + 2*h**g + 0*h + 0 - 1. Let l be u(2). Which is bigger: l or -1/3?
-1/3
Let m be (-2)/(-6) - (-350)/(-1140). Is m less than 1?
True
Let r be ((-189)/(-12) - 1)*-4. Let d = -296/5 - r. Suppose -c - 2*u + 9 = -0, 5*c + 3*u - 17 = 0. Do c and d have different values?
True
Suppose 2*n = 3*w - 11, -2*w = 2*n - 4*n - 8. Is -0.2 <= w?
True
Let q = 169 - 168.33. Let y = q + -0.6. Which is greater: y or 1/4?
1/4
Let m = 19 - 13. Let q(s) = s**3 - 5*s**2 - 6*s + 8. Let t be q(m). Let x be (-2)/3 + t/(-6). Do -2 and x have the same value?
True
Let v = 26 + -25. Does v = 1/156?
False
Let c be 0/((1 - -2) + 0). Let s = -1.9 + 2. Which is bigger: s or c?
s
Let c = 0 + 0. Is c greater than or equal to -1/4?
True
Let f = -48 + 48. Is 4 > f?
True
Let g be ((3 - 0)*1/6)/(-1). Is -3 at least g?
False
Suppose -2*j - 35 - 64 = 3*z, 2*j - 181 = 5*z. Do z and -36 have the same value?
False
Let s = -1.7 - -9.7. Let z = -6 + s. Is z at least 0.1?
True
Let y be 1/((-10)/(0 + 2)). Let x be 9/6*4/(-2). Let o = 2 + x. Which is greater: o or y?
y
Let u be ((-273)/(-27))/7 - 2. Which is greater: -2 or u?
u
Let i(p) = p**2 - 4*p - 7. Let w be i(6). Let u be 1/5*0*2/(-4). Which is greater: w or u?
w
Let h(k) = -k**2 + k + 1. Let d be h(0). Suppose 0 = -3*t + 2*t - d. Let c = -0.1 - -0.2. Do t and c have the same value?
False
Suppose -n - 2 = 4. Which is greater: -0.3 or n?
-0.3
Suppose -2*l - 5 = 3*l. Let c = 3 + -6. Let v be ((-2)/((-30)/c))/(-1). Is v equal to l?
False
Suppose -36 = -4*i + 4*o, 2*i - 2*o + 36 = 6*i. Let t be 4 + 1 + -2 + i. Are t and 12 equal?
True
Let x be (-4)/18 + (-584)/(-36). Let f be (-4)/x*(1 - 3). Which is greater: 2 or f?
2
Let j = 43.5 - 42. Which is bigger: 1 or j?
j
Suppose 0 = 3*s - 5*s. Let f be (3 - 1)/(2/3). Let l be (-4)/3*f/22. Is s at least l?
True
Suppose 0 = 3*w - 89 + 11. Is w bigger than 25?
True
Suppose -2*c + 8 = -2*l, 3*c + 20 = 2*l + 8*c. Which is greater: l or 2/575?
2/575
Let d be 4/(-14) - 352/(-56). Let p(j) = -j**2 + 6*j - 1. Let n be p(d). Suppose 0 = -5*g - 5*i - 0 + 15, 1 = 5*g - 2*i. Which is greater: g or n?
g
Suppose -3*h = -0*h + 105. Let y be (-1 - -3)*h/10. Which is bigger: y or -6?
-6
Let c be (-8)/(-52) + 28/(-13). Let g be c + (-4)/(-6)*3. Let r = 646/161 + -66/23. Which is smaller: g or r?
g
Let t be 103600 + 8/(-2) + 1. Let v = -10877767/105 + t. Let x = 8/21 + v. Is -1 less than x?
True
Suppose -d = 4 - 0, -4*u - 4 = d. Suppose u = -k + 7 - 2. Which is greater: 1 or k?
k
Let d = 3.9 - 4.93. Let t = d - -0.03. Let a(k) = -6*k**2 - 1. Let p be a(-1). Is p < t?
True
Let a = 6 - 5.8. Is -6/5 bigger than a?
False
Suppose 8 = -2*v + 4*r, 4*v - 2*v + 2*r = 4. Suppose v = -x + 3*x - 6. Suppose 5*s = x*s. Is s bigger than 1?
False
Let c(s) = -s**3 + 7*s**2 + s - 10. Let o(u) = -11*u. Let w be o(-1). Suppose 5*m - 3*p - 39 = w, -4*p = -5*m + 55. Let a be c(m). Which is smaller: a or -2?
a
Let y(c) = c**3 - c**2 + 3*c - 2. Let x be y(2). Are 9 and x unequal?
True
Let g = 6 - 2. Suppose f + g*i - i - 2 = 0, -3*i - 8 = -4*f. Let k be ((-2)/6)/(4/(-6)). Is k at least f?
False
Let f = 5.95 + 0.05. Which is bigger: f or 1?
f
Let h(o) = o**3 + 7*o**2 + o + 9. Suppose 0*l = -5*l - 35. Let t be h(l). Let p be ((-6)/(-16))/((-1)/t). Is -2 at most as big as p?
True
Let p(a) = -a**3 - 5*a**2 - 1. Let q be p(-5). Let j be (-4)/(-12) + (5 - 7). Is j != q?
True
Let z(j) = -j**2 + 15*j - 20. Let n be z(14). Is n smaller than -6?
False
Let w be 5/(-9)*1/3*-6. Is w smaller than -1?
False
Let m be (6/15)/((-31)/5). Let o = -0.6 - -0.7. Are m and o equal?
False
Let v = -6 + 9. Suppose 0*i = v*i + 3. Which is greater: -4/5 or i?
-4/5
Let v be 61/4 - 3/12. Let j be 4/(-10) - 24/v. Is j > -7/3?
True
Let o(h) = -h - 3. Let b be o(-6). Which is greater: b or 2?
b
Let u be 4/(-14)*(-2)/4. Let g = 2 + -13. Let h(d) = d + 12. Let i be h(g). Is i greater than u?
True
Let v be (0/4)/((-2)/2). Does v = -6/5?
False
S