
Let g be 170/(-75)*2 + 4. Is g greater than or equal to 0?
False
Let q = 2/53 - -47/159. Let u = 1 + -1. Is q at most u?
False
Let a = -3 + 3.2. Let v = -0.51 - -2.51. Is v less than or equal to a?
False
Let y be (-4)/(-18) + 10/(-45). Which is smaller: y or 1/35?
y
Suppose z = 6*z + 50. Let t be (-4)/z - (-6)/10. Let i be (-1 - t)/(10/(-2)). Is i at least 2/7?
True
Let p be 16/(-144)*(3 + 0). Is 0.03 <= p?
False
Suppose -28 = -8*u - 4. Let m(n) = n + 8. Let k be m(-6). Let p = 1 + k. Is p less than or equal to u?
True
Let k be (-8)/(-30)*(-14)/56. Which is greater: -1 or k?
k
Let d(n) = -n - 1. Let k(b) = -3*b - 1. Let m(g) = -2*d(g) + k(g). Let j(o) = -4*o + 2. Let z(h) = -j(h) + 5*m(h). Let v be z(5). Which is smaller: v or -2/9?
v
Let x be -1 + 7/((-98)/(-12)). Suppose -f + 0*f + 2 = 0. Suppose -3*r - 4 = 2*z + 6, 5*z = f*r + 13. Which is bigger: z or x?
z
Let d = 38 - 32. Which is greater: 1 or d?
d
Let w(c) = c**2 - c - 5. Let n be w(3). Is n at most as big as 2/39?
False
Let z be 18/(-12)*(-2)/1. Which is smaller: 4 or z?
z
Suppose 0*u - 7 = -3*h + u, 3*u + 13 = 5*h. Let n be (1 + -1)/(4 - 5). Is n at least as big as h?
False
Let l(w) = w**3 - 9*w**2 + 6*w + 10. Let v be l(8). Let p(k) = -k**3 - 7*k**2 - 6*k - 3. Let s be p(v). Is s at most -2?
True
Let a(o) = o + 8. Let p be a(-15). Let j(h) be the first derivative of -3*h**2 + 1. Let q be j(1). Which is greater: p or q?
q
Let f = -481/201 + 4/67. Is f equal to -2/7?
False
Let s = 0 + 1. Let a = 1 - s. Let o = 0.4 - 0.5. Do o and a have the same value?
False
Suppose 7*q = 4*q. Suppose q*k + 4*k = 2*w, 0 = 3*k - 3*w. Let c = 0.3 + -0.1. Which is greater: c or k?
c
Let c(g) = -g + 3. Let d(q) = 2*q + 7. Let m be d(-7). Let v(o) = o - 2. Let n(b) = m*v(b) - 6*c(b). Let i be n(-2). Are 0 and i non-equal?
True
Let l = -0.17 - -0.47. Let v = -0.4 + -0.6. Which is greater: l or v?
l
Let r(p) = -p**3 + 5*p**2 - 7*p. Let x be r(3). Let i be 6/(-4)*16/6. Is i at least x?
False
Let c be 1/((-3)/6 + 1). Suppose 3*m - 4*m = 0. Suppose 4*a + 0*a = m. Which is greater: c or a?
c
Let r = 20 - 32. Let b = r + 6. Are b and -0.1 equal?
False
Let f = -12 + 13. Let r = 9.9 - 9. Which is smaller: r or f?
r
Suppose -13 = o - 14. Which is bigger: o or -0.01?
o
Suppose 4*p - 14 = 2. Let s(j) = 6 + 0*j + 1 + 3*j - p*j. Let q be s(7). Which is smaller: 1/10 or q?
q
Let g(n) = 5*n + 4 + 3*n - 7*n. Let t be g(-6). Which is bigger: -3 or t?
t
Let b = -14.8 - -15. Which is smaller: b or -4?
-4
Suppose w - 13 = 4*v, 0*v + 18 = -3*v - 2*w. Let p(c) = c**2 - 9*c + 10. Suppose s - 4*s + 21 = 0. Let f be p(s). Is f not equal to v?
False
Let d = 1615/426 + 3/71. Let x = d + -9/2. Are 3 and x unequal?
True
Let k be ((-2)/12)/((-13)/78) + 2. Is 5 <= k?
False
Let h(o) = o**3 - 7*o**2 - 6*o - 4. Let d be h(8). Suppose -2*s - 3*s - z = 17, d = 4*z. Is -5 less than or equal to s?
True
Let j be 2/6 - 3776/60. Suppose 3*b - 267 = 4*g, -2*g = 3*g + 4*b + 295. Let a = g - j. Is a < -1?
False
Let q(d) = -d**3 - 7*d**2 - 4. Let j be q(-7). Let h be (-2)/(-1)*(-2)/j. Let w(f) = -f + 11. Let i be w(13). Which is bigger: i or h?
h
Let r be -10*2/(-8)*2. Suppose -13 = -r*l + 7. Suppose l*f + 12 = 4. Which is smaller: -3 or f?
-3
Let k(b) = b - 9. Let q be k(3). Which is bigger: q or -7?
q
Suppose 0 = c - 4*g - 5 - 1, 0 = 3*c + 4*g - 18. Is c less than or equal to 5?
False
Let z(b) = -2*b - 6. Let v be z(-6). Let m be ((-4)/8)/(8/v). Let r = 0.1 + -0.2. Which is smaller: r or m?
m
Let g = 0.32 - 18.32. Let q = g - -9. Which is smaller: -2/5 or q?
q
Let m be 20/(-14) + (1 - 0). Let b = -15 + 9. Let y be 0/(1/(2/b)). Is m <= y?
True
Let y = 40 - 19. Let b = y + -21. Is b equal to -4?
False
Let x(u) = u + 14. Let n be x(-14). Suppose 3*y + 3*i = 0, -2*i = 3*y - 4*i. Is y > n?
False
Let g(v) = -v**3 + 7*v**2 - 7*v + 9. Let i be g(6). Let a be 9/i + (1 - 5). Let q = -85/3 - -941/33. Which is bigger: a or q?
q
Let z = 1 + 0. Let l = 113 + -110. Which is greater: z or l?
l
Suppose 0 = -0*d - 3*d + 18. Let q = d - 2. Which is bigger: 2 or q?
q
Let g(h) = 6*h + 34. Let s be g(-15). Which is smaller: s or -57?
-57
Let t = 18.9 - 1.9. Let p = 0.2 + -0.1. Is p at least as big as t?
False
Suppose 11 = -4*c - 5. Let s be (c/(-2))/(-3 + 5). Suppose -s = k - 0*k. Are k and -1 equal?
True
Let d = 104/11 - 9. Which is smaller: 1 or d?
d
Let a = -458.93 + 462. Let j = a + -0.07. Are j and -1 equal?
False
Let c = -11 + 9. Which is greater: -3 or c?
c
Let i be (9 - 0) + 7 + -11. Are i and 0.2 equal?
False
Let n = 657 + -3297/5. Is n smaller than -1?
True
Let s(r) = -2*r**3 - r**2 + r + 2. Let v be s(-2). Which is greater: 14 or v?
14
Let c = 12.9 - -33.1. Which is smaller: -1 or c?
-1
Let p(c) = c. Let q(d) = -d**3 - 7*d**2 - 7*d - 3. Let o be q(-6). Let i = 2 - o. Let y be p(i). Which is smaller: y or 2/9?
y
Suppose y + 40 = 6*y. Let l = y + 8. Are l and 0 non-equal?
True
Suppose 0 = -5*x + 19 - 14. Which is greater: 0 or x?
x
Let j = -18 - -18.05. Which is smaller: -1 or j?
-1
Let s be 1/(-2) - (-1 + 2415/4774). Is 1 >= s?
True
Suppose 0*k - k = -2. Let d = k - 3. Are d and 3/4 non-equal?
True
Let b = 21/10 + -5/2. Let r be 18/48 + (-6)/16. Is r equal to b?
False
Let u = -11 + 10.3. Let i = u + -0.3. Let q = -109 - -109. Which is smaller: i or q?
i
Let a(q) = q**3 + 3*q - 3. Let l be a(1). Is l greater than 5?
False
Let u(g) = -g + 1. Let o be u(-5). Let k = o - 61/10. Let z = -13/70 + k. Which is smaller: z or 1?
z
Let u = -66 + 67. Is -4/29 > u?
False
Suppose -5*s + 3*s + 18 = 0. Let x be (1 - 2/3)*s. Is -2/3 at most as big as x?
True
Suppose -5*o + 34 = 3*k + 2, -64 = -5*k - 3*o. Let f be -3 - ((-190)/k)/5. Is f smaller than 1?
True
Suppose 2*i - 3*p + 6 - 27 = 0, -3*p + 39 = 2*i. Is i < 15?
False
Let y = 90 - 104. Which is smaller: -9 or y?
y
Let v(m) = -m**2 + m + 1. Let i(q) = 7*q**2 - 8*q - 5. Let f(a) = i(a) + 6*v(a). Let o = 4 - 2. Let t be f(o). Is t not equal to 2?
True
Let b be 4 + 1*(-102)/25. Which is bigger: -1 or b?
b
Let s(h) = -h**2 + 4. Let n be s(3). Let t be (2 + -1)/(n/(-2)). Which is smaller: -10 or t?
-10
Let t = -17 + 16. Which is greater: t or 4?
4
Let r be (78/9)/(8/(-12)). Let b be (r/7 + 2)*3. Which is smaller: b or -1?
-1
Let p be ((-72)/(-5))/(6/(-51880)). Let g = p + 1122365/9. Let n = g - 195. Is 1 at least n?
True
Let m be (-2)/5 + (-3)/5. Let y be 1 + -1 + (-1)/m. Is y not equal to 2?
True
Let r = 209/4 + -53. Let z(t) = -t**2 - 6*t - 1. Let j be z(-6). Which is bigger: j or r?
r
Let k = -91/5 + 93/5. Suppose -2*g + 5 = 7. Which is bigger: g or k?
k
Let h(x) = 13*x - 1. Let k be h(-2). Let a be (-3)/(-3) - k/(-120). Let f = a - 9/10. Is -1 at most f?
True
Let p = -27 - 32. Is p smaller than -58?
True
Let x be (-1914)/(-22) - (-1 - -1)/2. Is 86 at most as big as x?
True
Let p be ((-21)/(-7))/(6/14). Suppose 4*u - u + p = -5*c, -5*c + 5 = 5*u. Is u greater than or equal to 0?
True
Suppose -5*d - 131 = 24. Is d bigger than -31?
False
Let k = -0.133 - -0.033. Which is bigger: k or -14?
k
Let k be (-2)/7 + (0 - (-51)/(-42)). Which is smaller: -1/4 or k?
k
Let n = -34.9 - -35. Which is greater: n or -5?
n
Suppose 3*k - 4 - 23 = -5*t, -4*t = 4*k - 28. Suppose -2*o + 11 = -g, o + o + t*g + 9 = 0. Suppose o = -l + 2. Does -2/21 = l?
False
Suppose 0 = -84*w + 86*w + 10. Is -25/6 at least w?
True
Let h(y) = 2*y + 66. Let f be h(-17). Is f >= 31?
True
Let x = -46.9 - -50. Let c = x - 3. Are c and -3 equal?
False
Let a = 351/179 - -209/14499. Let t = -14084/405 + a. Let j = -33 - t. Is j <= 0?
True
Let y = -2.2 + 2. Let g = -0.102 + -0.098. Does g = y?
True
Let t(o) = o**3 - 3*o - 4. Let y be t(3). Is 13 less than y?
True
Let o be (-3*1)/((-18)/(-60)). Let l be (-2)/(-8)*o/(-5). Is l at least 0?
True
Suppose 6*o = 2*o - 580. Let g = 2467/17 + o. Is -1 at least as big as g?
False
Let n(f) = f + 2. Let a = 29 - 13. Suppose -6 + a = -5*x. Let m be n(x). Are m and 4/5 equal?
False
Let k = 3/7 - 29/35. Let v be 1 + -2 + 2 + 0. Is k >= v?
False
Let x = -3 - -2. Let n be (-2)/(-18)*25 - 3. Which is smaller: n or x?
x
Let s be 4/5*14/8. Let y = s + -33/20. Let r be -2 + (-1)/(-2)*2. Is y at least r?
True
Let z be 12/(-4) + 28 + -1. Suppose 6*k = 3*k - z. Is -8 bigger than k?
False
Let k = -2.28 - -0.38. Let g = 2 + k. Let p = 0.2 + -0.2.