359/45. Is i != -1?
True
Let g = -4.7 + 5. Let y = -0.053 - 2.947. Is g <= y?
False
Let k = -28.22 - -22.22. Let f = -84 - -254/3. Which is smaller: k or f?
k
Suppose 3*q = -4*n + 34, 0*q + 14 = n - 2*q. Suppose 0 = n*f - 9*f - 8. Are f and 8 nonequal?
False
Let g = 264.8 - 264.6. Let q = -1253/52 + 97/4. Is q at least as big as g?
False
Let h = 2489 + -2484. Is h less than 72?
True
Let c be 9*(84/(-123) - (-8)/12). Let i = 28/369 - c. Which is greater: i or 0?
i
Let x be 69005/165575 + (-4)/10. Which is bigger: x or -1?
x
Suppose i - 3*h = -2 - 2, 4*h = 0. Let x = -6 - i. Let y be x/3 + 10/15. Is y less than or equal to 5/6?
True
Let r = -69/52 - -14/13. Suppose 2 = 5*k - 13. Suppose -6 = -2*h, -4*l + k*l - h + 4 = 0. Do r and l have different values?
True
Let g(r) = -2*r**2 - 23*r + 31. Let i be g(-25). Which is smaller: -643 or i?
i
Let n(o) = o + 1. Let m(i) = 8. Let b(z) = m(z) - 6*n(z). Let f be b(1). Are -3 and f nonequal?
True
Suppose 59*j + 122 = 712. Do j and -1/23 have different values?
True
Suppose 0 = -11*m + 26 - 4. Is m greater than -39?
True
Suppose -9 = -9*y - 0. Suppose -2*l - 42 = l. Let s be 2/y - (-24)/l. Which is greater: -0.1 or s?
s
Let c = 2/2079 - -25639/2079. Let f = c - 15. Which is bigger: -0.1 or f?
-0.1
Let r = -117 + 117. Is r > -19/3?
True
Let l = 61.71 + -62. Let r = l - -0.09. Which is bigger: r or 1?
1
Suppose 3*p + 2 + 1 = 3*y, 5 = -3*p + 5*y. Suppose -3*w = f - 3, p*f - 4*f = -3*w + 18. Suppose -7*c + w*c + 5 = 0. Are c and 1 nonequal?
False
Suppose 0 = 4*r + u - 619, 27*u = 3*r + 28*u - 463. Which is smaller: 155 or r?
155
Suppose y = 6*y + 15. Let n(o) = o**3 - 2*o - 1. Let s be n(2). Let f = s + -8. Which is greater: f or y?
y
Suppose 8*b - 11*b - 162 = 0. Let c be ((-24)/9 + 2)*b/228. Which is smaller: -1 or c?
-1
Suppose 0*d + 1536 = d. Let y be 2/10 + d/(-80). Is -19 != y?
False
Suppose 4*m - 3*v = -v - 888, -v = -3*m - 664. Let p = 322 + m. Which is smaller: p or 101?
101
Let v(a) be the first derivative of a**4/4 + 13*a**3/3 + a**2/2 + 15*a + 5. Let x be v(-13). Suppose -5 = -x*m - 7. Is -3/2 <= m?
True
Suppose 0 = -3*w + 3*z - 24, 4 = 3*w + 4*z - 7. Let q be -2*(-3)/(-6)*-5. Suppose -5*r + 10 = -5*n - q, -5*n - 24 = 4*r. Which is bigger: n or w?
w
Suppose 2*t = 5*t. Which is bigger: 3/28 or t?
3/28
Let n = -2855.14 + 2815. Let u = -40 - n. Which is smaller: -1 or u?
-1
Let s(w) = -7*w**3 - w**2. Let o be s(2). Let g be 3/24 + o/224. Let x = 2 - 0. Is g >= x?
False
Suppose 2 + 4 = -2*i. Let s be (-10)/12*-2*i. Let r = -20077/4 - -5014. Is r < s?
True
Let k(v) = -6*v - 55. Let c be k(-10). Which is smaller: 0.4 or c?
0.4
Let h = -775444 + 260549897/336. Let x = -15/7 + h. Let v be -4 + 5 - (4 + (-3 - -1)). Which is greater: v or x?
x
Let o = 13 - 19. Suppose 226 = -3*f + 85. Let d = 41 + f. Does o = d?
True
Let n be (23 - 23) + (-74)/2. Which is greater: n or -39?
n
Let w = 16 - 25. Let h be (-23)/(-12)*(w + 6). Does h = -7?
False
Suppose -15*c - 214 + 1789 = 0. Is 108 at most as big as c?
False
Suppose a - 3*g = -23, -a = 3*g + 32 - 39. Which is greater: -12 or a?
a
Let k be ((-2)/2)/(5/(-155)). Suppose -4*u + k - 7 = 0. Suppose 5*f = 10 + 25. Which is smaller: u or f?
u
Let l = -3 - -6. Let w be (l/4)/((-36)/64). Let a(y) = -y**3 - 4*y**2 + 2*y + 8. Let u be a(-4). Is w bigger than u?
False
Let b = -2/1089 + 13796/1089. Let n = b + -13. Is 1/13 less than n?
False
Let g = 0.4 + 24.6. Let c = g + -15. Let a = 10 - c. Which is smaller: -1 or a?
-1
Suppose -16 = 17*x - 13*x. Let c be 24/(-16)*x/(-273). Do c and 1 have the same value?
False
Suppose 2*j - 8*j = 0. Suppose 5*k + b = 0, j*k = -k - 2*b. Which is bigger: 2 or k?
2
Suppose 0*m - 12 = -m. Suppose -4*f + m + 28 = 0. Let x be 36/(-198) - 246/(-22). Which is greater: x or f?
x
Let f(r) = -5*r - 9. Let j be f(-3). Let q(n) = -n**2 + 3*n + 19. Let l be q(j). Is l not equal to 2/9?
True
Let i = -21581299/462 + 93425/2. Let l be 1 - 61/21 - 0. Let o = l - i. Which is smaller: o or -3?
-3
Suppose -2*z + 2 + 0 = s, 0 = z + 5*s - 10. Suppose z*c + 5*c = 60. Suppose b = 5*o + 5, 4*b - 35 = -o + 6*o. Which is smaller: b or c?
b
Let r = 0.033 + 132.967. Let q = r - 123.1. Let v = 10 - q. Which is greater: v or 1?
1
Suppose g + 14 = -6*g. Is -3/2 smaller than g?
False
Let c be (-1)/(-4) - (-6516)/(-27216). Is 1 <= c?
False
Let v be 172/6 + 11/(-33)*2. Let q(c) = -c**3 + 5*c**2 + 4*c - 2. Let p be q(3). Is p at most as big as v?
True
Let j = -65 + 74. Let f = 47/12 - 19/6. Is f at most as big as j?
True
Let p be (1 + (-7)/3)/(-1 + -3). Are 28 and p non-equal?
True
Let i be (-2)/(-5) + 2/(10/3). Is i != -1/928?
True
Let u = 0.551 + -1563.551. Which is smaller: 2/3 or u?
u
Suppose 0 = 4*g + 4 - 16. Suppose -28 = 4*t + 2*k, g*t - 2 = 4*t - 2*k. Suppose 4 = 5*d + 39. Which is bigger: d or t?
t
Suppose 0 = 5*m + y - 20, 0 = -m + 2*y + 22 - 7. Suppose -4*t + 2*k - 7 = -27, -m*t = 3*k - 36. Do t and 36/5 have the same value?
False
Let b(x) = x - 3. Let p be b(4). Which is greater: p or -1/15?
p
Let u = 21.0725 - 0.0725. Is -12 at least as big as u?
False
Let b = 23 + -35. Let i(x) = x**3 + 11*x**2 - 14*x - 27. Let k be i(b). Are k and -16/7 nonequal?
True
Let n = 27 - 26. Let w be (143/66 + n/(-2))/1. Is -4 at most as big as w?
True
Let s = 5/114 + 755/114. Let d be 153/21 - 2/7. Is d > s?
True
Let r = 65 - 60. Let u(p) = p**3 - 6*p**2 + p + 17. Let g be u(r). Is g at most as big as -5?
False
Let w be (1491/(-195))/((-4)/(-16)). Let d = 398/13 + w. Which is smaller: d or 0?
0
Let s = -48 - -89. Let j = s + -40. Let m = -0.2 + 1.2. Are m and j nonequal?
False
Let o = -27 - -52. Let s = 74/3 - o. Let u = -39.99 - -40. Do s and u have the same value?
False
Let b(k) = 6*k**3 + 2*k**2 - 1. Let v be b(-1). Let i be (18/45)/(-1 + (-18)/(-20)). Which is smaller: i or v?
v
Let l = 13141/12 - 1094. Is 2 < l?
False
Let m(y) = -12*y**2 - y + 5. Let c be m(-4). Let p = 161 + c. Does -22 = p?
True
Let q = 0.5 - 0.1. Let m = -0.063 - 1.937. Which is greater: q or m?
q
Let k be -37 - ((-16)/4 + -1). Which is smaller: k or -6?
k
Suppose -3*p = 6, -3*m - p = 39 + 5. Let f be 38/12 - 21/m. Is 4 less than f?
True
Let g = -490 - -472. Let p = 29 + -48. Which is bigger: g or p?
g
Let n be 2 + 1/((-5)/8). Suppose -4*t = 2*z - 9*t - 326, 3*z + 5*t = 464. Let s = z + -160. Is s <= n?
True
Suppose b = 3*a, -45*a = -5*b - 40*a. Let x(d) = -3*d**2 + 2. Let j be x(2). Which is bigger: j or b?
b
Let h = -838 + 837. Which is smaller: 629 or h?
h
Let m be 8/36 + (-14)/63. Suppose m = t + 5*t + 90. Which is smaller: -16 or t?
-16
Let t(c) = -3*c**2 + 0 + 7*c + 2*c**2 + 1. Let v be t(5). Suppose 4*w + v = -5. Are -3 and w unequal?
True
Let m(u) = -u**3 + 7*u**2 + 2*u - 10. Let i be m(7). Suppose -5*l = 25, -i = q + 8*l - 3*l. Let b be (-14)/q - 4/(-6). Which is smaller: b or 2/3?
b
Let z be (-1)/6 - (-2669)/102. Which is bigger: z or -5?
z
Let m = -263 + 3417/13. Let k = 14.672 - 0.072. Let h = -14.7 + k. Is m bigger than h?
False
Let j be -10*((-3)/(-2))/3. Let i = j + 13. Let p(g) = 57*g - 1532. Let v be p(27). Are v and i nonequal?
True
Let u be (10 - (-5 + 9))*-10. Which is greater: -58 or u?
-58
Let d = 1.57 + -1.67. Which is bigger: -29/3 or d?
d
Let t(y) = 8*y**3 - y**2 - y - 1. Let w(k) = 7*k**3 - k**2 - k - 1. Let b(g) = -6*t(g) + 7*w(g). Let j be b(0). Let v = -3/10 - 1/30. Which is bigger: j or v?
v
Let v be (-12)/15 + -9 + (-1998)/(-60). Is v smaller than -2/5?
False
Suppose -1072*d = -1058*d + 10262. Is -733 at most as big as d?
True
Let r = 0.276 + -0.276. Let c(w) = w**2 - 4*w - 5. Let k be c(5). Suppose k = -2*d + 4 - 2. Which is bigger: r or d?
d
Let m be 39/84 - 4/(-14). Suppose a + 2*a = 3. Suppose 5*v = 0, 2*v = 3*r + a - 4. Which is smaller: m or r?
m
Suppose w = -2*g - 794, 5*g + w - 356 + 2335 = 0. Which is greater: g or -394?
-394
Let y = -5 + 6. Let s = -3.9 + 1.9. Is y greater than s?
True
Let a = -180 - -149. Is -28 at least as big as a?
True
Let b(a) = 9*a - 7. Let g be b(8). Is 70 greater than or equal to g?
True
Let t(f) = 2*f**3 + 2*f**2 - 2*f + 1. Let q be t(1). Let r = 117 - 113. Suppose r*b + 1 = -q*p, 3*b + 4*p - 3 = p. Is -7 at most as big as b?
True
Suppose 14*f - f = -689. Is -54 at most as big as f?
True
Let m be (-96)/(-72)*9/(-6). Let b = -2 + 5. Suppo