e
Let l be (4 - -7) + 0/1. Let u = 11 - l. Is 2/29 at least as big as u?
True
Let w = -6.8 + 6.9. Which is greater: w or -2/29?
w
Suppose 1528 = -5*c - 212. Let r be 2 - (c/45)/4. Let k = 18/5 - r. Which is smaller: k or 0?
k
Suppose 0 = -2*s + 3*s + 12. Is s greater than or equal to 0?
False
Let m(j) = -15*j**2 + j. Let s be m(1). Let t = -7 - s. Suppose -6*d = -t*d - 1. Is d less than -3/7?
True
Let r = -167/6368 + -1/199. Which is greater: -1 or r?
r
Let v = 33 - -23. Is 56 less than or equal to v?
True
Let a be (3/(-3) - -1)/2. Suppose a = 2*w - 2*r - 16, -3*w - 3*r + 1 = -5. Let c = w + -1. Which is greater: c or 1?
c
Let h(f) = -f**3 + 5*f**2 + 7*f + 1. Let l be h(6). Which is bigger: 3 or l?
l
Let t = -0.8 - -0.95. Let d = t - 0.05. Let u = d + 0.2. Which is greater: u or -0.2?
u
Let f = 253 + -2013/8. Are f and 1 equal?
False
Suppose -5*v + 2 = -4*v. Suppose -3*l + 5*w + 43 = 0, v*l - 8 = -l - 2*w. Let x be (3*-1)/(-2 + l). Which is bigger: x or -2?
x
Suppose 11 = -y + 12. Is y less than 3/2?
True
Suppose k + 4*k = 0. Let g be 1 - (-2 + k)*-1. Which is greater: 1/12 or g?
1/12
Let c be (-2)/8 + (-7)/(-28). Which is greater: 2/25 or c?
2/25
Suppose -5*b = -2*g, b = -4*b + 10. Suppose 3*d = g*w + 5*d + 9, 3*d + 5 = w. Suppose -5*a - 8 = -13. Is w smaller than a?
True
Let z(d) = d**2 + 2*d - 2. Let s be z(-4). Suppose 0 = -s*p + p - 15. Suppose 5*u - 12 = 3*j + 4, -4*j + u - 10 = 0. Is p <= j?
True
Suppose 7*i = 2*i - 65. Is -11 <= i?
False
Let v = -0.4 + -0.6. Does v = -1?
True
Let h be 4/(-12) + 50/(-84). Let f = h - -3/7. Which is greater: 0 or f?
0
Let v = -1 + 3. Suppose 0 = -v*d - 1 + 3. Which is smaller: d or -2/11?
-2/11
Let u = 0.6 + -1. Let r = 0.2 + u. Let c = -0.3 - r. Which is bigger: c or -2/3?
c
Let a(c) = -c**3 + 9*c**2 - 11*c + 6. Let i be a(8). Do -19 and i have different values?
True
Let z(l) = l**3 - 4*l**2 + 1. Let j be z(3). Which is greater: j or -7?
-7
Let l be (-3)/(-5) + 2/5. Let i be l + (0/(-1) - -1). Which is smaller: i or 0?
0
Suppose -5*x - 58 = -3. Let f be (x/3 - -3)*6. Is f smaller than -4?
False
Let c(p) = -2*p**3 + 6*p**2 + 4. Let q be c(3). Which is greater: 16/5 or q?
q
Let a = 181 - 186. Suppose 0 = 2*z - z - 1. Which is bigger: z or a?
z
Suppose 4*g - 24 = -2*a, -4*g + 73 = 5*a + 19. Suppose 3*z + a = 8*z. Let v be (2/6)/(4/24). Is z at most as big as v?
True
Let h be 6 - 4 - (-10)/(-7). Is 3 at most as big as h?
False
Let m be 70/(-192) - (-4 - -4). Let d = -1/32 - m. Which is greater: 1 or d?
1
Let d = -21 + 19.9. Let b = 0.9 - d. Let n = -0.8 + -0.2. Are n and b non-equal?
True
Let m = 0 - -1. Let l(q) = q**2 + 3*q + 2. Let d be l(-3). Suppose 2*z - z - d = 0. Is m greater than z?
False
Let c(w) = w**3 - 7*w**2 - 2. Let g be c(7). Let a be 4*g*3/(-6). Are a and 4 nonequal?
False
Let n(t) = -13*t**2 - t + 12. Let y(o) = 3*o**2 - 3. Let s(w) = 2*n(w) + 9*y(w). Let a be s(3). Suppose 0 = 5*u - a*u. Which is bigger: u or -3/5?
u
Let v(i) = i**3 + 5*i**2 + 3*i - 4. Let a be v(-3). Suppose 3 = a*u + 3*j + 9, u - 4 = 2*j. Which is smaller: u or 2/5?
u
Let u = -2072/1081 - 12803092/22701. Let k = u + 566. Which is smaller: k or 0?
0
Suppose -203 = 2*o - 9*o. Does o = 29?
True
Let z be (-2)/7 - 4/(-14). Let n be z + 0 + 2 + 1. Suppose n*i = -2 + 5. Does i = -3?
False
Let m = -1.59 + -6.71. Let w = m + 8. Which is bigger: w or -0.1?
-0.1
Let z be 2586/(-15) - 6/(-15). Let o be (-36)/z*-5 - -1. Is o greater than 0?
False
Let j(f) = -6*f - 5. Let x be j(-2). Is 6 at least x?
False
Let h = 5.6 - 0.6. Let n = 6 - h. Which is greater: -0.05 or n?
n
Let p be ((-4)/(-8)*(5 + 3))/2. Suppose -2*u + 12 = r, -3*r + u = r - 3. Is p < r?
False
Let q be 2*(-2)/18 - 0. Let j be 3/30*6 - (-42)/(-60). Which is smaller: j or q?
q
Suppose 0*y + o = -3*y + 5, 5*y + 10 = 2*o. Suppose 4*d + 5*g + y = 6, -5*g + 8 = 2*d. Is d equal to -1/4?
False
Suppose 6*v - v = -35. Do v and -7 have the same value?
True
Suppose -3*k - r + 27 = 0, -r + 11 = k - 0*r. Suppose -4*w + 2*h = -0*w - k, -5*w = -5*h - 10. Let b = 21 - 19. Are w and b non-equal?
False
Suppose 2*p - 39 = 135. Is p bigger than 88?
False
Let f = -6 + 10. Suppose -5*i + 16 = f*n - 0*n, -8 = -2*n - 3*i. Suppose g = -n, -q = -2*q + 2*g + 7. Are -1/4 and q equal?
False
Let m = -463 - -8809/19. Is m at least as big as 0?
True
Let s = 12 + 2. Suppose 5*w - 31 = -2*l, -l + w - 2*w + s = 0. Which is greater: l or 14?
14
Let d(f) = f - 1. Let q be d(2). Let h = 1 - q. Let j = -132 + 662/5. Is j >= h?
True
Let v be 1*(-6)/(-9) + 1. Is -2/9 greater than v?
False
Let h = -1246 + 93448/75. Which is greater: 0 or h?
0
Suppose 0*j - 18 = -6*j. Suppose -j*q = q. Do q and -0.2 have the same value?
False
Suppose 0 = a - 6*a. Which is smaller: -2/37 or a?
-2/37
Suppose 5 - 30 = -5*q. Let g be (2 + -14)*3/(-12). Is g > q?
False
Let z be (2/(-2))/(30/3). Is z smaller than 0?
True
Let q = -2/1465 - 2812/86435. Let t(f) = -5*f - 70. Let j be t(-14). Which is greater: q or j?
j
Let n = 4 + -4. Let d(b) = b**2 - 5*b - 7. Let q be d(6). Is q at least n?
False
Let l = -1 + 9/7. Which is greater: 1 or l?
1
Let q = 99916 - 501189/5. Let v = 323 + q. Do v and -1/3 have the same value?
False
Let b be 2/(4 - 0)*4. Let m(o) = -o**3 - 3*o**2 + 4*o + 3. Let g be m(-4). Suppose -t + g*t = 2. Is b bigger than t?
True
Suppose 0 = -5*v + 15. Let t(m) = -v + 2*m + 1 - 3*m. Let o be t(0). Is o smaller than -4?
False
Let z = -18.2 - -19.2. Which is smaller: 39 or z?
z
Let r = -2.9 + 3. Suppose 32 = -3*u - u - 4*o, 5*u = 5*o + 10. Let i = 0 - u. Which is bigger: i or r?
i
Let f = -6 - -3. Is -3 >= f?
True
Let f = -0.07 - -0.07. Let g = f - 2. Let q be (2/(-10))/(1/(-2)). Which is greater: q or g?
q
Let m be (-6)/4*(-8)/12. Let b be 2/5 + 14/(-60). Do b and m have the same value?
False
Let y = 18 - 22. Which is smaller: -3 or y?
y
Let m be (324/(-16))/(25/(-2)). Let x = m + -3/25. Which is bigger: x or 1?
x
Let s be (-4 - -2)*(-2 + 0). Let r be ((-1)/(-2))/((-875)/182 - -5). Is r greater than s?
False
Let n = 10/1199 + -7008/552739. Which is smaller: n or 0?
n
Let f = 3.05 - 0.05. Let y = -149/290 + 2/145. Which is smaller: f or y?
y
Let w = -13/7 - -15/7. Let y = -5/12 - -3/4. Which is greater: w or y?
y
Let n(w) = -w - 3. Let a be n(-19). Which is smaller: 65/4 or a?
a
Let f = 39 - 24. Let q = 21 - f. Let o = q + -8. Which is greater: o or -2/3?
-2/3
Let c = -0.5 - -0.4. Let a = -0.1 - c. Is -0.3 bigger than a?
False
Suppose 24 - 1 = 5*q + t, 5*q = -4*t + 32. Suppose -2*i - 9 = -r, -q*r - 4*i = r + 11. Is r equal to -2/19?
False
Let v be (-2)/(-8) + (-34)/8. Let t = -8 - -4. Is v >= t?
True
Let v = -9 + 7. Let c(z) = -z + 2. Let w(k) = k**2 + 11*k + 14. Let g be w(-10). Let m be c(g). Are v and m non-equal?
False
Let r = 4/25 - -6/25. Let l be -2*(2 - 1) - 45/(-20). Do r and l have the same value?
False
Suppose -25 = 4*p - 3*t - 0*t, 3*p + 2*t = -40. Let f = p - -7. Suppose 2*l + 4*r = 0, -4*r - 3 = 4*l + 5. Is l != f?
True
Let s be 3 + (-1)/2*0. Let j = -8 + s. Let y = j - -8. Is 4 <= y?
False
Let h = -4 + 3.9. Let a = 0 + h. Let s be (-1)/(-4)*(-1 + 2). Is a not equal to s?
True
Let a be ((-4)/(-3))/((-68)/(-51)). Suppose 3*f = 4*b + 7, -4*b + 2*f = -4 + 6. Is b at least a?
True
Let w be (6/(-10))/(4/10). Suppose -3*g + 1 = -5. Suppose -2*t - 6 = g*y, 2*t + 10 = 2*y + 4. Which is bigger: t or w?
w
Suppose -2*d + 2*c - 12 = 0, 4*d + 9 = 2*c - 5. Let x be d + (-3 - -5) - 2. Let w = -39 - -118/3. Are w and x equal?
False
Let r = 1.3 + 0.2. Is -0.1 at most r?
True
Suppose 0 = -5*w - 5, 0*p + 3*p + 4*w - 56 = 0. Let k be 4/6 - 28/6. Let b be (k/10)/(4/p). Which is greater: -3 or b?
b
Let g be (-256)/14 - 2/(-7). Let c be -3 - (g/14 + -2). Which is smaller: 0 or c?
0
Let o be 4/(-6) + 14/6. Let j(a) = -2*a**3 + 6*a**2 - a - 5. Let t be j(2). Is t at least as big as o?
False
Let q = 6 - 3. Let i = 68/165 - 2/165. Which is bigger: i or q?
q
Suppose 33 = -6*v + 3*v. Is v less than -11?
False
Let b = 187/2 - 93. Is b at most 1?
True
Let c(i) = -16*i - 8. Let x be c(-2). Is x bigger than 1/4?
True
Let c = -15 + 18. Suppose -l = -c*l. Are -1/3 and l nonequal?
True
Suppose -4*r + 130 = 3*g, 2*g = -r + 2*r - 27. Is 30 at most r?
True
Let u be -1110*((-16)/(-13) - 1). Let o = 256 + u. Is 0 bigger than o?
True
Suppose 2*u 