-290 + 299 = 9*k. Is -3/239 at least k?
False
Let i = 0.46 - 0.82. Let t = i + 0.58. Which is smaller: t or 2?
t
Let o = -0.1 - 0.1. Let i = 36 + -57. Let w = -14 - i. Is o at most as big as w?
True
Suppose -2*w + 2 = 12. Let f = -5 + 20. Suppose 15*p + f = 12*p. Is w <= p?
True
Suppose 0 = 2*i + i. Let t be (-4)/6 - (-22)/6. Is i at least as big as t?
False
Suppose -124*m = -105*m - 6992. Which is smaller: 369 or m?
m
Let j(s) = s**2 + 45*s + 129. Let d be j(-38). Is -141 <= d?
True
Let a = -1023562/13 + 1246691639/15834. Let o = 1/174 + a. Suppose -4*m + 1 = 5. Is o < m?
False
Let d = -33.6 - -33.7. Which is smaller: 1/682 or d?
1/682
Let k(v) = -9*v**2 + 71*v + 25. Let i be k(12). Are i and -421 non-equal?
True
Suppose 5*d + 5 = -0*d. Suppose -5*y - q + 47 = -4*q, q = y - 9. Let r be (-28)/20 + 4/y. Is d less than r?
False
Let z = -0.0747 - 0.0253. Which is smaller: z or 0.276?
z
Let q = 30 - 35. Let s = -40 - -36.1. Let h = s + 0.9. Which is smaller: q or h?
q
Let r = 443/894 + 2/447. Is 60/13 less than or equal to r?
False
Let b = -2439/55 - -219/5. Which is greater: 0.23 or b?
0.23
Let n be (-15)/(-10)*(-4)/(-9). Let v = 6.2 - 6. Let a = v - 0.23. Are n and a nonequal?
True
Suppose 5*v = s - 116, 4*s - 145 = 3*v + 302. Is s > 108?
True
Suppose 54*s - 53*s - 4 = 0. Suppose -2*y = -k + 1, -10 = -3*y - s. Suppose -a + 3 = -5. Which is smaller: k or a?
k
Suppose q - 4*i + 15 = 0, -2*q + 6*q + 2*i = -150. Let f = -10320 + 10283. Which is bigger: f or q?
q
Let f = 10.6 + -10.549. Let r = f - -21.949. Let p = -21.8 + r. Is p >= 3/8?
False
Let f(g) = 2*g**2 + 26*g + 66. Let i be f(-3). Which is smaller: i or 1?
1
Let g = 27/4268 + 6/97. Suppose 13*w + 165 = 178. Which is greater: g or w?
w
Let n = -7 - -21. Let h = n - 10. Suppose 145*o - 149*o + 5*a + 42 = 0, 9 = 5*o + a. Is h greater than o?
True
Let r(q) = q**3 + 7*q**2 + 6*q. Let h be r(-5). Let g(s) = -7*s + 34. Let b be g(h). Is b smaller than -105?
True
Let j = -11 + 10. Let v = -2 + j. Is -3 < v?
False
Suppose -12*k = -28*k + 1264. Which is smaller: 82 or k?
k
Suppose -4*k = 8 - 16. Is -2/9 <= k?
True
Let p = 11 + -36. Let h = 25.1 + p. Is 1/3 != h?
True
Let c = -84/215 - 9/43. Is c greater than -15?
True
Let v be 1 - (0 - 8/(-6)). Let z = -15 + 17. Let y = z - 1.6. Which is greater: v or y?
y
Let c = 1780 + -1944. Which is smaller: c or -813/5?
c
Let n(r) = -r**2 - 12*r - 34. Let f be n(-7). Is f less than or equal to -5/23?
False
Let l be 111/(-12) + 11 - 1/(-4). Is 60 greater than l?
True
Let v = 1/2233 + -8951/42427. Do 1 and v have the same value?
False
Suppose f + 18 = -8*f. Let x be -30 - (f + 6 - 1). Is x at most as big as -33?
True
Let l be 15/6*(2 - 4). Let f be -3 - 25/l - 8/(-18). Which is smaller: f or 1?
1
Suppose 19 = 3*w + 4. Suppose w*f + 0 = -20. Let s be -1 + 4 - 7 - f. Is 3/4 smaller than s?
False
Let v be 2*25/30*-3. Let k be -1*v/4*-4. Which is greater: k or -7?
k
Let q(h) = 2 + 4 - 92*h**2 + 9*h + 98*h**2. Let u(n) = n**2 + n + 1. Let i(b) = -q(b) + 5*u(b). Let m be i(-4). Is m < -6?
False
Let q(v) = -2*v + 20. Let b be q(9). Let x(c) = -c**2 - 3*c + 10. Let g be x(b). Is g smaller than -0.47?
False
Let z be 9/(-15) + (-7)/5. Let i = z - -4. Let o be i/(-4) - (-1)/4. Which is smaller: o or -3/4?
-3/4
Let k = -1615 + 1615. Are 1/1542 and k nonequal?
True
Let f = 1720/7497 + -6/833. Is -102 < f?
True
Suppose 12 = 5*f + f. Let i be (-3)/(f - -19)*-7. Let r be ((-94)/90 + i)*5. Which is smaller: -0.7 or r?
-0.7
Let p be (-1)/((-10)/(-60)) + 5. Is p not equal to 4/125?
True
Let h be (-2 + 0)*(5 - -1). Let y be h/(-42) + 32/(-63). Let g = 10 - 9.6. Is y smaller than g?
True
Let y(h) = 4*h - 5. Let t be y(2). Let q = 47 - 52. Which is greater: t or q?
t
Let f(s) = -7*s - 3 + 0*s + 3*s + 0*s. Let z be f(12). Is -51 not equal to z?
False
Let z = -420.91 - -400. Let q = z + -0.09. Is q at most as big as -2/3?
True
Suppose 2*w + 2*l + 29 = -w, 5*l = -5*w - 50. Let d = 32 + -34. Let n be (-4)/d*(-1 - 4). Which is smaller: n or w?
n
Suppose 7 = -3*x + 100. Which is smaller: x or 30?
30
Let i = -52 - -58. Let b = -2.3 - -2.4. Which is bigger: b or i?
i
Let i = -429/4 + 5637/52. Let d(f) = 7*f**3 - 5*f**2 - f + 1. Let c be d(1). Are i and c equal?
False
Let g = -26 + 22. Let y(j) = j - 1. Let k be ((-3)/(-5))/((-3)/(-15)). Let p be y(k). Is p < g?
False
Let i be ((-174)/(-4))/((-6)/(-8)). Let w be 828/14 - 8/(-392)*-7. Is w at most as big as i?
False
Suppose 2*i - 15 - 1 = -2*s, -2*i + 10 = 0. Suppose s*l - 8 = 5*f, 2*l = 6*l + 3*f + 28. Let o = 6353/2 - 3179. Which is smaller: l or o?
l
Let t be (-2)/6 - (-36656)/(-192). Which is greater: -192 or t?
t
Let w be (-128)/936*((-3)/6 + -1). Which is smaller: 1 or w?
w
Let k be 28/(-21) - (-4301)/33. Which is smaller: k or -3?
-3
Let d = 4 + 0. Let y = 64 - 67. Let b = 3.1 + y. Which is bigger: d or b?
d
Let t(u) = 297*u**3 - 4*u**2 + 6*u - 1. Let g be t(1). Is g != 298?
False
Let d = -443 + 443. Is d >= 5?
False
Let w be 1/2 - (-10)/(-44). Let l be ((-110)/(-45) - 2) + 8/(-18). Which is smaller: w or l?
l
Let k be (12/(-210))/((-1)/7). Which is greater: k or -11?
k
Let z = 45 - 43. Suppose -6 - 43 = -2*y + f, z*y + 4*f - 64 = 0. Which is bigger: y or 80/3?
80/3
Let u = 0.1 - 1.6. Let y = -0.05 + 1.85. Let n = y + u. Is n <= -0.2?
False
Let x(j) = 61*j + 49. Let v be x(0). Is v < 387/8?
False
Suppose 3 - 9 = -2*k. Let t be 52/(-14) - (-18)/(-63). Let u be (t + k)/((-2)/(-20)). Is u > -10?
False
Let k be (-2 + 3)*9*3. Suppose 5*t + n = -k, -8*t = -3*t + 4*n + 18. Which is smaller: 0 or t?
t
Let k = 196 - 224. Which is bigger: k or 2/5?
2/5
Suppose i - 2*m = 21, 5*i - 36 - 24 = m. Suppose i*o - 2 = 13*o. Which is greater: 14/3 or o?
14/3
Let a = -341 + 325. Is a at most as big as 3/16?
True
Suppose 0 = 3*t - 14 + 38. Let n(p) = p**3 + 9*p**2 + 6*p - 15. Let y be n(t). Which is greater: y or -2/11?
y
Let n be -2 - (-9)/((-36)/464). Let h = 117 + n. Which is smaller: h or 2/105?
h
Suppose s + 2*o = 293 + 48, 688 = 2*s + 2*o. Is s at least 348?
False
Suppose 2*j - j = 3. Suppose -4*w = 5*i + 16, 0 = -3*w - 4*i - j - 10. Let l be (-24)/(-66)*(-4 - -9). Which is greater: w or l?
l
Let c(q) = q**2 + 24*q + 37. Let f be c(-10). Are -104 and f nonequal?
True
Let n = -12.369 + 0.369. Does n = 13?
False
Suppose 3*l + 2 - 5 = 0. Let m be (0/1 - l)/1. Let y be (-6 - -3)*m/(-3). Which is smaller: y or -2/9?
y
Let t(q) = 25*q + 75. Let b be t(-3). Which is bigger: -0.033 or b?
b
Let u = -3.0685 - -0.0685. Is 100 greater than or equal to u?
True
Let y = 594 + -335. Is y less than 258?
False
Let z = 663 - 700. Is z less than or equal to 0.2?
True
Let x(i) = -i**3 + 8*i**2 - 14*i + 3. Let j be x(6). Are -6 and j nonequal?
True
Let m = -0.4 - -0.4. Let a = m - 1.5. Let o = a + 4.5. Which is smaller: o or -2?
-2
Let n be (-11)/(-44) + 17/(-4). Let r = 0.1 + -0.21. Let u = r + -0.09. Is u less than n?
False
Let m be (-60)/(-465)*(-6)/(-4). Is m at most as big as 1?
True
Let z = 351 + -344. Which is greater: z or -11?
z
Let t(l) = 2*l - 10. Let z be t(10). Suppose -6*y = -y + z. Let b be 0/(y*4/8). Which is bigger: b or 8/9?
8/9
Let p be (-35073)/(-51) + (-5 - -10). Let z = p - 692. Which is smaller: z or 0?
0
Let f = 66 + -52. Suppose 40 = -f*n + 4*n. Is -60/11 at least n?
False
Let a = 0.2 - -0.8. Let n = 1/913 + 5465/11869. Which is smaller: a or n?
n
Suppose 5*g + 4*f = g + 4, -g - 4*f = 2. Suppose -3*v + 10 = -g. Let n be (1 + 0)/((-8)/(-22)). Which is smaller: v or n?
n
Let x = 111 + -106. Suppose 2*z + 3*u = 5*z - 27, 55 = x*z + 5*u. Is z != 1/4?
True
Suppose 5*m = 2*k - 14, -3*k + 11 = -5*m - 5. Suppose 2*w - 28 = -5*n, 7*n = -w + k*n + 14. Does w = 13?
False
Let i = -67.64 + 66. Let f = -1.5 - i. Which is bigger: f or 2?
2
Suppose -m - 69 = 4*c, 0 = 3*c - 6*m + 5*m + 57. Is -103/6 at most c?
False
Suppose -2*r - 4 = -4*a, 14 = -3*a - 4*r - 5. Let i be a + 2 + (6 - 5). Which is greater: 5/8 or i?
i
Let p(y) = -26*y**3 - y**2 + y + 1. Let k be p(-1). Let w be 2/(-8)*(-5 + -87). Is k at most w?
False
Let v = -12 - -10.6. Let w = 8.6 - v. Do -0.1 and w have the same value?
False
Let v(y) be the third derivative of y**5/30 + y**4/3 + y**3/3 + 12*y**2. Let h be v(-3). Which is smaller: -9 or h?
-9
Suppose 0 = g - 3*b + 6, 11 = 5*g + 3*b - 13. Is 1 !