= 91309/45 + -2029. Are h and -1 non-equal?
True
Let n = 0.191 + 0.709. Which is bigger: 3 or n?
3
Let u be 7/2*2 + 0. Suppose 0 = m + 1 + u. Let b = 0.09 - 0.19. Is b >= m?
True
Let g(u) be the second derivative of u**4/12 - u**3 - 3*u**2 + 4*u. Let t be g(5). Let i = 11 + t. Which is smaller: -2 or i?
-2
Suppose 0 = n + n. Let w be (-6)/(-22)*(7 + (-52)/8). Which is smaller: w or n?
n
Let r = -7.6 + -10.4. Are r and -1/3 equal?
False
Let r = 3 - 3. Let h = 477/326 + -260669/193970. Let u = 2/85 + h. Which is greater: r or u?
u
Let f(x) = -x - 9. Let o be f(-9). Suppose o = -i - 2*i. Do i and 18/17 have the same value?
False
Let m be ((-4)/6)/(22/(-7509)). Let i = m + -227. Which is bigger: -2/13 or i?
i
Let r(a) = 7*a + 4. Let p be r(1). Let v be (p/(-22))/((-1)/18). Is 0 at least v?
False
Let f(u) = -8 + 4*u**2 + 10*u**2 + 1 - 2*u - 7*u**2 - u**3. Let d be f(6). Let o = -33 + 51. Which is bigger: o or d?
o
Let i = 3557/2 - 871471/490. Which is smaller: i or -1?
-1
Let n(o) = -o**3 + 3*o**2 + 3*o + 3. Let v be n(4). Is -0.05 at least v?
True
Suppose 10*n + 10 = -0. Which is smaller: -2/163 or n?
n
Let a = -582 - -3491/6. Which is smaller: 1 or a?
a
Suppose -2*l - 81 = 3*x, -l + 2*x - 17 = 41. Is l not equal to -47?
True
Let f(w) = 16*w**2 + 7*w - 6. Let z be f(2). Is 72 >= z?
True
Let w be (-12)/(-10) - 30/25. Which is greater: 3/617 or w?
3/617
Let a = 1408782/329 + -4282. Which is bigger: a or 1?
1
Let p = -21 - -15. Let y(t) = 28*t + 15. Let f be y(5). Let s = -162 + f. Which is greater: s or p?
p
Let d be (-11)/(-55) + 2/(-25). Are -1 and d nonequal?
True
Let k = 887 - 871. Is 6 > k?
False
Let d = 43 - 43. Suppose 3*q - 102 = 3*z, 3*q - z - 75 - 17 = d. Is q less than 29?
False
Let i = 76 + -75.5. Let c = 25 + -76/3. Which is smaller: i or c?
c
Let l = 157 - 157.1. Which is greater: l or -0.09?
-0.09
Suppose a - d - d - 11 = 0, 3*a + 2*d = 1. Let y be 9/a + (-6)/1. Let w be (-1)/5 - 38/10. Which is greater: y or w?
y
Let r(f) = -f**3 - 5*f**2 - 2*f - 5. Let i be r(-5). Let u = 1824 + -1818. Do u and i have the same value?
False
Let k(l) = 9*l - 4. Suppose 12 + 10 = 5*s - 3*g, 0 = 4*s + 2*g. Let f be k(s). Let p = 19 - f. Is p greater than 7?
False
Let q = -2294 + 2248. Let h = 0.3 - 0.4. Which is bigger: q or h?
h
Let k = -138367903/730 - -189545. Let z = 2/73 - k. Which is smaller: 0 or z?
0
Let k = 10.1 + 72.9. Let f = 82.6 - k. Is f less than -0.4?
False
Let q(m) = -m**2 - 12*m + 49. Let l be q(-13). Does 34 = l?
False
Suppose 2*v + 4*l = 2, 5*v + 5*l - 24 + 29 = 0. Which is smaller: -76/37 or v?
v
Let v be (-8)/6*6/4. Let l be (1/v*0)/(-1). Suppose 2*g + g + 33 = -5*q, l = q - 5*g + 1. Which is greater: q or -7?
q
Let z be 3198897/1368 + 6/(-16). Does z = 2338?
True
Let x = -20801/8 - -2595. Which is smaller: x or -5?
x
Let q = 16 - 27. Let r = 2.4 - 14.4. Let u = r - q. Is u greater than or equal to -0.1?
False
Suppose -3*g - 4 = -u - 2, 2*g = 3*u - 13. Suppose 4*x - u = -5*y, y = x + 1 - 0. Let n be (-2)/(-8)*8/18. Is n smaller than y?
True
Let v be ((-69)/(-2))/1*(-12)/18. Is v smaller than -10?
True
Let r be 10/35 - (-12)/7. Suppose x - 4 = -n, -r*n = -5*n - x + 4. Let p be 10/(-8) - 1357/(-1012). Is n at least p?
False
Let c be 744/(-30) + (-2)/10. Let t = 336 - 360. Which is bigger: t or c?
t
Let k(g) = -g**3 - 4*g**2 + 19*g + 13. Let d be k(-13). Let l be 12/d*-3 - (-4)/(-26). Which is bigger: 3/5 or l?
3/5
Let d(r) = 0 - 2*r + 0*r**2 - 2 + r**3 + r**2 - r. Let i be d(-2). Suppose -3 = -h - 2*x, i = -3*h + x - 4*x + 3. Which is smaller: 1/51 or h?
h
Let p = 346 + -378. Which is smaller: p or -220/7?
p
Suppose 3*c - 2*c = 0. Let f(g) = -g**2 - 12*g - 30. Let r = -38 - -29. Let v be f(r). Which is smaller: c or v?
v
Let a = -1005.1 + 1071. Let r = -66 + a. Is 23 < r?
False
Let g = -103 + 102. Let i be -3 - g - (72/(-4) - 1). Which is smaller: -1/5 or i?
-1/5
Let x = 0.2106 + -21.2106. Which is greater: x or -0.2?
-0.2
Let o = -7.7 - -9.1. Let f = 2.4 - o. Is f at most as big as 6?
True
Let a be (6/18)/((-2)/12). Let b be (-6)/(-33) + 0/a. Is b greater than 1?
False
Let x = 0.337 - -6.513. Let p = -7 + x. Let q = p - -0.15. Which is smaller: 0.1 or q?
q
Let c = 0.2193 - 0.0593. Is c less than -1/4?
False
Let i = 11.7 - 16.7. Which is greater: -8/5 or i?
-8/5
Let t be (50/(-3))/((-350)/420). Is -2/15 greater than t?
False
Let z be 4 + (-8)/1 - -3. Let m be (z + 2)*(-11)/(-22). Is -1.2 less than or equal to m?
True
Let q be (-1)/3 + 8/(-30). Let x(g) = 2*g**2 - 14*g - 1. Let l = 14 - 7. Let y be x(l). Is q bigger than y?
True
Let a(k) = -k**3 + 5*k**2 - 5*k + 3. Let r be a(2). Suppose r*h = 4*m + 22, 0*h - h + 4*m + 14 = 0. Which is smaller: -2 or h?
-2
Let h(j) be the second derivative of j**4/3 - 16*j**3/3 - 13*j**2/2 + 17*j. Let v be h(10). Is v < 67?
False
Let d = -17/20 + 3/5. Which is smaller: d or 18?
d
Suppose 0 = 3*g + 15, -4*v - 2*g + 5*g = -11. Let x be 1/3 - 699/18. Let b = -3769/98 - x. Are v and b equal?
False
Let y(d) = d**2 + 14*d + 26. Let h be y(-6). Let m = -34 - h. Which is bigger: m or 0.1?
0.1
Suppose -w + 0*w = -r + 5, -4*r = -w - 32. Let q be ((-1)/4)/(r/(-36)). Let n be 0/(0 - q - 2). Which is smaller: -4 or n?
-4
Let a be (-9)/(-3) + 2 - 168. Do a and -163 have different values?
False
Let v be ((-8)/13)/(-2) + 0/(-143). Let l be (2/1 - 1)*1. Which is greater: v or l?
l
Let j = 1.33 - 1.389. Let t = j - 0.041. Is 0.2 less than t?
False
Let j be (-4 + 1 + 2)*0. Is -1/334 at least as big as j?
False
Let k(p) = 2*p - 27. Let n be k(11). Let u(r) = r**3 + 6*r**2 + 6*r + 5. Let y be u(n). Is 1 greater than or equal to y?
True
Let b = -14 - -22. Let c = 1.7 - -14.3. Let f = 17 - c. Is b less than or equal to f?
False
Let l = -567 - -530. Is l > 1?
False
Let r be (-36)/42*16247/(-33). Is 421 < r?
True
Let v(t) = -3*t**3 + 9*t**2 + 4*t - 6. Let o be v(3). Is o smaller than 7/10?
False
Let s = -2470719/732830 + 1/20938. Which is smaller: -4 or s?
-4
Let w be 0 - 3/(-3) - -1. Suppose -w*z = 2*z - 8. Suppose -21 = -14*t + 21*t. Are t and z equal?
False
Suppose -a - 2*l - 255 = 4*a, 0 = l + 5. Which is bigger: a or -51?
a
Suppose 3*a + 7*b = 3*b, 2*b = -5*a. Let g be 29 + -27 - 2/6*4. Let r = g + a. Do r and -6 have the same value?
False
Let t = 1474 - 1463.41. Let o = t + 0.41. Do -2 and o have the same value?
False
Let p(d) = d**3 - 5*d**2 + 2. Let l(s) = s**2 - 7*s - 14. Let q be l(9). Let z be p(q). Let b be ((-3)/1)/(1/5). Which is smaller: b or z?
b
Let n = 87.7014 + 0.3886. Let z = n + -88. Which is smaller: 0.02 or z?
0.02
Let x = 172 + -64. Which is smaller: x or 0?
0
Let f = 444 + -243. Suppose 2*p + f = 203. Is p at most 14/15?
False
Let y = -0.0641 - 348.9359. Which is smaller: 0 or y?
y
Let k(z) = z**3 - 6*z**2 + 3*z + 1. Let r be k(7). Let h = r - 84. Which is smaller: 3 or h?
h
Let y(n) = -9*n - 1. Let k be y(-2). Suppose 3*t = 43 + k. Is 21 at most t?
False
Let s be ((550/33)/25)/(2/(-3)). Which is greater: s or -25/16?
s
Let w(c) = -c**2 - 27*c - 26. Let z be w(-1). Which is bigger: z or 107?
107
Let f = 1 + -2. Let i = 586/141 - 70/47. Which is smaller: f or i?
f
Let t = -4/2069 + -581165/115864. Let f = t - -36/7. Let a(o) = o**2 + 6*o + 1. Let g be a(-6). Which is greater: f or g?
g
Let x be ((-3)/(-9))/((-3)/(-36)). Suppose 8 = -d - 3*d - x*y, 0 = -y. Is d greater than -2?
False
Let s(c) = c**3 + 5*c**2 - 5*c + 6. Let i = -98 + 92. Let r be s(i). Let u = 64/3 + -22. Which is smaller: u or r?
u
Let z be ((-95)/24 - -1) + 18/6. Let y = 19 + -18. Are y and z nonequal?
True
Let z = 22718/3 + -102480892/13533. Which is smaller: z or -1?
-1
Let b = -3.219 + 4.719. Let n = 0 + -0.1. Is b >= n?
True
Let z be 1*-1*15/(-140). Let s(u) = u**3 + 9*u**2 + 10*u + 15. Let o be s(-8). Which is bigger: o or z?
z
Let r = 409663/18432 - 7/2048. Which is greater: r or 21?
r
Let u(a) = 143*a + 79. Let g be u(2). Which is greater: 364 or g?
g
Let o = 50 - 71. Let t = 641 - 660. Is t at most as big as o?
False
Let c(w) be the first derivative of w**3/3 - 5*w**2/2 + 5*w - 3. Let x be c(2). Which is bigger: x or -2/15?
-2/15
Let h be ((-6)/(-10))/((-12)/120). Let b = 0 - 2. Are b and h nonequal?
True
Suppose 4*m = -f + 3, f - 2*m = -4*m - 1. Let u be (-87)/12 - 4 - -5. Which is greater: f or u?
f
Let a(r) = r**3 + r**