h is greater: 3 or s?
s
Let w be (-4)/10 - (-2)/30. Let x = -7 + 5. Let p = x - -2. Which is greater: p or w?
p
Suppose -10*v - 2 = -12. Which is smaller: 17/9 or v?
v
Let f = 0.4 - 0.3. Suppose 9*x + 6 = 6*x. Are x and f equal?
False
Let v(w) = -w**3 + 9*w**2 + 11*w - 15. Let i be 11 + -2 - (-2)/2. Let x be v(i). Which is bigger: -3 or x?
-3
Suppose 3 = b, 5*x - 1 + 18 = -b. Is x less than -2?
True
Let m = 2/391 - -1526/7429. Is m > 0?
True
Let x(r) = -r**2 - 7*r - 6. Let c be x(-4). Suppose 4*o - 3*o - 5*v = -c, 5*o - 48 = -v. Suppose 0 = -3*d + 4*l - 13, l = -3*d - 2*d + o. Is d equal to 1?
True
Suppose -15 = -0*q - 5*q. Suppose 6*h - q*h = -21. Is h at least as big as -8?
True
Suppose -4*t = -0*t. Suppose 2*z = 7*z. Is z less than or equal to t?
True
Suppose -f = -4*w - 3*f - 70, 0 = 5*w - 2*f + 83. Which is greater: w or -16?
-16
Suppose 15 = 2*y + 5*n - 8*n, 2*y + 5*n + 9 = 0. Is 5 less than or equal to y?
False
Suppose 4*l = 3 + 5. Let g = l + -6. Are g and -8/3 non-equal?
True
Let f(q) = 6*q + 20. Let r be f(-3). Which is smaller: r or 13?
r
Suppose -33 - 59 = 46*z. Suppose -2*j = 2*j + o + 7, 0 = 4*j + 5*o + 19. Which is smaller: j or z?
z
Let r be (-244)/(-62) - 36/(13 + -4). Let i(w) = -w + 5. Let s be i(5). Are s and r nonequal?
True
Suppose 1 - 184 = -3*f. Are f and 61 equal?
True
Let h = 408/7 - 58. Which is greater: h or -0.3?
h
Let m = 2 - 1. Let d be (3 + -1)*m/(-10). Which is greater: -1 or d?
d
Suppose 0 = -4*m - 5*u - 2, -5*m + 3*u + 6 = -10. Let n = 6 + -5. Is n equal to m?
False
Let x be (12/(-15))/((-1)/5). Suppose -n = -2 + x. Is n > -2?
False
Suppose 0 = 3*t - t + 2. Let u be 1*-1*(0 + t). Let j = -264 + 262. Which is smaller: u or j?
j
Let v = 0.02 - 0.08. Let g = 193.94 - 196. Let o = v - g. Is -1 > o?
False
Let a be -1 - (-2)/((-32)/(-59058)). Let x = -3684 + a. Let t = x - 6. Which is smaller: t or 0?
0
Suppose 8 = 5*y - 3*y. Let o = y + -2. Let q = 1 + o. Is q < 4?
True
Let t = 14.4 + -3.4. Which is greater: t or 1?
t
Let f = -8 - -13. Suppose 4*w + 4*p - 44 = 0, p + 0 = w - 1. Which is smaller: f or w?
f
Let x be (-16)/36 + (-4)/(-6). Let j be 10/4*4/5. Let o(u) = -u**2 + 3*u - 3. Let f be o(j). Which is smaller: f or x?
f
Let s be 504/(-6)*1/2. Is s not equal to -42?
False
Let x(n) = 4*n + 3. Let m be x(-4). Do m and -13 have the same value?
True
Let x(b) = 27*b - 1. Let v(l) = 107*l - 3. Let u(s) = 2*v(s) - 9*x(s). Let a be u(2). Let c be ((-4)/a)/((-10)/(-25)). Is 0 bigger than c?
False
Suppose -3*f = -4*f - 1. Let l be 20/(-50) - 4/(-10). Which is bigger: f or l?
l
Let q = 54 - 53.3. Suppose -9 = -4*w + j, -2*w - 2*j = -5*w + 8. Which is greater: w or q?
w
Let j be (-57)/12 - 1/4. Let f = j - 2. Let u be 2/f + (-64)/(-126). Does u = 0?
False
Let t be (0 - 0/2)/(-1). Let w be (-1 + 1 + t)*1. Let q = w + -2. Is q less than -1?
True
Let a = 57/4 - 403/28. Which is smaller: a or 0?
a
Let q = 4.01 + -4. Let d = q - 1.01. Let l = d + 6. Which is smaller: l or -0.1?
-0.1
Suppose 0 = 3*t - 4*f + 2*f + 3, -2*f = 4*t + 4. Which is greater: -11/6 or t?
t
Let l be (-2)/3*(-33)/2. Suppose 0 = 7*w + 32 - l. Is w smaller than 2?
True
Let x = -113 + 111. Is -6/7 <= x?
False
Let c = -9632 - -6876. Let v = c - -13988/5. Let d = -42 + v. Which is smaller: 0.2 or d?
d
Let i = -54.2 + 48. Let z = i - -6. Which is greater: 0.4 or z?
0.4
Let k = -24.9 - -25. Let i = 0.2 - 0.1. Does k = i?
True
Let l be (-36)/(-10) - 8/(-20). Suppose l*w = 4*q, w = -q + 2 + 2. Does q = 1/3?
False
Let s be (-1)/(-5) + (-42)/10. Is -5/2 at least as big as s?
True
Suppose -36*n + 4*n = 64. Let p(l) = -l**3 + 2*l**2 + 2. Let d be p(2). Let o be d/8*-2*3. Which is bigger: n or o?
o
Let m = -5.383 + 0.083. Let s = -5 - m. Let f = s - 0.3. Which is greater: -0.4 or f?
f
Let x be ((-8)/(-6))/(8/36). Let u be -1*x/3*1. Is -2 less than u?
False
Let t = 139/2 - 3755/54. Do 1 and t have different values?
True
Suppose 0 = y + 2*y. Suppose -2*w = -y*w + 8. Suppose -3*m + 1 + 7 = -4*t, 3*t = -3*m - 6. Which is smaller: m or w?
w
Suppose 2*d + 23 = 59. Which is bigger: 20 or d?
20
Let g = -8 - -13. Suppose g*x = -2 - 3. Let r be (-6)/(-21) - (-32)/(-14). Which is greater: x or r?
x
Let c = 619/3 - 208. Let a be ((-4)/(-6))/((-4)/6). Is c at most as big as a?
True
Let o = 2 - 1. Let g = o + -1. Is -2/3 less than or equal to g?
True
Let h(g) = g**2 - 6*g + 6. Let l(s) = s + 1. Let x be (-2)/(-9)*3*6. Let m be l(x). Let a be h(m). Do a and 1 have the same value?
True
Let p be (4 - 5)*(-11)/(-4). Is p > -2?
False
Let k = 373 - 13057/35. Let u be (-8)/6 + (-3)/(-9). Is k at most as big as u?
False
Let c = -2 + 4. Let x = -1.8 + c. Let h(a) = -2*a - 3. Let z be h(-2). Is x < z?
True
Let r = -3.1 - -3. Let t = 0 - r. Let h = 0.086 + -0.066. Is h >= t?
False
Let y be 68715/504 + (-4)/(-14). Let k = -14449/104 + y. Let q = k - -656/273. Which is greater: 1 or q?
1
Let d = -1 - -1. Let z = -3.8 + 2.8. Which is smaller: d or z?
z
Suppose 2 = 5*x + 4*r, -2*x + 5*r - 2*r = -10. Let p(y) = y**3 - y**2 - y. Let k be p(x). Which is smaller: 2/5 or k?
2/5
Let q(s) be the second derivative of s**4/12 - 7*s**3/6 - 3*s**2 - s. Let i be q(8). Let h be (-4)/(-20) - i/10. Do h and 1/8 have the same value?
False
Let s = -6 - -3. Let l be (-1)/21 - 11/(-33). Which is greater: s or l?
l
Let p = 1.5 + 3.3. Let a = -0.41 - -5.41. Let j = a - p. Which is greater: -1 or j?
j
Let c = 6 + -4. Let h = 1/21 + 58/105. Are h and c equal?
False
Let l = -224 - -1572/7. Which is smaller: 2 or l?
l
Suppose -7 = -4*n + 3*n. Is n less than -0.1?
False
Let c = 10 + -9.99. Do 1 and c have different values?
True
Let k = -4.5 + 0. Let u = -4 - k. Is u bigger than -2/9?
True
Let d = 0.04 - 0.14. Does -1 = d?
False
Let q = -14 + 5. Let s be 2*-1*q/6. Suppose 6*y - s = 3*y. Which is smaller: y or 2/3?
2/3
Let g be 6 + (-2 - 1/(-1)). Let a(j) = j - 6. Let i be a(g). Is i less than -1?
False
Let x be 8/6*(-4 - (-44)/8). Which is smaller: x or 11/4?
x
Suppose -j + 5 = 0, 3*a = -a + 3*j - 39. Let f = a - -4. Which is greater: -2/3 or f?
-2/3
Let n = 6 + -5.6. Is -5 > n?
False
Let p be 2*1/4*-2. Is -2/15 at least as big as p?
True
Suppose -r + 1 - 2 = 3*a, -2*r + a = 9. Let h be ((-4)/(-8))/(1/r). Which is greater: -3 or h?
h
Let y be (408/116 - 3)*4/(-10). Which is greater: 0 or y?
0
Suppose -60 = -6*q + 2*q. Suppose -3 + q = 3*t, -4*u + 16 = 2*t. Suppose -4*x = -u*o + x - 7, 0 = 4*o - 2*x + 6. Is -1/8 at most o?
False
Let u(l) = 2*l. Let h be u(-4). Let r be 2/(-33)*(-11 - h). Is r equal to 1?
False
Let f = 0.2 + -0.2. Let a = 7.0304 + -0.0304. Is f at least as big as a?
False
Suppose -5*y + 29 = 4, 4*b = y + 419. Is b smaller than 106?
False
Let m = -10 + 11. Suppose 2*k - 2 = 4*a + 4, -3*k + 3 = 0. Let d = a + -2. Is m at least d?
True
Let l be 0/((0 - -1) + 0). Let n(y) = 12*y**2 - 2*y + 1. Let b be n(1). Suppose 5*u + 3*x + b = 0, 3*u + 2*x - x + 5 = 0. Is u at most l?
True
Let a = 50 - 52. Is a at most 1.7?
True
Let f = -0.73 - -0.8. Let x = -0.03 + f. Let c = x - -1.96. Is c bigger than 2?
False
Let y = -14 - 2.6. Let k = 17 + y. Which is smaller: 2 or k?
k
Let w be (46/(-50) - -1)*30. Which is smaller: 1 or w?
1
Let z = 0 - -5. Suppose 0 = -5*a + z, -j - 3 + 1 = 4*a. Does j = -5?
False
Let v be 2 + -3 + 9/(-6). Let b = 6 + -8. Which is smaller: b or v?
v
Suppose -6 = -5*i + 4. Let n(f) = -2*f**2 + 4*f - 2. Let c be n(i). Which is greater: -1/3 or c?
-1/3
Let w be (-165)/(-25) - 3 - 3. Is -20 less than or equal to w?
True
Let j = -155 - -160. Is j != -1/10?
True
Suppose -2*r = r. Let a = r - -2. Let j(m) = m - 3. Let n be j(6). Is a equal to n?
False
Let m = 4 - -13. Let h = 16.9 - m. Is h <= -1?
False
Let w(u) = u**2 - 7*u - 25. Let c be w(10). Is -0.4 smaller than c?
True
Suppose -26 + 6 = 2*u. Is u smaller than -10?
False
Suppose -r + 18 = 60. Let l be (-2)/r*3/(-2). Is l at most 1?
True
Let z = -8 + 1. Let q be (-2)/z + (-36)/28. Suppose -3*w - 8 = -w. Which is smaller: q or w?
w
Let q = -1.5 + 1.3. Suppose 4*j - p = -6*p - 7, 5*j - 2*p - 16 = 0. Let v be ((-2)/(-4))/((-1)/j). Which is bigger: v or q?
q
Suppose 18 + 13 = 5*d - 2*p, -4*d - 4*p = -8. Suppose -2*x = d*w + 5, -4*w = 2*x + 4 - 0. Is x < -1/7?
False
Let u = 4.82 - -0.18. Is 1 greater than u?
False
Suppose 3*u - 2*u - 5*c + 8 = 0, -4 = -2*c.