36/24)/((-3)/(-2)). Does n = d?
True
Let g(k) = -k**2 + k - 2. Suppose 0 = 3*v + 3, -v - 4 + 3 = i. Let z be g(i). Let c be ((-5)/(-8) + -1)*z. Which is smaller: c or 0?
0
Let t be (-56)/8*4/(-14). Suppose 4*u - 6*u = -t. Which is smaller: u or -1/10?
-1/10
Suppose 4*p + 4*h = 2 + 10, 0 = -p + 2*h - 9. Let b = 4 - 5. Is b equal to p?
True
Let t = 0.15 + -0.3. Let f = -4.85 + t. Which is smaller: -1/3 or f?
f
Let a(u) = 6*u**2 + 14*u - 14. Let k(t) = 7*t**2 + 14*t - 14. Let s(o) = 6*a(o) - 5*k(o). Let l be s(-15). Are 1/10 and l nonequal?
True
Let o = 63 + -59. Is o less than or equal to -3/7?
False
Let x(q) = -q + 2. Suppose -2*j - j = -3. Let d be x(j). Is d less than or equal to 1/8?
False
Suppose 7*d - 11*d = -16. Suppose -k = -6*k + d*s - 4, 0 = -3*k - s + 1. Which is smaller: k or 3/13?
k
Let j be -14 + 9 + 9/2. Which is greater: -1 or j?
j
Suppose 2*p - 19 = -c, 0 = -3*c + 2*p + 2*p + 17. Let g be (-2)/1 + 2*c. Let x be g/12*2/5. Which is smaller: x or -2/3?
-2/3
Let o = -7 - -5. Let v = -2 - o. Do 2/3 and v have different values?
True
Let h = 15 + -4. Suppose -2*m - 2 = 0, -5*m = -3*z + h + 24. Let j = z + -11. Is -2 greater than j?
False
Let h be (-1)/((-106)/36 + 3). Let o = 11 + h. Suppose -47 + 15 = 4*y. Is y greater than or equal to o?
False
Let j = -30 + 17. Which is greater: -25/2 or j?
-25/2
Let v = 2/1087 - 44573/3261. Let x = v + 14. Let d = 0.08 + -0.14. Is d equal to x?
False
Let m be ((-6)/20)/(18/375). Let y be (9 + -4)*(1 + -2). Which is smaller: m or y?
m
Let g(x) = x**3 - 10*x**2 + 8*x - 9. Let a be g(9). Let j be -1*(-4)/a*1. Is 0 at most as big as j?
False
Let d = 35 + -38. Which is smaller: 12 or d?
d
Suppose -4*k + 3 - 7 = 0. Is k < -3?
False
Let v(f) = -f**3 + 5*f**2 + f + 1. Let p be v(5). Let u be 0*(3/p + 0). Are -1 and u equal?
False
Suppose 0 = -5*l + 33 - 13. Suppose r = -4*w - 100, 0 = l*w - r - 2*r + 116. Is w greater than -25?
False
Let f be -3 + ((-18)/3)/(-3). Let k = 3217/9 - 357. Is k > f?
True
Let f(a) = -a + 4. Let j be f(5). Let b(h) = -h**2 - 3*h - 1. Let q be b(j). Does q = -1?
False
Let k = -8/43 + -116/301. Let s = 12 - 14. Let g be (-3 + 3)/(s/(-1)). Is g bigger than k?
True
Let f = 21 + -18. Suppose 3*g + 6 = 5*g - 4*x, -6 = -f*x. Is 7 less than or equal to g?
True
Suppose 3*a = -u + 52, -3*u - 2*u + 5*a + 340 = 0. Suppose 10*s + u = 6*s. Is -17 smaller than s?
True
Suppose 2 = 4*s - 6*s, 0 = 4*c + 3*s + 11. Which is greater: -13/4 or c?
c
Let f = 14 + -8. Let g be (942/20)/(f/5). Let d = g + -39. Is d < 1?
True
Let b be -3*3/6 - 134/12. Which is bigger: b or -13?
b
Let g = 8.9 - 9. Let f = g + 0.3. Which is smaller: f or 0.02?
0.02
Suppose -2*b = -b. Let s be (-24)/76*(-4)/12. Which is greater: s or b?
s
Suppose 90 = 2*p + 4*i, 5*p - 2*i - 285 = 3*i. Which is smaller: 54 or p?
p
Let x = -198 - -180. Which is smaller: 2 or x?
x
Let k = 0 + -2. Let r = -2 - k. Which is smaller: r or -1?
-1
Suppose 3*g + 2*g + 20 = 0. Let z(w) = -w**3 - 3*w**2 + 2*w - 2. Let p be z(g). Suppose -4 = -2*r + p*r. Which is bigger: -6/5 or r?
r
Let a = -13.9 - 1.8. Let i = -15 - a. Let x = -0.7 + i. Which is greater: x or -3?
x
Suppose 4*i + 4*c + 16 = 0, -c - 4 = -3*i - 16. Let b be (-1 - i/6)*-1. Which is greater: 1 or b?
1
Suppose -c + 4*y + 0 = -1, 5*c - 4*y = 5. Let j = 33 + -19. Let h be (4/(-14))/(30/j). Is c smaller than h?
False
Let q = -16 + 18. Suppose 3*v - q*v = -8. Is v not equal to -8?
False
Let z(n) = -n**3 + 7*n**2 + n - 2. Let a be z(7). Suppose -40 = -6*f - 4*f. Is a <= f?
False
Let p be 2/4 - (-9)/(-6). Let c = -6 + 6. Do p and c have different values?
True
Let p(s) = -s - 3. Let b be p(4). Which is greater: b or -5?
-5
Suppose 2*o - 5*o - 10 = 4*i, -5*i = 2*o + 9. Is i <= 2/15?
True
Let i(m) = m**3 + 16*m**2 - m - 17. Let b be i(-16). Does 8 = b?
False
Let g(c) = -c. Let y be g(-3). Suppose 7 = y*b - 8. Suppose 0 = 3*a - 3*z, 0*a + 6 = a + b*z. Is -1/9 less than a?
True
Let p = 1.8 - 1.8. Is p >= -7?
True
Let q be 44/(-14)*658/(-24). Suppose 364 = 3*v + 106. Let p = q - v. Which is bigger: p or -1?
p
Let g = 1.7 + -1.1. Which is smaller: g or 0.1?
0.1
Let f be (-4)/26 + 840/4446. Which is smaller: f or 1?
f
Suppose -2*i + 16 = -3*t, 4*i + 8 = -t - 2. Let n be (t/(-3) - 12)*-2. Suppose r - 20 = 2*r - 4*s, 5*r = -4*s + n. Is 1/3 at least as big as r?
True
Let w be (2 - (3 - 0)) + 2. Let u(h) = -h**3 + 5*h**2 - 4. Let q be u(5). Let y be (-4)/w*2/q. Is y less than 1/2?
False
Let y be (-3)/(-6)*30*-2. Let x be ((-4)/(-9))/(10/y). Which is smaller: 1/3 or x?
x
Let j = -204 - -1635/8. Is 0 equal to j?
False
Let v be 13/10 + 1/(-2). Which is smaller: 0 or v?
0
Suppose q = -4*j - 1, 2 = j + 3*q + 5. Is j at most as big as -1/6?
False
Suppose 4*s - 5*b = 28, -2*s + 2*b = -8 - 6. Which is smaller: s or 9?
s
Let z = 169/4 - 42. Which is smaller: -3 or z?
-3
Suppose 8*c - 3*c + 30 = 0. Let s(q) = -q**2 + 2*q - 1. Let a be s(3). Let y = c - a. Is y bigger than -1?
False
Suppose 0 = -5*b + 2*o - 8, -4*b - o - 4*o = 13. Let p be 14/63 + b/9. Which is greater: p or -1/4?
p
Let n be ((-2 - -5) + -4)/1. Is n < -28/13?
False
Let r be 1/(-3) + (-4)/60. Let a(h) = h**3 + 1. Let y be a(-1). Let l = y - -1. Is r less than l?
True
Let l = -2.9 - -3. Let m = -8.4 - -8. Let j = m + -0.6. Is l greater than j?
True
Suppose -5*n - 3*p + 8 = 0, n - 4*p + 1 = -2. Is n bigger than 3?
False
Let h = 0.15 - -5.85. Let c = 7 - h. Let q = -0.7 - -1. Which is smaller: q or c?
q
Let f = 0.03 - -0.97. Let s = 2 - f. Which is greater: s or -1?
s
Let h = -1 - -8. Let p(f) = f**2 + 8*f - 3. Let m be p(-9). Does m = h?
False
Let b(d) = d**2 + 5*d**2 - 7*d + d**2 - 6*d**2 + 1. Let q be b(7). Let a be 0*-3*(-4)/12. Which is bigger: a or q?
q
Suppose 5*r - 1 = -4*o, -22 = -3*o + 3*r - 1. Suppose o*m = 2 + 6. Is 2 at least as big as m?
True
Let f(w) = -2*w + 6. Let o be f(0). Is o greater than or equal to 4?
True
Let r(z) = -z**2 + 2*z + 4. Let j be r(3). Which is smaller: 6/25 or j?
6/25
Let i(b) = b + 3. Let p be i(-7). Let s be -1*(3 + -1)/2. Does s = p?
False
Let b be 1 + -4 - (-7 + 2). Which is smaller: b or -1?
-1
Let z be (1/(-2))/(-1)*0. Let h(v) = -v**2 + 5*v + 6. Let u be h(5). Let d = u + -5. Which is bigger: d or z?
d
Let p be ((-5)/20)/(3/(-28)). Let l be 340/187 + 4/22. Is p != l?
True
Let n = 0.03 + 0.07. Let f = 5 - 4.5. Let r = f + 1.5. Is r < n?
False
Let x be (3/(-6))/(1/(-4)). Suppose -2*b + h + 7 = 0, -b + 2*h + 4 = 2. Suppose -6 = -b*c + 2. Is c < x?
False
Let p be -2*(0 - -1) - -2. Let u = 0.1 - -4.9. Let g = u - 4. Which is smaller: g or p?
p
Let p(g) = 2*g - 12. Let z be p(6). Let n be 2/(-4)*z/10. Do n and 6/11 have different values?
True
Suppose -16*o + 8 - 8 = 0. Are 2/93 and o nonequal?
True
Suppose 9*h = 14*h. Suppose -5*v + v + 40 = h. Do v and 8 have the same value?
False
Suppose -5*a + 14 + 16 = 0. Is 2 greater than or equal to a?
False
Let q(j) = j**3 - 11*j**2 + 5. Let g be q(11). Suppose u - 5 = -4*o, -10 - 15 = -5*u + g*o. Suppose -u*w - 4 = -w. Which is smaller: -1/6 or w?
w
Suppose -p - 12 = 2*p, -3*p = -2*w + 12. Which is bigger: -2 or w?
w
Suppose 0*z = 5*z + 4*f + 32, 3*f = -3*z - 21. Suppose 5*r = 3*y + r - 14, -3*r - 19 = 2*y. Is z != y?
True
Let c be 1/(-3) - (-60)/18. Suppose 2 = -3*h - 19. Let s = -3 - h. Which is smaller: s or c?
c
Let u be (0/(-10))/((-1)/(1/2)). Let t(o) = o**3 - o**2 - 3*o + 3. Let k be t(2). Suppose q + k = -u. Is q less than 2/21?
True
Let s = -18 + 17.9. Is s greater than 5?
False
Let h be 14/(-7)*(-5)/130. Let s(b) = -b**3 + 3*b**2 - b + 2. Let g be s(3). Is h < g?
False
Let u(q) = q - 10. Let r(t) = 1. Let p(m) = -4*r(m) - u(m). Let g be p(6). Are 2 and g nonequal?
True
Let z be ((-28)/(-6))/((-219)/207). Let a = z - -38548/365. Let w = -100 + a. Which is greater: w or 1?
w
Let c = -4 + 15/4. Is 0 less than or equal to c?
False
Suppose 7*q + 20 = 2*q. Let p = -71 + 66. Is p greater than or equal to q?
False
Let d = -7/34 - -259/102. Which is bigger: -2 or d?
d
Suppose -2*u + 4*u = -12. Let y(v) = -v**3 - 6*v**2 + v + 5. Let b be y(u). Is b != 0?
True
Suppose 0 = -14*c + 15*c + 2. Which is greater: 1 or c?
1
Let c(d) = -d**2 - d + 4. Let p be c(-4). Which is bigger: p or -9?
p
Suppose -a - a = -20. Let n be ((-4)/(-6))/((-18)/(-243)). Is a smaller than n?
False
Let x(