
d
Let w = 14 + -12. Let n = 6 - w. Let f = n - 3.9. Which is smaller: f or 2/7?
f
Suppose 112*q = 120*q - 8. Is q > -2/1923?
True
Let t = 0.544 + -1.544. Do t and 21/11 have the same value?
False
Suppose -4*n - 3*b = -13, 4*n + 0*n - b = 1. Let j be (n/2)/(2/(-28)). Is j greater than -7?
False
Let b be ((-4)/(-6))/((-2)/(-3)). Suppose 4*k = -5*y - 16, k + 3*y - 4 + 15 = 0. Suppose -w + 3 = k. Are w and b unequal?
True
Suppose -2*v + 98 = 2*o - 0*o, -3*v = -4*o + 168. Suppose -3*t = 5*m - 217, 2*m - 181 = -2*m + 5*t. Which is bigger: m or o?
o
Let z = -57/8 - -253/40. Which is smaller: 11 or z?
z
Let c(l) be the second derivative of 13*l**3/2 + 5*l**2/2 + 38*l. Let z be c(1). Is z > 44?
False
Let r be 7/1 + 1 - (8 - 10). Suppose 0 = i - 3*y - 16, -2*y + y = -5*i + r. Are i and -2/5 equal?
False
Let b(i) = 2*i - 8. Let f be b(4). Is -443 < f?
True
Let z(o) = 3*o - 10. Let r be z(5). Suppose -r*h + m = -203, -2*h - 2*m - 166 = -6*h. Which is bigger: 41 or h?
41
Let l = 379/420 + -515233/140. Let t = 3729 + l. Let r = t - 49. Are -5 and r unequal?
True
Let o be (-3)/21 + (-3)/((-273)/(-197)). Which is greater: -1/5 or o?
-1/5
Let v = 881 + -1087. Are v and -2 unequal?
True
Let a = 1783/5 + -359. Let t(p) = 2*p**2 - 2*p - 2. Let s be t(-1). Suppose 4*c + 4 = -s*r, 5*c + 0*r - r = -19. Is c at most a?
True
Let w = 4 + -5. Let o be (-104)/(-110) - 4/10. Let c = 35/44 - o. Which is smaller: c or w?
w
Let r(m) = -3*m**3 + 6*m**2 - 8*m + 32. Let g be r(4). Let t = -95 - g. Which is smaller: t or -10/37?
-10/37
Let b(j) be the first derivative of -j**4/4 - j**3/3 + 3*j - 6. Let v be b(0). Which is greater: 0 or v?
v
Let j(q) = -q**2 - 110*q - 657. Let y be j(-6). Is -25 greater than y?
True
Let y be -63*((-2)/6 + 0). Let a be ((-14)/y)/((-2)/(-51)). Which is greater: a or -16?
-16
Let j = -21 + 20.78. Let b = 325.22 - 320. Let p = j + b. Is p <= 3?
False
Suppose 340 = 30*m - 40*m. Which is smaller: m or -137/4?
-137/4
Let y(i) be the third derivative of -i**6/120 + i**5/12 - i**4/6 - 7*i**3/6 + 15*i**2. Let a be y(5). Is 0.1 > a?
True
Let u(n) = 40*n - 106. Let k be u(3). Let p(a) = -a**3 + 5*a**2 + 3*a - 1. Let x be p(5). Is k bigger than x?
False
Let p = -323.31 + 325. Let v = p + -1.8. Let c = v + -4.89. Which is smaller: c or -2/5?
c
Let k be -8 + ((-29144)/(-4160) - -1). Is 1 less than or equal to k?
False
Let j be -7*(54/(-21) - 0). Let s = j - 24. Is s bigger than -5?
False
Let z = 705.53 + -709. Which is greater: z or -1/2?
-1/2
Let b(w) = -w**3 - 42*w**2 + 43*w - 1. Let y be b(-43). Let v = -10 + 6. Let h = -6 - v. Is y at most h?
False
Let u(z) = -z. Let d be u(3). Let i be 15*((-4)/d)/(-4). Let p be 7/i - 1/(-1). Which is smaller: -0.2 or p?
p
Let s = 4.9 + -3.9. Let d = -84 + 83.44. Which is greater: s or d?
s
Let h be -2 + (16/(-3))/((-1)/(-3)). Is h bigger than -19?
True
Let w(f) = -f**2 - 8*f - 7. Let c be w(-7). Let y be 2 + (-15)/6 - c. Let j be 2/(-6)*(4 + 2). Is y not equal to j?
True
Let j be 49 + -6*(-4)/(-8). Let l be 3 + j/(-7) - -4. Is -1 at least as big as l?
False
Let m = -4.4643 - 0.1957. Is 1/4 greater than m?
True
Suppose -14 = -i - 5*h, -2 + 4 = i - h. Suppose 6*g - 3*g + i*r + 58 = 0, 20 = -5*r. Is g smaller than -14?
False
Let b be ((-42)/(-35))/((-2)/(-5)). Let q(s) be the third derivative of -s**4/6 + s**3/6 + 2*s**2. Let p be q(b). Which is smaller: p or -10?
p
Suppose -7 = -w - 3*y, 5*y - 6*y = 0. Is w > -5/21?
True
Suppose 26 + 99 = 5*w. Suppose 26*d - 21*d + w = 0. Which is smaller: -7 or d?
-7
Suppose 20 = 3*j + 2*q - q, -2*j = 5*q - 9. Let l(r) = -2*r - 2*r - 1 - j*r + 12*r. Let h be l(2). Is h equal to 0?
False
Suppose 92 + 16 = u. Let h = -99 + u. Is h at least as big as 11?
False
Suppose 5*t = -2*a + 33 + 551, 4*t - 4*a - 456 = 0. Let l = t - 123. Which is bigger: l or -32/5?
-32/5
Suppose -4*y + 0*a - 8 = 2*a, 2*y + 4 = -4*a. Let s = y - -3. Is s at most 7/5?
True
Let i be 26/(-8)*43 + (-4)/16. Which is smaller: 0.1 or i?
i
Let s = 53 + -80.1. Let g = 27 + s. Which is smaller: g or -3?
-3
Let j = 0.15 + -0.16. Which is smaller: -1/4 or j?
-1/4
Let f = 316 + -313. Is 10 bigger than f?
True
Let c = 148 - 100. Suppose 49*f - c*f + 1 = 0. Is 3/20 equal to f?
False
Suppose 3*w + 4*z = 21, 3*w + 2*z = z + 12. Suppose -w*i - i + 16 = 0, -261 = -3*o + 3*i. Is 90 < o?
True
Let i = -8703/31 + 279. Which is smaller: i or -3?
-3
Suppose 2*y - 3 = -y. Let a be 4/(-1 + 3) + (-6)/2. Let w be ((-28)/(-44) + a)*-1. Is w greater than y?
False
Let h(t) = t - 13. Let i be h(19). Suppose -i = -3*g - 4*z + 39, 2*z - 6 = 0. Is 12 at most g?
False
Let y be (36/8640)/(2/(-4)). Is y > -0.2?
True
Suppose -57*c - 57*c - 19608 = 0. Is c less than -170?
True
Let t = 8 + -5. Suppose -4*b = -t*b. Is 2 != b?
True
Let b = 1/91 + 25/91. Let l = 421.003 - 421. Is l equal to b?
False
Let c(p) = p**3 + 28*p**2 - 2*p - 56. Let o be c(-28). Suppose 4*q - 7 = 2*v + v, q + 3*v = 13. Let x be q/10 + 21/(-15). Are x and o equal?
False
Suppose i - 4 = 2*k, 15 - 3 = -5*k + 3*i. Is k smaller than 13/49?
True
Suppose -3*i - 2*y + 6 = -21, 3*y = i + 2. Let g(f) = f + 5. Let j be g(0). Which is smaller: j or i?
j
Let u(r) = -6*r + 30. Let q be u(5). Suppose q = 8*j + 11 + 5. Which is bigger: -7/5 or j?
-7/5
Let s be (-8)/(-12)*6/10. Let y = -0.092 + -64.908. Let c = y + 54. Which is greater: c or s?
s
Let v(n) = n**2 - 2*n - 5. Let h be v(3). Let c(j) = j**3 - 6*j**2 + 3. Suppose -12 = w - 3*w. Let r be c(w). Is h less than r?
True
Let g = 23 + -17. Suppose 0 = -g*k + 10*k - 20. Suppose -l = 4*l + k*y, -4*y = -5*l - 9. Which is greater: 1/3 or l?
1/3
Let z be ((-4)/(-3 + 1))/2. Let o be (-24)/15*5/(-2). Suppose -64 = -o*c + 5*d, 3*d = 3*c - 4*c + 16. Are c and z non-equal?
True
Suppose -54 = -2*y - 0*y. Suppose 2*v = -y - 25. Which is smaller: v or -25?
v
Let j = 499 - 500. Do 97/6 and j have the same value?
False
Let d = 35 + -32. Suppose 0*v + 2*q - 10 = -v, d*v = -3*q + 21. Suppose m + 35 = -v*m. Which is greater: m or -19/3?
-19/3
Suppose 0 = 6*c - 159 + 153. Is c >= -4/159?
True
Let h = -616 + 1201/2. Which is bigger: h or -16?
h
Suppose 0 = 12*m - 29 + 5. Which is smaller: m or 0?
0
Let x(l) = l**3 + 3*l**2 - 3*l - 4. Let z be x(-3). Suppose 12 = -0*b + 3*b, h - 17 = -z*b. Let t be (3/h - -1)*-1. Is t <= 1?
True
Let h = 10 - -28. Let v = h + -38.02. Is -2 less than v?
True
Let c = 3 - 15. Let z be 5*6/4*c/(-18). Is 4 < z?
True
Suppose 70 = -a + 3*a. Suppose 19*m - 14*m = a. Suppose -3*h + 1 - m = 0. Is -4 at least as big as h?
False
Let h(l) = -l**3 + 2*l**2 + 3*l + 3. Let d be h(3). Suppose 0*q + 3 = -d*q. Let i be -4 + (-99)/(-27) + (-7)/24. Which is bigger: q or i?
i
Let w be 0 + 0/(-1) - 1. Let s = 3129.08 - 3193. Let g = s - -64. Which is greater: g or w?
g
Let f be (-478)/(-3696) + -6*(-8)/(-384). Is 1 less than f?
False
Let m = -216 + 120. Is -95 >= m?
True
Let y = -1 + 2. Let m be (-9)/66*2*(-3 + 4). Is m >= y?
False
Let k be 1*-2 - (-22)/11. Let h = 71008736/43 - 1651470. Let v = h - -104. Is v less than k?
True
Let k = -247.039 + 0.039. Which is greater: k or 0?
0
Let b be (4/(-24))/(10/6 - 1). Let m = 14.64 - 15. Let n = m - -0.25. Is n != b?
True
Let r(b) = b**2 + 17*b + 7. Let j = 5 - 21. Let o be r(j). Suppose -2*q - q - 24 = 0. Which is greater: q or o?
q
Let o = 45 - -59. Let f be o/12*(-9)/(-6). Let u = f - 16. Is u less than or equal to -7?
False
Let i be ((-44)/(-12) + -5)*(-9)/(-6). Let t be (-2)/(-5) - (-4)/(-110). Which is bigger: t or i?
t
Let f be (0/10)/(1 - 3). Suppose f*s = 2*s. Let u be s + -1 + 3 + -1. Which is smaller: -4/17 or u?
-4/17
Suppose -5 = 5*x, 12*p = 8*p + 5*x + 5. Is -2/17 <= p?
True
Let p(t) = t**2 + 6*t + 2. Let q be p(-6). Suppose -2*n = 5*n - 3*n. Let x be (-1)/(-4) - ((-7)/4 - n). Is q less than x?
False
Let x = 3.687 - 0.687. Is -15 at least as big as x?
False
Suppose -z - 248 = -3*z. Suppose -4*f = -2*n + z, -f = 3*f - 5*n + 118. Let l = f - -27. Are l and -1 nonequal?
True
Let b be (-4)/(-4)*-19 + -2. Let n be (b/(-30))/((-2)/(-48) + 0). Which is bigger: n or 16?
n
Let k(y) = 11. Let w(m) = -m. Let h(d) = -k(d) - w(d). Let j be h(11). Is 5/7 < j?
False
Suppose 3*c + 4*m + 4 - 14 = 0, 14 = -5*c + m. Let a = -1 - c. Let b be (3/20)/((-9)/(-8)). Which is bigger: a or b?
a
Suppose -2*b = -5*z - 606, 4*b