3*c. Are -0.5 and c equal?
False
Let r = 0.14 + -15.14. Is r bigger than -3?
False
Let z = 13 - 1. Suppose 5*m - z = 8. Suppose q + m*q = -15. Is -3 less than q?
False
Let s = -3541/70 - -2405/14. Are s and 121 non-equal?
True
Let t = -21 + 9. Let l = -21 - t. Let y = 9 + l. Is 0 >= y?
True
Suppose -49 = -4*r - 5*n, 4*r - 55 = n + 12. Let k = r - 20. Let y be (8/14)/(k/(-16)). Which is smaller: 3 or y?
y
Let l = 11.7 + -11.33. Is l > -1/6?
True
Let d = 2223 + -2232.702. Let m = -0.098 + d. Let o = m + 10. Which is bigger: o or 0.1?
o
Suppose 6*j - 268 = 5*j. Let v be (-6)/(-39) - j/52. Is -9 at least as big as v?
False
Let l = 3.6 + -4. Let u = l + -1.6. Let q = u - -2.2. Is q not equal to 4?
True
Suppose -40 = -5*z + 35. Let p = 18 - z. Let l be p/5 + 11/(-35). Is l greater than 14?
False
Let v = 1142/5 - 232. Let x(j) = -7*j - 15. Let s be x(-12). Let k = s - 72. Is k greater than v?
True
Suppose 437 = -2*c - 3*r, -5*r = 6*c - 9*c - 627. Do c and -2/9 have the same value?
False
Let p = 6 + -7. Let r = -73128/13 + 5622. Let w = -40/13 - r. Which is bigger: p or w?
w
Let r = 0.0728 - 0.3228. Is r at most 6/11?
True
Let g be (-321)/(-12305)*(-10)/2. Suppose -3*b + 10 = -7*b - 2*c, -5*c - 17 = 2*b. Is g smaller than b?
False
Let v = 142 - 355. Which is greater: -212 or v?
-212
Let r be (12/(-24))/(532/(-16)). Does r = 1?
False
Suppose v + 4*v - 75 = 0. Let l be 421/28 + 1 - 470/1645. Which is smaller: v or l?
v
Let c be 4 + (-129)/34 - 0. Let i = c + 87/238. Which is greater: -1/8 or i?
i
Let n(x) = -9*x**3 + 7*x**2 + 5*x - 8. Let i be n(3). Are -173 and i unequal?
False
Suppose -3*c = -0*c, -2*c - 5 = -a. Let d be 5/25 + (-72)/(-15). Suppose a*h - 2*h = -9, d*q - 7 = 4*h. Is q <= -1?
True
Let y = -11.6 + 11. Let p = 0.8 + y. Which is bigger: 1 or p?
1
Let c be 2/4*(5 - 3). Let b(z) = -4 + 3 - 2*z - c - 2. Let x be b(4). Does -12 = x?
True
Let j be 6/(-14) + 72/21. Suppose -j = -0*w - w - l, 0 = 3*w + 2*l - 4. Which is greater: -4 or w?
w
Suppose 102 - 87 = 5*n. Suppose -11*p = n*p + 560. Are p and -40 equal?
True
Let l = 150 - 336. Let a = l - -2792/15. Let n(y) = -y**3 - 5*y**2 - 1. Let h be n(-5). Do h and a have different values?
True
Let o(i) = -35*i - 9. Let n be o(-4). Suppose -3*h + 4*h = 5*g + n, 0 = 5*g + 3*h + 147. Is g at most -27?
True
Let x = 248 - 1487/6. Let r = 2 - 2.2. Which is greater: r or x?
x
Let p = 1400.62 + -1420. Let m = p + 0.38. Let c = -20 - m. Which is smaller: -17 or c?
-17
Suppose -3*d + 1 = -2*f - 25, 0 = 2*d + 3*f - 13. Let c be 9/(-6)*d/12. Which is bigger: -3/8 or c?
-3/8
Let s = 46.7 - 7.3. Let d = s + -7.4. Which is smaller: -0.1 or d?
-0.1
Let z be (-2 - (-2 - 2)) + 3. Suppose 3*d + 0*d - 5 = z*p, 3*d - 2*p - 2 = 0. Is 3/61 equal to d?
False
Let r = -7.096 - -0.256. Let b = -6.9 - r. Is -1/4 equal to b?
False
Let o(y) = -37*y - 50. Let t be o(0). Which is greater: t or -1/10?
-1/10
Let q be (3/(-12))/(2/(-8)). Let m be 2/4*40/(-1680). Are m and q nonequal?
True
Let j = -823 - -11521/14. Suppose 2*i + 15 + 7 = 4*n, -27 = -4*n + 3*i. Suppose 0 = n*s - s. Is j at least as big as s?
False
Let h = 2.12 + -2. Let b = h - 0.32. Which is greater: b or -0.04?
-0.04
Let b(h) be the third derivative of -5*h**4/24 - h**3/2 + 23*h**2. Let v be b(-1). Which is smaller: v or 0.41?
0.41
Let j(f) = 2007*f**3 - f**2 + 7*f + 8. Let x be j(-1). Is x not equal to -2008?
True
Let p = -0.2 + -23.3. Let x = p - -25. Let f = x + -1.2. Which is greater: f or 5?
5
Let x = 915 + -505079/552. Does -1 = x?
False
Suppose 57*c - 56*c = 1. Which is smaller: c or -3/32?
-3/32
Let u(n) = 8*n - 23 - 2*n - 14 - 4*n. Let i be u(18). Suppose 0 = -k + 2*l - 7, -5*k + 2*l - 3 = -0. Is k != i?
True
Let c = -0.026 + -0.034. Let t = 0.26 + c. Is -1/17 != t?
True
Let s = 156538/313131 + -136/273. Which is smaller: s or 0?
0
Let b = -150053 + 16205581/108. Let h = b - 1/108. Are h and -1 unequal?
True
Let c = 15424 - 15423. Suppose 0 = -4*v + 3*i - 352, -2*v - 174 = 3*i - 4*i. Which is smaller: c or v?
v
Let c be (-3)/(27/(-84)) + (-4)/(-6). Suppose -2*h + 2*s + 18 = 0, h - 2*s = 1 + 7. Is c less than h?
False
Let z(f) = 4*f + 24. Let k be z(-6). Let y be (k/(-3))/(0 + 2). Is 7/10 equal to y?
False
Suppose -4*h + 20 = -0. Suppose 3*f + 4*s + 47 = 0, -5*s - 1 = -h*f + 6*f. Which is smaller: f or -20?
f
Let b be 2*(3 + (-15)/6). Let p = -27 + 30. Let k(l) = -l + 4. Let u be k(p). Is b equal to u?
True
Let u = -0.08 - -1.08. Which is smaller: u or 90?
u
Let z be 2/60*50/(-180). Let k = 36 - 36. Are z and k non-equal?
True
Suppose 0 = -o - 1, 0 = 5*z + 2*o + 17 - 0. Let r be ((-104)/(-36) + z)*4. Is 1 at least r?
True
Let f be 37/3 - 1/3. Let h = f - -2. Let j be (-18)/h + -7 + 8. Which is smaller: j or -4?
-4
Suppose 2*f = 6*f, 0 = b - 4*f - 1. Let t be ((-8)/(-12))/(b/(-9)). Is t at least as big as -6?
True
Let a be (-21*6/(-18) + -6)/1. Is -4/463 greater than a?
False
Suppose 1 = c + g, 3*g = -5*c + 8*g + 35. Let f be 8/(-6)*72/(-4). Suppose -c*n + 2*l = -0*n + 26, -n - f = -4*l. Is n bigger than -3?
False
Let u be (-146)/140 - (-2)/5. Let o = 17/70 + u. Which is smaller: o or 1/4?
o
Let j = 1512 + -7532/5. Let b(w) = -6*w**3 + w**2 + w + 1. Let i be b(-1). Is i bigger than j?
True
Let r be (-61)/(-366) - (-10)/12. Does 4/13 = r?
False
Let t be ((-14)/16)/(28/(-112)) - 5. Which is smaller: t or 115?
t
Let t be 2/((-12)/10)*21. Let a be -10*(t/30 - 4/12). Which is bigger: a or 16?
16
Let i(d) = 12*d + 64. Let a be i(-12). Is -81 at most as big as a?
True
Let j = -1268/7 - -182. Let v = -0.47 - -0.22. Let b = v - -0.15. Is j at least as big as b?
True
Let s = 7/10 - 181/30. Let u = 82/15 + s. Which is smaller: u or 1/3?
u
Let m be (13 - 2483/195)/((-4)/(-6)). Let h be (2/(-3))/((-2)/3). Are m and h equal?
False
Let j = 0.235 + -0.184. Is j at least as big as 2?
False
Suppose 4*b - 24 = -2*s, -3*b + 0*b = -3*s. Suppose 10 = -2*k, 0 = b*f - 5*k - 45 - 20. Is 7 bigger than f?
False
Let s be 3/(-4 + 1)*13. Let r be (-3)/(-2)*(-1036)/126. Is r >= s?
True
Let v = -4024/925 + 102/25. Is -1 at most as big as v?
True
Let s(n) = n**3 - 15*n**2 - 4*n + 37. Let o be s(15). Suppose 3*y - 5*y - 44 = 0. Which is greater: y or o?
y
Let o be 15/18*12/800. Let a = o + -487/560. Are a and -2 non-equal?
True
Suppose 5*h + 4*x = 6*h + 6, 3*h = 3*x + 18. Suppose -h = b - 3*b. Is b smaller than 10?
True
Let b(p) be the second derivative of 23*p**3/6 - p**2/2 + 24*p. Let u be b(-2). Is u != -49?
True
Let d = 3.49 - 9.99. Which is greater: 1/2 or d?
1/2
Suppose -2*l = 2*i - 8, 3*i = 2*l + l - 24. Suppose y - 2*j = -3*y + l, -2*y + 9 = j. Is 3 greater than y?
False
Let z = -294 + 311.7. Let v = z + -17.621. Is -1 greater than v?
False
Let o be 1*(1 - 0) + -91. Let v = o + 40. Let l = -30 - v. Which is smaller: 21 or l?
l
Suppose 0 = 4*p + p - 10. Let u = 2 + p. Let k be 66/14 + 2/7. Which is smaller: k or u?
u
Let w = 38 + -4. Suppose 3*b - w + 10 = 0. Suppose 7 + b = -3*f - 2*n, -12 = 4*n. Is f not equal to -2?
True
Let m = -696 - -682. Which is smaller: m or -15?
-15
Let v(q) = q**3 - 9*q**2 + q. Let d be v(9). Suppose 3*r - 12 = g, 0*r - 2*g = -r + d. Which is smaller: 3/2 or r?
3/2
Let s = 1 - -5. Let i(j) = -j + 17. Let w(z) = z + 23. Let r be w(-11). Let g be i(r). Is g less than or equal to s?
True
Let x be (-2)/(6/47)*-3. Let j = 33 - x. Let t be j/(-6) + (-8)/6. Is t != -1/9?
True
Suppose 3*x - 8*o + 3*o + 17 = 0, 4*o - 14 = 2*x. Let r be (6/(-16))/(2085/(-20)). Let u = 593/10286 - r. Which is smaller: x or u?
u
Let c be (-8 - -3)*(-24)/(-15). Let d = 5231/3 - 1753. Do c and d have the same value?
False
Let c = 299.6 + -300. Is 0.07 > c?
True
Let h be (-378)/(-84)*(-4 + -2). Is -47 > h?
False
Let h(g) = g**3 - 10*g**2 + 4*g - 29. Let z be h(10). Let l = 3.5 + -2.5. Which is bigger: z or l?
z
Suppose -5*k - 36 = 9. Let s(y) = -y - 9. Let g be s(k). Suppose g = 6*v + 12 + 24. Are -6 and v unequal?
False
Suppose 5*g + 13 = -4*p - 20, 3 = g. Let z = 11 + p. Is z at most as big as 0.1?
True
Let r(y) = y**2 + 62*y + 287. Let t be r(-57). Is t >= -3/47?
True
Let o = 4.9 - 21.9. Let f = -0.04 - 0.06. Which is smaller: f or o?
o
Let d(l) = l**2 - 2. Let s be d(0). Let o be (-17)/(-2) - -9*(-40)/36. Is o at most s?
False
Let q be 3/(-18) + 826/(-12). Is q less than -76?
False
