 + 168. Is w != n?
False
Let g be 5/((-825)/5585) - -4. Let j = g - -89/3. Is 1 < j?
False
Let a = -19712887/363930 - -2/60655. Is -53 not equal to a?
True
Let n(y) = y + 4. Suppose 0 = -5*f + b - 47, -4*f - 26 - 20 = 2*b. Let j be 15/f*(0 - -2). Let p be n(j). Is p less than or equal to 6/5?
True
Let g = -1277/502 - -11/251. Which is smaller: -2 or g?
g
Let m(z) = -11 - 6 - 7*z + 15. Let p be m(-6). Are p and 42 unequal?
True
Let q = -16 + 30. Suppose -q*m + 6*m - 8 = 0. Which is smaller: -3/2 or m?
-3/2
Let y = -649 + 607. Is -2/5 greater than y?
True
Suppose -4*w - 24 = -c + 5*c, 12 = -4*w. Let y be (-3)/(-5 - -4) - -15. Let a(z) = -z**2 + 18*z + 3. Let r be a(y). Which is smaller: r or c?
c
Let t = 37.1 - 196.1. Let u = t - -166.9. Let b = u + -8. Which is greater: b or 1/6?
1/6
Let n be 1/(-5) - (-87)/145. Which is bigger: 1.3 or n?
1.3
Let q = 25 - 46. Let c = q - -18.14. Let w = 3 + c. Do -2/3 and w have the same value?
False
Let v = -3577839/560 - -6389. Is v smaller than 1?
True
Let f(j) = -j + 15. Let u be f(3). Suppose 3*y - 9 = u*y. Is y >= -3?
True
Let q = -22/5 + 41/15. Let o(m) = m**2 + m - 2. Let f be o(-3). Suppose -48 = f*y - 5*b - 21, 3*b - 9 = 0. Which is greater: y or q?
q
Suppose 12*g = h + 9*g - 2, -4*g + 8 = 0. Which is greater: 11 or h?
11
Let g = 69 + -70. Is g smaller than 0.0129?
True
Let o = 467.6 + -468. Which is smaller: o or -0.3?
o
Suppose -4*d - 12 = -4*k, 60*d - 2*k - 36 = 65*d. Is -14/3 <= d?
False
Let u = -7 - -2. Let g(q) = -2*q + 15. Let k be g(6). Suppose -k*r + 3 = 6. Is u > r?
False
Let q(b) be the first derivative of -b**4/4 + 5*b**3/3 - 2*b**2 - 2*b - 2. Let w be q(4). Let d(f) = f**2 - 16*f + 52. Let t be d(11). Is w equal to t?
False
Suppose -l + k + 26 = 3*l, 0 = 3*l + 4*k - 10. Suppose 0*j + 2*j + 2*v = 2, 4*v - l = -2*j. Let c be -1 - j - 27/9. Do 1 and c have the same value?
False
Let b be 5 - 405/75 - (-7974)/(-40). Which is bigger: b or -201?
b
Let h be 2*(-2 + -29 + -7). Is h greater than -83?
True
Let k be 3 - 3/(-3 - 0). Suppose 4*u = -4*g + 6*g - 92, 0 = k*g - 3*u - 159. Which is smaller: 35 or g?
35
Let a be (15/20)/(1/20). Let o be 50/a*(-6)/15. Which is bigger: -1 or o?
-1
Let b(i) = -81*i - 869. Let u be b(-10). Is -31 greater than u?
True
Let m = 0.061 + -0.061. Let v = 0.1 + -0.1. Is m not equal to v?
False
Let j = 10.2 - 10.5. Let p = 1/97 - 296/485. Which is bigger: p or j?
j
Suppose 3*t + p = -3*p + 920, 2*t - 616 = -4*p. Suppose 59*y - 55*y = -t. Is -75 >= y?
True
Suppose 144 = 3*r - 3*k + 2*k, -r + 4*k = -59. Is r greater than 43?
True
Let u be 6/4*4/6. Let d be (1/(-2))/((-40)/(-6) - 4). Which is greater: u or d?
u
Let f be (-290)/(-22) - (-8)/(-44). Let i = 1224 + -3631/3. Which is smaller: i or f?
f
Let o(y) = -3*y**2 - 34*y - 42. Let j be o(-14). Is 0.3 > j?
True
Let t = -3 - -7. Suppose 4*w + 44 = t. Let m = -59/6 - w. Is 1 > m?
True
Suppose 14 = 2*y + 10. Suppose y*q = -5*f - 0*f - 3, -4*f - 3 = q. Are 12/11 and q equal?
False
Let j = -31 + 31. Let i be (10 + -9)*(j - -17). Is i >= 18?
False
Suppose v - 11 = -v + 5*n, 0 = 5*v - 5*n - 35. Suppose 0 - v = 2*r. Which is greater: -2 or r?
-2
Suppose 3*l + v - 7 = -0, l + 21 = -5*v. Suppose 0 = -2*b - l*n + 12, 0 = -0*n - 3*n + 15. Which is greater: b or 3?
3
Suppose 0 = -j - 3*j - 8. Let l be 2*(j + 1 - -3). Let q(n) = -n + 26. Let f be q(28). Is l at most f?
False
Let z be (-80)/(-4 + 0) + -3. Which is smaller: z or 13?
13
Let o = 3 - 2.89. Let s = o - -2.89. Let x = s + 2. Which is smaller: x or -0.1?
-0.1
Suppose -5*o - 31 = -1021. Is o > 198?
False
Let c = -974 + 974.46. Let t = 2 - 1.9. Which is greater: t or c?
c
Let w = 112 + -48. Let l be w/32 + (-1)/(11/28). Does -1 = l?
False
Let o = -640833426 - -1426495180967/2226. Let l = o + 159/14. Is 0 greater than l?
True
Let k = -325 - -267. Let v = 113 - 172. Is v greater than k?
False
Let b = 2157061/36716 + 1/9179. Which is bigger: 59 or b?
59
Suppose -2*w - 36 = -3*x, 4*w = -2*x - 87 - 17. Let n be w/(-30)*3/2. Which is smaller: 2 or n?
n
Let x = -5966/5 + 1196. Let l = -1 - -5. Do x and l have the same value?
False
Let a be (150/12 + -12)/(-1). Are a and -264 nonequal?
True
Let n = -72.87 - -73. Let f = -30.13 - -30. Let g = n + f. Which is smaller: g or -13?
-13
Let v be 1/(9/(-6)) + 1. Is 25 equal to v?
False
Let k be 24 - (-3 - -4)*-5. Which is greater: 312/11 or k?
k
Let g(j) = j**3 - 5*j**2 + 3*j + 5. Let b be g(4). Let m = -6 - -3. Let n = m - -3. Which is smaller: b or n?
n
Let d be 2/1224*2*(-28 + 24). Which is smaller: 1 or d?
d
Suppose 2 = -2*v + 22. Suppose -v*c = -11*c + 19. Are c and 22 unequal?
True
Let g = 4.73 + -38.83. Let s = 34 + g. Which is greater: s or -0.4?
s
Let n(g) = -124*g + 7. Let j be n(2). Let i = j - -7231/30. Which is bigger: 1 or i?
1
Let i be (10 - 5) + (-86)/18. Is i greater than -0.59?
True
Let p(l) = l**3 - 5*l**2 + 6*l - 4. Let j be p(4). Let s be -3 + (1 - -1) - (-1 + -5). Suppose 15 = s*f, -x = -3*x + 3*f - 3. Is j <= x?
False
Let g be ((-162)/(-4))/9*2. Let h = g - 13. Let l be (h/(-10))/((-2)/130). Which is greater: l or -25?
-25
Let v = 470.074 + -470. Which is smaller: 1 or v?
v
Suppose -4*q + 5*h = -25, -15 = -5*q + 5*h - 2*h. Let u = -49 - -53.7. Let g = 5 - u. Are g and q equal?
False
Let y be 395/(-1175)*9 + 3. Is 0 less than or equal to y?
False
Let i(g) = -g**3 - 9*g**2 + g + 10. Let j be i(-9). Let k be (j*(-1)/4)/2. Suppose -5*n + 2*q - 10 = 0, 0*n - 15 = n - 3*q. Is k greater than or equal to n?
False
Suppose 0 = 4*n - 142 + 30. Let k = n - 27. Suppose -2*q = j - 0*q - 1, -q + k = 0. Which is bigger: 1/31 or j?
1/31
Suppose 4*h + 49 = 3*x, h + 74 = -3*h - 2*x. Let k be (-30)/(-25)*40/72. Which is smaller: h or k?
h
Let m be (-4)/(-16) - (-6)/(-24). Let b be 28/6 + 1/3. Suppose 2*l - 4*i + 32 - 8 = m, -b*l - 15 = -i. Which is bigger: l or -5?
l
Suppose 0 = j - 4*j + 18. Let n(f) = f**3 - 5*f**2 - 3*f + 6. Let i(u) = -u - 1. Let o(d) = 3*i(d) + n(d). Let x be o(j). Is 4 smaller than x?
False
Suppose q + 5*q + 108 = 0. Which is bigger: 0 or q?
0
Let v = 0.1 + 0.1. Let c = 133 + -125. Which is smaller: v or c?
v
Suppose -85 = 9*b + 122. Is b >= -25?
True
Let b = 44 - 658/15. Let s(y) = y**2 + 3*y - 5. Let n be s(-5). Suppose 0 = 4*m - n + 13, 2*v + 4*m + 6 = 0. Which is smaller: b or v?
b
Let q(i) = i**3 - i**2 - 2*i - 7. Let g be q(3). Suppose m - g = -3*t - 19, 15 = -3*t. Which is greater: 20/9 or m?
20/9
Let q(p) be the third derivative of p**4/24 + 13*p**3/6 - p**2. Let d be q(-9). Which is smaller: d or 19/4?
d
Let y = 3465 - 3315. Suppose 10 = 2*r - 4*n, -n - 11 = -4*r + 4*n. Which is bigger: y or r?
y
Let l = -7963/6 + 1414. Let i = 175/2 - l. Let p = 6 + -4. Which is greater: p or i?
p
Let j(o) = -27*o + 10. Let h be j(-5). Let s be -3 + ((-4)/18 - h/(-45)). Do -2/99 and s have different values?
True
Let v be 45/306*36/(-30). Suppose 0 = -5*b + 2*b - h + 16, -b = -2*h - 10. Let z be 2/(-8) + b/(-8). Which is bigger: z or v?
v
Let a be -4 - -2 - -3 - (-24 + 26). Let w = 3 - 2. Let g be (w/4)/(1/(-6)). Is a >= g?
True
Suppose -3*r + 5 = 2*r. Let i be (-1 - -1) + -10 + r. Suppose -z - 22*m + 10 = -17*m, -58 = 5*z - 2*m. Is z less than i?
True
Let v be -1 - -47*(0 - -1). Suppose -p - p = -v. Suppose 0 = -3*q - 5*a - 0*a - 22, 3*q - p = 4*a. Do -1/16 and q have the same value?
False
Let w(s) = s**3 - 5*s**2 - 6*s + 7. Let y be (-9*1)/(12/(-8)). Let g be w(y). Suppose 5*v + g + 3 = 0. Which is smaller: v or 4?
v
Let t be 25 + -28 + (15 - 1). Suppose 0 = 4*d - 13 - t. Is 8 >= d?
True
Let n be 2 + (1 - 0)/((-9)/60). Do n and -1 have different values?
True
Let v = -63 - -156. Let y = 93.2 - v. Which is smaller: 15 or y?
y
Let f(p) = 3*p**2 - 2*p + 3. Let b be f(2). Let x = b - 9. Let k be -3*(-1)/(1 + x). Which is smaller: 2/23 or k?
2/23
Let c(t) = t**3 - 8*t**2 + 2*t - 15. Let w be c(8). Let j be (0 - -1)*(-4 - w). Which is smaller: j or -2?
j
Let s(y) = 3*y**2 + 2*y - 3. Let w be s(1). Let v be (-2 - -2) + -1*w. Let g be v/(-15) - (-252)/135. Which is bigger: 3/5 or g?
g
Let g = 73 + -37. Let u = g + -35. Which is smaller: u or -7?
-7
Suppose -5*n + 16 = -j, 0 = -4*j - 2*n + 7 + 17. Let g be j/(-1) + (-20)/(-6). Which is bigger: 2.3 or g?
2.3
Suppose -8 = -2*u + f, u - 14 = -0*u + 3*f. Suppose -5*a + 6 = 4*t - 3*a,