
h
Let o be 39/(-24) - (-1)/2. Which is bigger: -2 or o?
o
Let l(w) = -w**2 - 10*w + 6. Let v be l(-4). Is 28 greater than or equal to v?
False
Let b(a) = a**2 + 7*a + 2. Let v be b(-4). Which is smaller: -8 or v?
v
Suppose -3*m - 4 = -4*m. Let y = m + -5. Let k be (-1)/(-15) + (-2)/5. Is y != k?
True
Let k = 346/63 + -52/9. Is 1 at least k?
True
Let y = 0.9 - 0.81. Is -1/3 < y?
True
Let r be (-1)/(-2)*(-12)/39. Which is greater: r or 0?
0
Suppose -m = 2*r - 5, r + 2*r + m - 6 = 0. Let z be 12/16 - r/(-4). Is z < 12/11?
True
Let d(a) = 2*a + 27. Let m be d(-13). Let q be 4*(-7)/(-15) - 2. Let t = q - -1/3. Is t <= m?
True
Let p(v) = v**2 - 4*v - 4. Let s be p(5). Let d = -141 - -3103/22. Is s bigger than d?
True
Let y be (-1)/(-2) + (-2)/(-4). Let x be (-5)/9*-4 + -2. Which is bigger: x or y?
y
Let t(q) = -q**2 - 11*q + 1. Let r be t(-11). Let j = 2 + -3. Let x be r*j/(-3)*0. Does x = 0?
True
Let h be 0*2*3/6. Suppose -3*u - 5*o - 2 = h, 3*u - o = -5*o - 1. Let m = u + 1. Which is bigger: m or 0?
m
Let q(r) = r**3 + 5*r**2 - 1. Let c be q(-5). Let y be (4 - 2)*4/(-56). Is c greater than y?
False
Let z be 1*1/(-4)*14. Is z not equal to -4?
True
Suppose 0*i - 4*i + 3*v = 3, -2*v = i + 9. Let c be (i - 0) + (2 - -2). Suppose -3*t + 2*t + c = 0. Is t at least as big as 2/13?
True
Let t = 280 + -436. Let b = 1090/7 + t. Which is smaller: b or 1?
b
Let j(d) = d**3 - 5*d**2 + 4*d + 2. Let p be j(4). Suppose r + 4 = p. Are r and -4 nonequal?
True
Let x = 0 - -0.8. Let d = -0.14 + 0.64. Let k = d - x. Is k bigger than 1/3?
False
Let k = -0.28 - -7.48. Let m = k + -7. Let b(x) = x - 5. Let l be b(5). Which is greater: m or l?
m
Let p = -163/4 + 87/2. Which is smaller: 3 or p?
p
Let v be ((-5)/(-2) - 3)*-10. Suppose h + 0 - v = 0. Which is smaller: 6 or h?
h
Let x be (-9)/(-27) + 42/(-9)*2. Which is smaller: x or -8?
x
Let z(f) = -f + 3. Let v be z(0). Suppose -v*n + 5 = 5*c, n + 4*c - 2 = 2. Let b = -0.3 - -0.5. Is n smaller than b?
True
Suppose -10*m - 4 = -6*m. Are -1 and m nonequal?
False
Let y(c) = 3*c + 2*c**2 + 2*c - 3*c + 1. Let i be y(-2). Let l(f) = f**2 + 2*f - 11. Let d be l(-5). Which is bigger: i or d?
i
Suppose -16 = -7*x + 3*x. Let a = 14 - x. Which is greater: 9 or a?
a
Let g = 20834/23 - 906. Which is smaller: -1 or g?
-1
Let n(v) = v**3 + 5*v**2 - 8*v - 9. Let f be n(-6). Suppose a + f*a - 8 = 0. Let h(i) = i**3 - 3*i**2 + 2*i + 1. Let u be h(2). Which is smaller: a or u?
u
Let m = 1 + -2. Let b be -7*(-1)/6 + m. Let z = -133 - -132. Which is greater: z or b?
b
Suppose 0 = -3*u - 3*u. Let h = -1 + -2. Let l be ((-1)/(-4))/(h/(-6)). Which is smaller: l or u?
u
Let p = -0.33 + 0.03. Let d be ((-12)/72)/((-1)/(-3)). Are p and d non-equal?
True
Let p = 0.048 - 0.048. Let b = -0.3 - -0.2. Which is smaller: b or p?
b
Suppose -3*v = -8*v - 2*q + 18, 2*v + 12 = 4*q. Is -0.6 >= v?
False
Let b(n) = n**2 + n - 1. Let c be b(0). Let v = c + 4. Is v at least 3?
True
Let p = -4 + -3. Let b = p - 1. Let j be 10/b*(-4)/(-20). Which is smaller: j or 0?
j
Let i = -57 - -55. Which is smaller: -4/5 or i?
i
Let g = 24 - 19.5. Is -0.1 <= g?
True
Let q = 24444 + -3544343/145. Let b = q - -10/29. Which is smaller: b or 2?
b
Let n(v) = v**2 + 4*v - 2. Let g be n(-5). Let t be g*(0 + 1) - 3. Which is smaller: t or -2?
-2
Let q be (-6)/(-10)*160/72. Let l be (-2)/(-4) - (-1)/2. Which is greater: l or q?
q
Let n be (-6)/(-4)*8/6. Let x be (n/(-20))/((-12)/30). Is 2/7 greater than or equal to x?
True
Let f be 1/(-2) + ((-1)/(-8) - 1). Which is greater: f or 0?
0
Let x(i) = i**2 - 7*i - 11. Let u be x(8). Let w be 1032/70 + (-6)/u. Let f = -120/7 + w. Are f and 2/3 nonequal?
True
Let y = -1010 + 11093/11. Let d = y + 447/275. Which is greater: d or -1?
d
Let w(s) = -s**2 - 3*s + 1. Let c be w(-4). Let v = c - -1. Which is smaller: v or -4/5?
v
Let x = -2.4 - -3.4. Which is bigger: x or 0.7?
x
Suppose -3 = 3*y, 0*y + 59 = 4*i + y. Let m = i + 30. Let l be 84/m*-1 - -2. Which is bigger: 0 or l?
l
Suppose -o - 6 = -1. Let g = o + 7. Let i = 1.44 - 1.34. Which is smaller: i or g?
i
Let f be (8/12)/((-5)/45*-6). Suppose -3*r + 8 = d - 2*d, 19 = 5*r + 4*d. Is f >= r?
False
Let q be 2/(-13) - (-2170)/3627. Suppose 0 = 4*i - 8 + 4. Are i and q equal?
False
Let n = -2 - -2. Let b = -103 - -717/7. Is b at most n?
True
Suppose 0 = 3*c - 5*o + 5 + 12, 5*c + 5*o + 55 = 0. Suppose 5*r + 5 = 0, r + 9 - 32 = 3*h. Which is smaller: c or h?
c
Suppose -4*r = -2*r + 4*v, -2*r - 9 = -5*v. Let c(a) = -2*a - 2. Let k be c(r). Suppose 2*u + 2*u + k*p = -6, 0 = -u + p + 3. Which is smaller: 1 or u?
u
Let u be (-6)/(-2) + -4 - 1. Which is smaller: u or -6/5?
u
Let c be (-2)/(-7) - (-4)/(-14). Suppose -5*r - 3 = -3*j, -j = 4*r - 1 - c. Let f be (j/(-4))/((-1)/2). Is f greater than or equal to 2?
False
Let w = 35 + -83. Let c be ((-8)/w)/(2/(-8)). Suppose 3*g + 5 = -1. Is g equal to c?
False
Suppose -b = 2*m - 1, 0 = -m + 4*b - 15 - 7. Which is smaller: -5/4 or m?
m
Let q be (1 - 4)*(-8)/216. Which is bigger: 1 or q?
1
Suppose -2*h = -4*u + 15 - 1, -5*h = u + 2. Suppose 0 = 4*l + 4*s + 24, -4 = 4*l - 6*l + 2*s. Let z be l/(-3)*(2 - -1). Is z less than h?
False
Let h = 0.02 - 0. Let o = h - -1.98. Let v = o + 0. Which is greater: v or 3?
3
Let c = -18 - -16. Let f = -3 - c. Let g = 0.04 - 2.04. Are f and g unequal?
True
Let t be (-18)/(-30) - (-3)/(-5). Which is smaller: t or -4/35?
-4/35
Let f = -1 + -1. Let b(m) = m - 2. Let p be b(11). Suppose p*q = 4*q. Is q <= f?
False
Let x be (-56)/(-10) - (-92)/(-23). Let q be 7 + -2 + (-2)/1. Is q greater than or equal to x?
True
Suppose -3*b + 25 = -8*b. Which is smaller: b or 2/19?
b
Let w = -12 - -10. Let g be -3*2*w/(-24). Is -3 bigger than g?
False
Let s be (6/5)/((-16)/(-280)). Which is greater: 23 or s?
23
Let d(i) = -i - 3. Let v be d(-5). Suppose p + 36 = v*p. Let o be -1 + (-2)/p*-14. Which is smaller: o or 0?
o
Let i = 0 + -1. Let w = -32 - -22. Let b = -11 - w. Are i and b unequal?
False
Suppose 0 = -2*m + 6*m + 8. Let f be 3 + (-3)/(-1) + m. Let y be 4 + ((-1)/1)/1. Which is bigger: y or f?
f
Let r = -20 - -17. Let x = -8 + 4. Which is greater: r or x?
r
Let d(i) = 4*i**2 - 4*i - 3. Let x(r) = -r**2 - 6*r - 2. Let g be x(-6). Let s be d(g). Suppose -v - s = 2*v. Is v at most -7?
True
Let g = -4 + -30. Let j = 17 + g. Which is smaller: -18 or j?
-18
Let m be ((-32)/20)/((-4)/10). Let z = m - 5. Is z greater than 3/8?
False
Let i = -9 - -4. Is i equal to -5?
True
Let k = -995 - -666. Let w be k/(-35) + 6/10. Is w <= 9?
False
Suppose 0 = -3*y - 0. Do y and 0 have different values?
False
Let x = -4.1 + 4. Let n = x + -0.2. Let t = -0.2 - n. Is t greater than -1?
True
Let g = -19 - -5. Let n = 14 + g. Is n less than -2/7?
False
Let p = 8 + -7. Suppose -p - 4 = 5*l. Which is smaller: l or -2/3?
l
Let j = 16 - 10. Let k(s) = -s**2 + 6*s. Let b be k(j). Suppose -5*v - 5 = -b. Are -3/2 and v nonequal?
True
Let o(w) = w**2 - 12*w + 4. Let j be o(11). Which is greater: -6 or j?
-6
Suppose 0 = -6*z + 4*z + 34. Which is greater: 16 or z?
z
Let b = -1856/9 + 206. Suppose -2*z = -4*z - 4*j - 16, 5*z - 4*j = 16. Suppose z*u - 4*u = 0. Which is smaller: b or u?
b
Let m(i) = -11*i**2 + 20*i + 17. Let q(x) = 7*x**2 - 13*x - 11. Let g(c) = 5*m(c) + 8*q(c). Let f be g(5). Are f and 2 equal?
True
Suppose -2*m + 5*m = -3. Suppose 4*i = 2*i + 4. Let f = 2 - i. Is m at least as big as f?
False
Suppose -3*j + 3 = -3. Is j >= -1/3?
True
Suppose -2*m - 8 = -4*q, 27 = 4*q - 5*m + 7. Let p be (5/(-170))/((-2)/(-4)). Is q bigger than p?
True
Let o = -0.6 - -1. Let r = -2.6 - o. Let p = 5 + r. Which is greater: p or 0?
p
Let j = 2/31 + -49/279. Let m be (1 - 6)*(-18)/10. Suppose -5*c + 4 = m. Which is greater: c or j?
j
Let c be (-170)/(-8) - (-2)/(-8). Suppose 2*d = d. Let g be 1 + d - 27/c. Do -1 and g have different values?
True
Let g be ((-10)/15)/((-2)/6). Which is smaller: g or -2?
-2
Suppose -o + 3*o - 20 = 0. Let q be o/15 + 4/(-6). Let x = 0 - q. Is x smaller than 1?
True
Let o = 4 - 2. Suppose 2*c - k = 4, c - 4*k = o*c + 16. Suppose 0 = a - c - 3. Is 3 at most a?
True
Let r(d) = -d**3 + 2*d**2 + 7*d. Let l be r(5). Let i = -28 - l. Suppose -i + 0 = 4*y. Is -3 greater than y?
False
Let j be ((0 - 1)/2)/((-20)/(-160)). Is 2 bigger than j?
True
Let m be 9/(