. Are 0.05 and p nonequal?
True
Let s = -463/780 - 1/156. Let x(m) = 5*m - 2. Let n be x(1). Suppose n*q = 2*q. Is s <= q?
True
Suppose 5*g + 3*x + 39 = x, -3*g - 19 = -x. Let p = g + 4. Suppose 5*q = -4*u - 31, -8 - 4 = 4*q. Which is greater: p or u?
p
Let t(c) = 5*c**2 - c. Let w be t(1). Suppose -3*b - 5*o + 3*o = -13, -18 = 2*b - w*o. Which is bigger: b or 6/7?
b
Let s be (-6)/21 - (-3)/42. Let q be -1*(1 + 2/(-1)). Which is smaller: s or q?
s
Let n(x) = x**2 - 8*x - 17. Let t be n(7). Let v be (t/(-45))/(1/3). Which is bigger: 3 or v?
3
Let i(d) = -2*d**3 - 2*d**2 + 2*d - 1. Let k be i(1). Let s be -1*(-4)/k*3. Let y = 14.2 - 14.3. Which is smaller: y or s?
s
Let s = -6 + 10. Is s at most 3/7?
False
Let a = -37997 + 152833/4. Let l = 210 - a. Which is smaller: -1 or l?
l
Let v = 0.01 - 2.01. Let s = 5 + v. Does s = 1?
False
Suppose -2 + 0 = -v. Suppose -s = v*s. Does s = 0?
True
Let u = 16 - 63/4. Let z = 17 - 17.22. Let p = 0.42 + z. Which is smaller: u or p?
p
Let z = -0.6 - -1. Let s = 0.2 - z. Let p = 0.1 - s. Is p bigger than 1?
False
Let q be (-423)/12 + 2/8. Let u = -103/3 - q. Is u not equal to 1/2?
True
Suppose -x - 2 = -1. Let b = -0.7 + 1.7. Is b less than x?
False
Let k(w) = w**3 + 4*w**2 - 3*w + 5. Let h = -7 + 2. Let n be k(h). Is -7/2 at least as big as n?
True
Suppose 5*u + 13 = 4*c, -2*u = -3*c + 4*c. Let a = u - -3. Suppose -5*r - k - 2*k = 10, 5*r - 4*k - 25 = 0. Is a greater than r?
True
Suppose -4*x = -1 - 7. Let l be 1/x + (-54)/(-12). Let c = -4 + l. Is 1 bigger than c?
False
Let h = -36 - -43. Which is greater: -3 or h?
h
Let g(a) = a**2 - a + 7. Let d(v) = v**3 - v**2. Let j be d(0). Let s be g(j). Let i(t) = 9*t**2 - t. Let f be i(1). Are f and s nonequal?
True
Let b(i) = 4*i - 5. Let k(t) = -11*t + 14. Let g(m) = 17*b(m) + 6*k(m). Let h be g(1). Which is smaller: h or -2/13?
-2/13
Let g = -14963 + 733220/49. Let d = g - 5/49. Let q(n) = n**3 - 3*n**2 + 5*n - 6. Let y be q(2). Which is smaller: y or d?
y
Let a(v) = -v**3 - 3*v**2 - 2*v - 1. Let y be a(-3). Suppose j = 2*q, -2*j - 2*j = -y*q + 6. Let p be q/(-10) - 2/(-40). Is -1 at most as big as p?
True
Let j = -1 + -4. Let a = j + 6. Is 0 > a?
False
Let n = -2.3 + 1.4. Let g = n - -1. Let y(f) = -f - 1. Let u be y(1). Is g at least as big as u?
True
Let q(o) = 3*o - 3. Let j be q(9). Which is greater: 27 or j?
27
Suppose -3*x + 0*x = 3*q - 3, 0 = 4*x + 2*q. Let y be 2/(-8) + 183/(-4). Let v be y/120 + 5/20. Is x greater than or equal to v?
False
Let q = -62 - -63. Suppose 2*l = 4*u - l - 20, 3*l = 2*u - 16. Which is smaller: q or u?
q
Let x(p) = p**3 + 2*p**2 + 2 - 3*p**2 + 2*p - 2*p**2. Let j be x(2). Suppose -21 = 2*g - g + 5*u, 2*g + j*u + 10 = 0. Which is smaller: -2/11 or g?
g
Suppose 2 = -5*x - 3. Let z be 0 + 12/10 + x. Let g be 6/(-4)*2/3. Is g less than z?
True
Let w be (-2)/3*(-42)/4. Let t be 2/9 + 104/18. Let c = t - w. Which is greater: c or 1/5?
1/5
Suppose -2*o + 9 = -5*g, -5*g + 0*o = -4*o + 13. Let q be 5 + 1*1*-2. Suppose -q*u = -u. Is u equal to g?
False
Suppose -3*s = -s. Let h = s - 0. Which is greater: h or 1?
1
Let p = -74 - -154. Which is smaller: 79 or p?
79
Let b = 1/4 + 1/4. Suppose -4*r = 3*h - 18, -3*h - 3*r + 21 = 2*r. Is b less than h?
True
Suppose -4*f + 5*q + 20 = 0, 0 = -5*f + 4*f + 3*q + 5. Let k(p) = p**3 - 6*p**2 + 4*p + 6. Let c be k(f). Which is greater: c or 0?
c
Let x = 5/168 - -6155/168. Is x at most 36?
False
Suppose 16 = z + 3*l, 5*z + 3*l - 25 = -l. Let c = z - 1/2. Are c and 1 non-equal?
True
Let j = -57 + 95. Are j and 38 non-equal?
False
Let l = -98 - -98. Let g = 30 + -20. Which is smaller: g or l?
l
Suppose -2*s + 5*o - 6 = -s, 3*s = -3*o. Let k(a) = 2*a - 17. Let h be k(8). Is h at least as big as s?
True
Suppose 0 = 3*h - 2*h + 1, -2*x + 5*h = -5. Which is bigger: x or -2/35?
x
Let g = -52 - -56. Is 6/5 greater than or equal to g?
False
Let v = -1 - -4. Suppose 2*r + 0*r - 4*y - 2 = 0, -5*y - 2 = -v*r. Which is smaller: 2/37 or r?
r
Let k(v) = 12*v - 3. Let c be k(2). Let o = c + 9. Suppose 5*r + 5*u = o, 3*r = 6*r + 5*u - 28. Is r less than or equal to 1/7?
False
Let h(d) = d**2 + 4 - d + 5*d + d. Let u be h(-4). Suppose 0 = -5*j + o + 1, 9*j + 3 = 4*j + 2*o. Is u at most as big as j?
True
Let l(u) = u + 1. Let t be l(1). Let y(v) = v - 3. Let g be y(5). Is g at least as big as t?
True
Suppose 1 = -4*o + 17. Suppose o*j + 5 = -j. Let y = -7 - -7. Is j greater than y?
False
Let v = -1 + 0.6. Let s = v + 0.3. Let q = s + 0.2. Is q >= 1/2?
False
Suppose -9 = 6*h - 9. Which is smaller: h or -12/35?
-12/35
Suppose -41 = y + 4*s, 4*y + 81 = y + 2*s. Do -29 and y have the same value?
True
Suppose -40 = -3*a + 5*l, 2*a + 3*a - 5 = -4*l. Let c be a + -3 - 4/2. Suppose c = -2*b - 5*n + 16, -5*n = 5*b - 18 - 7. Does -1 = b?
False
Let n = 12 + -10.6. Let y = 1.3 - n. Let g be (-1)/2 + (3 - 2). Which is smaller: y or g?
y
Let u = -5/13 + 197/546. Is u less than -1?
False
Let s = -2909809/936 + 40494/13. Let l = 51/8 - s. Is l greater than 0?
True
Let v = -1.1 + 0.9. Which is bigger: -12 or v?
v
Let q be (-2)/15*(-12)/(-24). Which is bigger: 0 or q?
0
Let r(b) = -b**2 + 10*b - 8. Let h be r(9). Is h <= 2/11?
False
Let j = -4279/9 - -476. Which is greater: 0 or j?
j
Let z(h) = -2*h**3 - h**2 + h + 1. Let q be z(-1). Let x = 26 + -26.1. Is x at most q?
True
Let s = -4 - -4. Let w be (16/6)/(10/765). Let v = w - 3878/19. Which is greater: v or s?
s
Let x = 19 + -18. Which is bigger: 3 or x?
3
Let h = 37 - 39. Which is greater: -13/5 or h?
h
Let h(c) = c**3 + 4*c**2 + 4*c + 2. Let b be h(-2). Which is smaller: 11 or b?
b
Suppose 5*y + 8 = 33. Let m(g) = -y*g + g + 5*g + 3. Let j be m(-7). Which is smaller: j or -5?
-5
Suppose 6*q = -3*q - 9. Is q bigger than -2/9?
False
Let l be (90/43 + 6/(-3))*-1. Which is smaller: l or 0.1?
l
Let v = 1 - -2. Let f be 4/21*(0 - v). Let o(t) = t**2 + 4*t + 3. Let r be o(-2). Is r less than f?
True
Suppose 5*g + 1 = -4. Let x be (-2 - -3)/1 - -21. Let r be x/(-12) + (-5)/30. Which is smaller: g or r?
r
Let a be (7 + -14)/(0 + -6). Is a smaller than 0?
False
Suppose 4*q - 3 = q. Let i be ((-25)/(-20))/(9/(-2)). Let k = i - 1/18. Which is smaller: k or q?
k
Let o be -10 + (4 - (-2 + 3)). Are o and -8 unequal?
True
Let d = 7 - 12. Is d smaller than -1?
True
Let a = -34 - -55. Let i = -22 + a. Which is smaller: i or 11?
i
Let k = 229/728 - 3/104. Suppose j + 5*l + 14 = 0, 4*l - 1 = 2*j + 5*l. Is j greater than k?
True
Let q(k) = 4*k**2 + 8*k + 14. Let y(w) = -5*w**2 - 7*w - 15. Let r(z) = -4*q(z) - 3*y(z). Let o = -4 - 6. Let u be r(o). Which is bigger: u or 3?
3
Let z = -6 - -2. Which is greater: -5 or z?
z
Let a = 2 - 2. Let w be (0 - (-3)/42)*4. Which is smaller: a or w?
a
Suppose 5*k - 1 = -6. Let a be (-3)/(-9) + (-4)/3. Is k smaller than a?
False
Let p = -1 - -5. Suppose -2*j - 4*y = p, -2*j = -8*y + 3*y - 5. Suppose 0*x - 4*x + 8 = j. Which is bigger: x or 1?
x
Let h be 6/(-9)*6 + -4. Which is smaller: h or -10?
-10
Let t = -49 - -45.7. Let w = 0.7 - t. Which is bigger: w or -2?
w
Suppose -4*k + 2*v = 5 + 19, 2*k + 36 = -5*v. Let p = -2 + 1. Is k at most p?
True
Let c(h) = h**2 - 3*h - 2. Let d(n) = -n**2 + 2*n + 2. Let i(r) = 6*c(r) + 7*d(r). Let y be i(-4). Let v be (-3)/(-6) + y/(-8). Are v and 2/3 unequal?
True
Let s(q) = -2*q - 7. Let j be s(-6). Suppose -3*u - u = 0, 3*i - 5*u = 9. Suppose i*l + j = -2*l. Which is greater: -5 or l?
l
Let l = -24 + 30. Is 3 not equal to l?
True
Let x = 1.9 - 1.99. Which is smaller: 2 or x?
x
Let v be 0/(6/(-4)*16/12). Is v <= -1/24?
False
Suppose 0 = w - d - 4*d + 1, -4*d = -2*w - 8. Let z be (w/9)/(1/(-30)). Let r be ((-5)/z)/(34/(-16)). Are r and 1 non-equal?
True
Let o be 0/2*(-4 + 3). Suppose o = -3*a, 0 = 3*x + 4*a - 2*a - 3. Which is smaller: x or 4?
x
Let k = 37/93 - 2/31. Suppose 0 = -2*b + b + 14. Let t = 15 - b. Is t smaller than k?
False
Let f be ((-6)/45)/(15/(-9)). Which is greater: f or 0?
f
Let n(d) = -d - 4. Suppose 2*y = 2*v - 0*y + 16, -5*v = -2*y + 28. Let k be n(v). Let g(s) = -s + 6. Let p be g(5). Are k and p equal?
False
Let h(n) = n**3 - 8*n**2 + n - 9. Suppose 0 = v + 4*v - 30. Let w(c) = -c**2 + 6*c + 8. Let m be w(v). Let u be h(m). Are 1/4 and u equal?
False
Suppose -16 = -6*y + 2*y. Let n be -1 + -1 - (-1 + -4). Suppos