1?
True
Suppose 0*y - 3*y = -57. Suppose -q + y = 3*l, l - 70 = -3*q + 5*l. Suppose h = 2*h + 2*c - 2, -h + 4*c - q = 0. Which is smaller: -5 or h?
h
Let h = 7.3 - 9.3. Which is smaller: 4/17 or h?
h
Let a = 1 + -2. Let s = -1.4 - -6.5. Let n = s + -5. Is n equal to a?
False
Let p(g) = 0*g**2 + 4 - 5 + 3*g**2. Let q be p(1). Let z be ((-1)/2)/(5 - (-11)/(-2)). Which is bigger: q or z?
q
Let q = 0.61 - -0.09. Let u = q + -1.7. Is -0.3 smaller than u?
False
Suppose i + 3*f = 52, -4*f = 5*i - 0*f - 216. Is i less than 42?
True
Suppose 0 = 2*d - 0*d - 36. Suppose 3*f = -3*x + d, 4*x = -0*f + 3*f + 3. Is 3 at most x?
True
Let f = -1 - 4. Let t = 20 - 24. Are f and t unequal?
True
Let a be ((-4)/3)/(3636/(-18)). Which is greater: a or -1?
a
Suppose 10*z - 8 = 11*z. Which is smaller: z or -7?
z
Suppose 2*z = -8, 3*s + 2*z + 1 = -10. Is -37 greater than s?
False
Let d = 11.1 - 11. Let u = d - -0.1. Which is greater: u or 1?
1
Let b be 0/(4/(-6) + (-1)/3). Is -4/5 != b?
True
Suppose 0 = -0*l + 4*l + 32. Let y = -9 - l. Is y less than -1/2?
True
Let q = 29 - 29. Is 9/7 equal to q?
False
Let l be 6/(-4)*2/(-3). Suppose p + 1 = -l. Suppose 7 = n - 4*u, 0 = -3*n + n + 3*u + 4. Which is smaller: n or p?
p
Let x(s) = s**2 - 4*s + 3. Let l be x(4). Suppose -3 - 4 = -5*r - 2*v, 2*r + 6 = -l*v. Let g(z) = z**2 - 4*z + 2. Let f be g(r). Is f at least 1?
False
Suppose 0 = 5*s + 25 - 5. Let h be 2/(-4)*(-14 - -6). Let u = h + s. Which is bigger: u or 1?
1
Let z = -2 + 0. Let y(r) = r**2 - 2. Let a be y(2). Let l = -2 + a. Which is bigger: z or l?
l
Let m = 101 + -3635/36. Let y be (-2)/5 - 28/(-45). Let s = y + m. Is s > -1?
True
Let f be 2/(3 + 1)*0. Suppose -u + 3 = -f. Which is smaller: u or 5?
u
Let k be (-12)/(-171)*3/(-2). Suppose 1 = -j - 0*j. Is k at least as big as j?
True
Let c(t) = t + 7. Let p be c(-5). Suppose 0 = -2*r - l + 2, -r - l = -p*r - 2. Which is smaller: r or 2/5?
r
Suppose -2*f + 5*a - 4 = -0, -4*f + 4*a - 8 = 0. Let p = -3 - f. Is p at least 1/5?
False
Let k = -0.092 + -0.068. Let z = -1 + 0. Which is greater: k or z?
k
Let v = -1 + 1. Suppose 5*k + 23 - 8 = v. Let a be k/(-13 + 1)*-2. Is a at least -2?
True
Let t(n) = -n**3 + 4*n**2 - 2*n - 1. Let c be t(4). Let x be (42/c)/(-2) + -1. Do 1 and x have the same value?
False
Let t = -0.35 - -2.5. Let b = t + 0.25. Let a = b - -0.6. Which is smaller: -0.1 or a?
-0.1
Let z = -327.3 - -346. Let l = -19 + z. Let s = 1/4 + 0. Which is greater: s or l?
s
Let w be 0*(1/2 + 0). Suppose w = -5*i - 15. Suppose -5*u + 2*u = 6. Which is greater: u or i?
u
Let g = 0.5 - 0.6. Let v = -0.2 - -0.2. Let r = v + -0.5. Which is smaller: g or r?
r
Let z = -21 + 19. Which is smaller: z or -2/3?
z
Suppose -2*f + 5*j + 56 = -6*f, 0 = -f + j - 5. Which is smaller: -7 or f?
f
Let z = -14 - -12. Is -2 != z?
False
Let v be -3 + 2/1 + 1. Which is smaller: v or 3?
v
Let f(b) = b + 2. Let i be f(-2). Suppose w = -i*w. Let g = -107 - -105. Is w less than g?
False
Let z be (-16)/(-40) - (-7)/20. Is z at most as big as 10?
True
Let g(m) = -3*m**3 - m - 1. Let x be (1 - 0)*(4 + -5). Let u be g(x). Let i be ((-4)/(-12))/(u/(-2)). Which is smaller: i or 1/3?
i
Let a = 5 - 4.95. Let n = -5 + 4.6. Let f = 0.4 + n. Does a = f?
False
Suppose t - 3*t - 10 = 0. Let s be 1 + (-1)/(t/(-3)). Suppose -10 = u + u, 16 = -4*f - 4*u. Which is greater: f or s?
f
Let b = 0.6 - 0.2. Which is smaller: 0 or b?
0
Suppose 34 = 3*k - 29. Which is bigger: k or 23?
23
Let j be (3/(-2))/((-2)/4). Let s(f) = -4*f**2 + f**3 - 2*f + 5*f - 3 + 2*f. Let p be s(3). Is p > j?
False
Let j = -1 + 9. Let h = 4 - j. Let w = h + 7. Which is bigger: -0.1 or w?
w
Let r = -0.088 - 0.012. Which is greater: r or -31?
r
Let g(l) = -2*l - 2. Let p be g(-2). Let a be p/3*(-18)/4. Is a smaller than -2?
True
Let i = -13 - -23. Suppose 0 = -3*w - 5*c + 17, 3*w + 0 = -4*c + 19. Is i at least as big as w?
True
Suppose -2*t + 4*t + 5*l = 123, -2*t + 118 = 4*l. Is t less than 47?
False
Let b(p) = -2*p**2 + 2*p + 9. Let a be b(4). Let l be 12/a - (5 - 4). Which is smaller: l or -2?
-2
Let h be ((-3)/(-6))/(3/12). Let n = 2 + h. Suppose -2*j - 3 = -5*j - n*b, -3*b = -j - 12. Is -0.1 at least j?
True
Let p = 83 - 79. Does -5 = p?
False
Let f = 54 - 49.7. Let w = f - 4. Let g = w + -0.3. Is -1 less than g?
True
Let l(c) = c**2 + c + 2. Let q be l(0). Let s = 0 - q. Suppose -1 = b + 2. Which is greater: s or b?
s
Let h(i) = -i**3 - i**2 - 2*i - 5. Let d be h(0). Which is bigger: -1 or d?
-1
Suppose w + 5*k = 24, 2*w - 3*k - 18 = 2*k. Which is bigger: w or 11?
w
Let j be (-10)/(5 + -4) + 2. Is j > -9?
True
Let x(o) = o**2 + 3*o + 1. Let s be x(-3). Let h = 1.6 + -1.8. Is s <= h?
False
Suppose -6*c - 13 = -c + 4*l, c - 7 = -4*l. Let j be (-17)/5 - (-8 - c). Are -1 and j nonequal?
True
Let u(q) = 1 + 3*q**3 - 3 - 4*q**3 - 3*q + 2*q**2 - 4*q**2. Let o be u(-2). Let c be o/(-115)*(-20)/8. Is c greater than 0?
True
Let a be 0/(2 + -3) + 2/(-4). Which is bigger: -45 or a?
a
Let w = -67/3 - -23. Let d(b) = b**3 + 7*b**2 + 1. Let y be d(-7). Which is greater: y or w?
y
Suppose -v = -4*l + 22, 3*v + 3*l + 7 - 16 = 0. Let w be 2/v*15/5. Which is smaller: w or 1?
w
Suppose -2*l + 5 - 3 = 0. Let i be (-6)/(-14)*10/(-3). Let c = i - -1. Is l equal to c?
False
Let j = 35.8 - 9.8. Which is bigger: -1 or j?
j
Let z be (-28)/16 - (-3)/4. Does 2/75 = z?
False
Let i be ((-2)/6 + 0)/1. Let f = -3 + 0. Let s = f - -5. Is i > s?
False
Let y = -13.9 + 12.9. Is y greater than -8/9?
False
Let l be -4 + (2 - (127 + 4 + -7)). Which is greater: -127 or l?
l
Let p = -1/437 + 7434/2185. Which is bigger: p or 2?
p
Let h be 5028/(-32) + -4 + 132/32. Which is bigger: h or -156?
-156
Let w = -3 - -2.7. Let m = w + 0.3. Let q = -1 - -1/3. Which is greater: m or q?
m
Let r = -28 - -16. Is -12 greater than r?
False
Let s be 1*2/(-2)*-1. Let f = -82 - -82. Which is smaller: s or f?
f
Let f(w) = -w**2 - 6*w + 2. Let s be f(-6). Suppose -y = s*h - 0 + 7, -4*h = -5*y + 21. Which is smaller: y or 0.2?
0.2
Let u be 2 - 753/189 - -2. Is -1 >= u?
False
Suppose 0 = -4*p - p. Let t = 53 - 61. Which is smaller: p or t?
t
Suppose 90 = 5*l + 5*g, -5*l + 4*g + 86 = 7*g. Is l less than 16?
False
Let w = 19 + -21. Let r be 1*7/((-7)/w). Are r and -0.2 unequal?
True
Let i be ((-16)/(-20) + 0)/(-2). Which is smaller: -1 or i?
-1
Suppose -5*f - 15 = 10. Let v = f + 1. Let t(a) = a**3 + 3*a**2 - 4*a - 3. Let b be t(v). Is b at least -3?
True
Suppose -9*b - 25 = -4*b. Suppose -28 = -4*a - 4*j, 1 + 2 = a - j. Let c = b + a. Is -1 less than c?
True
Let m = 13 + -6. Is 7 > m?
False
Let g be 135/24*5/(-25). Is g greater than or equal to 2/3?
False
Let t be (-3)/(-6)*2*11. Suppose -3*j - w + 17 = 0, j + w = 2*j - t. Is 8 greater than or equal to j?
True
Let x(r) = 4*r**2 + r + 1. Let f be x(-2). Let b be ((-10)/f)/(2/6). Which is greater: b or -0.2?
-0.2
Let z be 12/(-56) - (-6)/4. Is z greater than 1?
True
Let r(d) = -d - 35. Let n be r(0). Let v be (-231)/n + 2/5. Are v and 6 non-equal?
True
Let c = 0.09 - 5.09. Let r = c - -4.9. Which is bigger: r or 0?
0
Suppose -s - 3 = 2*s, -4*r - 2*s + 170 = 0. Let z = r - 477/11. Are z and 0 nonequal?
True
Suppose -6*q = -11 + 59. Is q <= -8?
True
Let i = 2.9 - 3.4. Is i at least as big as 2?
False
Let c = -3 - -7. Suppose -c*l + 20 = 4*g, -5 + 25 = 4*l - 2*g. Let f be (l/(-10))/((-2)/(-8)). Which is smaller: -3 or f?
-3
Suppose 0 = 2*h - 4 - 6. Suppose -4 = h*o + 1. Which is smaller: 6 or o?
o
Suppose 0 = l - 4*l + 27. Let h = l - 11. Is 0 greater than or equal to h?
True
Let g = -0.4 + 0.5. Let x = -2 - -2. Let d = x - g. Which is greater: d or -3?
d
Let j = -0.2 - 0.1. Let t = j + 0.1. Let y = 0.4 - 0.3. Which is smaller: t or y?
t
Suppose -10*b + 12*b - 14 = 0. Suppose -3*f + 24 = -6*f. Let p = b + f. Is p != 2/13?
True
Let i(v) = -1 - 2*v**2 + 2*v**2 - v**2 - 5*v + 0*v**2. Let h be i(-4). Which is bigger: h or 1?
h
Let v = 0.49 - -0.51. Is -8 at least v?
False
Let a(m) = -m**3 - 11*m**2 + m + 12. Let v be a(-11). Let i be (-33)/22*4/(-6). Is v greater than i?
False
Let q be ((-14)/56)/(2/(-30)). Which is smaller: 3 or q?
3
Suppose -j = 2*s - 1, 2*j - 3*s + 2*s + 3 = 0. Let a(c) = -6*c + 3*c - c**2 - 5*c - 8. Let m be a(-7). Is j smaller than m?
False
Suppose -q + 7 - 6 = 0. Let z = -0.37 + -0.0