 as v?
True
Suppose -5*r - 24 = -i, -4*i = -r + 6*r - 21. Is i less than 1?
False
Let g = 1 + -1. Let b be (-1020)/(-36) - (0 - 2). Let h = -31 + b. Is g smaller than h?
False
Suppose -5*n + 20 = 5. Let u be ((-1)/n)/(2/(-12)). Suppose -u = -4*v - 10. Which is bigger: v or -4?
v
Let u = 604 + -24765/41. Which is greater: u or 1?
1
Let m = -21 + 16. Which is bigger: m or -4?
-4
Let h be (-1)/5 - -2*2/20. Is h less than -1/14?
False
Let h = 115 + -114. Which is smaller: 3.6 or h?
h
Let k = 1 + -4. Let z = -4946/1385 + -8/277. Let f = 4 + z. Which is greater: k or f?
f
Let m = 31 + -46. Is m at least as big as -15?
True
Let h = 0.32 - 5.32. Are h and -0.05 unequal?
True
Let m = 0 + -0.5. Let o = -221 + 221. Are o and m unequal?
True
Let g be (-5)/12*45/(-225). Let z(t) = t**2 - 1. Let u be z(-1). Is g equal to u?
False
Suppose 7*p - 15 = 4*p. Suppose 0 = 3*w + w - 3*d + 10, -p*d + 2 = -3*w. Let b be (3/(-18))/(1/w). Which is greater: -1/6 or b?
b
Let o be -2*(-2 - 14/(-4)). Let g = o - -3. Suppose 0 = n + 1, 3*b - 2*n + g*n = -4. Which is bigger: 1 or b?
1
Let r be (-6)/(-27) - 75/(-27). Suppose r*x = -m - 0 - 6, 2*x + 3 = -m. Is -4 at least x?
False
Suppose -12 = -4*o - 0. Let r = o - 2. Which is smaller: -2/11 or r?
-2/11
Let z = 26 - 24. Suppose 2*f = -8, -24 + 8 = -z*c + 2*f. Is 0 smaller than c?
True
Let s(r) be the second derivative of r**3/6 - 2*r. Let t be s(-3). Let a = 5 + t. Is a < 2?
False
Let o be 36/9*(-46)/4. Is o greater than or equal to -46?
True
Let c = 17 + -39. Let l = c + 43/2. Which is smaller: l or -1?
-1
Let d = -0.058 + -0.012. Which is bigger: d or 1?
1
Suppose 3*v + 0*v = 3. Suppose -5*k + 0*k + 5 = 2*r, -18 = -3*r - 4*k. Let f = -19/2 + r. Are f and v equal?
False
Let o(h) = -h**2 - 4*h - 1. Let t be o(-5). Let b be ((-9)/t)/((-6)/(-8)). Suppose b*g - 4*g = -2. Which is smaller: g or 1/4?
1/4
Suppose 2*n + 2*n + 4 = 0. Suppose -j + 2 = y - 2, 5*y - 4*j = 2. Let o be (-14)/(-21) + y + -3. Which is smaller: o or n?
n
Let m(k) = k - 11. Let f be m(10). Are f and -8 equal?
False
Let i = 2.03 - 0.03. Let n = -2.1 + i. Let j = 30/13 + -64/39. Is n at least j?
False
Let r = -10 + 52/5. Which is smaller: r or -1?
-1
Let b(d) = -d**2 + 6*d + 3. Let h be b(6). Let f = h - 1. Let j(w) = -w**2 + 10*w + 12. Let o be j(11). Which is greater: o or f?
f
Let h = -538/3 + 181. Which is bigger: -0.1 or h?
h
Let a(b) = 2*b**2 - 1. Let p be a(2). Suppose 0 = -4*x + 4*r + 12, 3*x = r - 6*r - p. Let j be 5/7*2/5. Is j smaller than x?
True
Let a(s) = -s**2 - s + 17. Let t be a(0). Let z be ((-2)/(3 - t))/1. Let r = 0 + -1. Which is greater: z or r?
z
Let l be (8/6)/((-10)/(-15)). Let n = -9 + 13. Is l <= n?
True
Let z = 3.9 + -3.8. Is 3 < z?
False
Suppose 0*h + 6 = -5*j - 3*h, 3*j - 5*h = 10. Is -2/7 > j?
False
Let u = -0.6 - -0.5. Let a = 0 - 0.5. Let h = 0.3 + a. Is u smaller than h?
False
Let o = 201 + -1811/9. Suppose -5*i = x - 25, 0 = 3*x + 2*i - 4 - 6. Which is bigger: x or o?
x
Suppose j = 3*j, 3*s = -j + 3. Let w be s - (2 + -1 + 0). Let p be w + -3 - (-2 - 1). Are p and -2/13 equal?
False
Let w = 8 + -12. Let h = w - -1. Let f be 2 - (-9)/(-2) - -1. Is h greater than f?
False
Let x(q) = -q**2 - 6*q - 6. Let c = 9 + -14. Let z be x(c). Let s be -1 - 1/4 - z. Which is bigger: -1 or s?
s
Let a(s) = -4*s**2 + 3*s**2 - 1 - 3*s**3 + 2*s**3. Let z be a(0). Is z bigger than -2/17?
False
Suppose -3 = 5*t - 33. Let v = t - -5. Suppose 3*p + 4 = -v. Do -6 and p have different values?
True
Suppose -4*s + 48 = -5*c + 8, 3*c + 3*s - 3 = 0. Let l be 2/3*3/c. Which is bigger: l or -5?
l
Let o be (-2)/(-191) - 0/4. Let d = 297/10123 - o. Let k = d + 101/265. Is -1 < k?
True
Let n be (-26)/(-40) - (-1)/(-4). Which is greater: n or -85?
n
Suppose 0 = 2*t - 3 - 1. Let f be 2/(-4)*6*t. Do f and 0 have different values?
True
Let t be ((-4)/(-14))/((-6)/(-14)). Is 54 < t?
False
Let j be (-32)/360*(-10)/(-4). Which is smaller: j or -3/11?
-3/11
Suppose -7*p = -3*p - 12. Suppose -s = -2*f + p, 5*f = 4*s - 3 + 12. Are s and 0 non-equal?
True
Let c(j) = 4*j - 8. Let b be c(-4). Which is smaller: b or -23?
b
Suppose 4*a = 11 + 9. Let j = a - 3. Let o be 3*(j/6)/1. Is o smaller than 2?
True
Let n = 17 + -17. Which is smaller: n or 3/5?
n
Let w = 0.078 + -1.078. Are 8 and w non-equal?
True
Suppose 3*g + g = 8. Let x = g - 3. Is x equal to 0?
False
Let r = -20.61 - -3.51. Let c = r - -17. Do c and -0.02 have the same value?
False
Let r be (-1)/9 - (-340)/(-180). Which is greater: r or -14?
r
Suppose v + 117 - 19 = 2*i, -i + v + 48 = 0. Suppose 0*w = 5*w + i. Let g(f) = f**2 + 10*f + 1. Let z be g(w). Which is greater: -1/4 or z?
z
Suppose 4*p + 3*z - z = -56, 20 = -p + z. Which is smaller: p or -15?
p
Let z(i) = 3*i**2 + 2*i + 1. Let l be z(-1). Let g = 3 - 0. Let p = l - g. Is p at most as big as -3/4?
True
Let v = 61 + -43. Which is smaller: 19 or v?
v
Let l = -8 + 18. Which is smaller: 9 or l?
9
Let o = 617/2 - 303. Is o not equal to 5?
True
Let h = -28/55 + 10/11. Let r = -267/4 + 417/20. Let m = r + 91/2. Is h > m?
True
Let c = -0.3 - -0.2. Let v(h) = -h**2 + 4*h - 4. Let p be v(4). Which is greater: c or p?
c
Let i = -50.88 - -52. Let l = -0.12 + i. Let t = 0.2 + -0.1. Is t greater than or equal to l?
False
Let u(h) = h**3 - 7*h**2 - 8*h + 3. Let t be u(8). Suppose -g = t*g. Let q be (g - (1 + -2))*0. Is q greater than or equal to -2/7?
True
Let x = 1526 - 10662/7. Let g = 87/28 - x. Suppose 12*i - i + 5*i = 0. Are i and g equal?
False
Let j(u) = u - 1. Let f be j(2). Which is smaller: 0 or f?
0
Suppose 4*x - 3 = 2*u - 5, 65 = 5*u + 5*x. Let c be u/(1 - 4) - -6. Let m be (6/(-9))/((-22)/c). Which is smaller: m or 1?
m
Let t = 15 - 15. Is 1/3 less than t?
False
Let q be (6/4)/(354/(-8)). Which is smaller: 1 or q?
q
Suppose -6*s - 9 - 15 = 0. Is -2/3 < s?
False
Let g be 1 - -3 - (-5 - 3/1). Are 12 and g nonequal?
False
Let w be 2 + ((-28)/(-6))/(-2). Suppose -15 = 5*f - 20. Which is greater: f or w?
f
Let x(z) = 8*z + 44. Let m(s) = 2*s + 11. Let w(b) = -9*m(b) + 2*x(b). Let t be w(-8). Which is smaller: t or 4?
4
Let c(k) = -k**3 - 5*k**2 - k - 6. Let f = 9 + -1. Suppose -5*i - 33 = -f. Let s be c(i). Is -0.1 less than or equal to s?
False
Let p = -0.026 - -4.426. Let i = p + -0.4. Let g = 2 - i. Which is smaller: g or 0?
g
Let r be (-7)/9 + 1 + 2504/72. Are r and 37 non-equal?
True
Let t = 1.2 - 0.2. Let r = -18 + 15. Let y be 1*(0 + 2 + r). Which is smaller: y or t?
y
Let h(k) = -k**2 - k - 7. Suppose 4*l = -2*g - 9 + 25, -4 = -l. Let b be h(g). Which is bigger: -0.1 or b?
-0.1
Let n = -124/915 - -2/915. Is 0 less than n?
False
Let h = -3 + 1. Let p = -16.7 + 16. Let v = -0.8 - p. Which is greater: h or v?
v
Suppose -4*u = 4*r + 12, 0*u - 4*u + 4*r = 36. Let q be u/70 - (-4)/(-20). Are q and 4 equal?
False
Suppose 4*u = -3*b + 1134, 4*u - 3*u - 2*b = 278. Let x = -3668/13 + u. Which is smaller: x or -1?
-1
Suppose 6 = 4*w - w. Is w > 5/3?
True
Let x be (-3 + 2)*(-3 - -3). Let o be (-21)/14*1/30. Which is greater: x or o?
x
Let o(j) = -3*j + 2. Let q be o(3). Let b = 20 + -30. Let v = b - q. Is -5/3 < v?
False
Let n = -11 + 9. Let s be (1 + -1)/(-2) + 3. Suppose 0 = -s*m + 4*m. Which is bigger: m or n?
m
Let z be (2 - 12/3)*4/(-60). Is 0 smaller than z?
True
Let r(t) = 9*t. Let d be r(-1). Let q be ((-8)/6)/(30/d). Which is smaller: q or 1?
q
Suppose 18 = 3*k - s, -4*k = 4*s + 1 - 41. Suppose 9 + k = -4*a. Let h be -1*6*(-2)/a. Which is smaller: -4 or h?
-4
Suppose 0 = 2*z - 79 + 89. Suppose -4*x - 14 = 4*g - g, 0 = -2*g + 2*x - 14. Which is greater: g or z?
z
Let p = -13.9 - -13. Let i = p + 1. Let o be 16/(-42) - (-4)/(-14). Which is greater: i or o?
i
Suppose -2*t + 4 = 2. Let v = -45 - -227/5. Let q = v + -3/20. Which is greater: q or t?
t
Let r = 12 + -7. Suppose 12 = 5*i - 13. Is i greater than or equal to r?
True
Let g(t) = t**3 + 5*t**2 - 6*t + 3. Let k be g(-6). Let x be (8/21)/4*k. Which is smaller: 1/2 or x?
x
Let i = -11 - -1. Let w = -9 - i. Which is bigger: w or 3/5?
w
Let w be ((-1)/(-2))/(4/(-144)). Are -17 and w equal?
False
Let c be 2*7/4*-1. Let y be 0 - -3 - 69/10. Let g = y - c. Is -3 at least g?
False
Suppose 3*k + 3*t = -8 - 4, 24 = -5*k - 3*t. Does 1/2 = k?
False
Let b(h) = -h - 6. Let u be b(-5). Let z be u/4 - 2/(-4). Let s = 