v be ((-6)/(-4))/((-20)/o). Is v not equal to -15?
False
Suppose -2*r + 13 = -5. Suppose -r*w = -5*w - 16. Let u be 14/4 - 3/(-6). Is w smaller than u?
False
Let s be (14 + -16 - -22)/(-2 + 1). Suppose 3*r = 3*u - 72, -5*u = -5 - 15. Is r <= s?
True
Let r = 255 + -255. Is 2/237 > r?
True
Let i be (-5 - (-273)/14) + (-1)/2. Is i less than -2/7?
False
Let u = 108 + -97. Suppose -14 = -u*p + 4*p. Which is bigger: -0.11 or p?
p
Suppose -820 = 43*x - 33*x. Are x and -82 equal?
True
Let x = -3 - -5. Suppose -2*a + x*y = 0, 0*a = -a - 2*y. Suppose 0 = -a*v + 4*v. Is v at least as big as 6/7?
False
Let j = -163957/5558 - 2/2779. Let t = 29 + j. Let w be (9/12)/((-54)/16). Which is greater: t or w?
w
Suppose 2*r = 5*r - 27. Let z(g) = g**3 + 7*g**2 - 14*g - 42. Let q be z(-8). Is q smaller than r?
True
Let k = 267/2 - 140. Let n = -45 - -29. Let o = -22 - n. Is o > k?
True
Let h = 405 + -5667/14. Is 1 less than or equal to h?
False
Let v(h) = h**3 + 4*h**2 - h. Let g be v(-4). Let s(u) be the first derivative of -u**3/3 + 5*u**2/2 - 5*u + 2. Let y be s(g). Are y and 3/7 non-equal?
True
Let n be 0/(72/(-9) + 5). Is n bigger than 4/187?
False
Suppose 13 = -2*u - 3*o, 4*o - 50 = 5*u - 6. Let z be u/(26/(-8) + 3). Let f be 2/(-2 + z/12). Is 9/4 >= f?
False
Suppose 5*i + 43 = -67. Let b = i - -21. Is b <= -2/57?
True
Suppose 3*v - 13784 = 5*v. Let p = 47785/7 + v. Let s = 65 + p. Which is smaller: s or 0?
s
Suppose 0 = 5*y + 3*b - 606, 0 = 6*y - y + 5*b - 610. Is y less than 118?
False
Let k = -8360/9 + 926. Is -3 less than k?
True
Let y(j) = 38*j - 155. Let o be y(7). Is o > 109?
True
Let i(k) = -k**2 - 10*k - 13. Let z(w) = -2*w**2 - 20*w - 25. Let l(d) = 11*i(d) - 6*z(d). Let c be l(-7). Let s = c + 23. Is s less than or equal to 9?
True
Let m(x) = -x**2 + 31*x - 182. Let f be m(23). Is -10 bigger than f?
False
Suppose 2*x + a - 6*a - 15 = 0, 3*a = -5*x + 53. Suppose -25*j + 314 = 7*j + 125*j. Do j and x have different values?
True
Let n be ((-9)/4)/((-39)/208). Suppose -5*t = -5*v - 12 + 67, 5*t = 0. Is n greater than or equal to v?
True
Let d be (-7)/((-70)/4)*-25 - 4. Is d at least as big as -4?
False
Let h = -2.5671 + 0.0371. Let j = 0.27 - h. Let x = j + 1.2. Is -0.1 greater than or equal to x?
False
Let g be 6 - (-167 - (6 - 9)). Which is smaller: 169 or g?
169
Let z be ((-754)/87)/((-4)/6). Is 6 greater than or equal to z?
False
Let d(s) = 34*s**2 + 7*s + 9. Let x be d(-2). Which is smaller: 132 or x?
x
Suppose -4*q = 2*p + 4, 3*p - 3*q = -p + 25. Suppose 22 = p*d + 14. Does 1 = d?
False
Let m(j) = 6*j**2 - 11*j - 12. Let w(k) = 7*k**2 - 11*k - 13. Let b(n) = 5*m(n) - 4*w(n). Let p be b(6). Let z be (13 - 2) + 2 + p. Which is smaller: 12 or z?
z
Let c be (10*7/269220)/((-2)/(-3)). Which is smaller: 0 or c?
0
Let v = -617.01 - -620. Let m = v - -0.01. Is m greater than 1?
True
Let w be (5/2)/(240/336). Does 2 = w?
False
Suppose -2*b - 12 - 40 = 0. Do b and 5 have different values?
True
Let m(w) = 19*w - 15*w - 133 + 45. Let p be m(22). Is 2/151 >= p?
True
Let g(p) be the third derivative of -p**4/24 - 11*p**3/6 + 44*p**2. Let s be g(2). Are s and -14 non-equal?
True
Suppose 5*x + 64 = 4*u, -31 = -2*u + u + 5*x. Suppose -u*h - 88 = -0*h. Which is bigger: h or -34/5?
-34/5
Let o = 6 - -36. Let i = -42.2 + o. Which is greater: -4 or i?
i
Let x = 0 - 0.5. Let q = 65 - 109. Let o = q + 42. Which is smaller: x or o?
o
Suppose -5*k = 3*f - 33 + 3, 17 = -k + 4*f. Suppose 0 = 2*r + k*r - 4*l - 31, r - 23 = 5*l. Which is smaller: 2/3 or r?
2/3
Let q = 0.7 + 1.1. Let a = q - 2. Which is smaller: 7 or a?
a
Let b be (-1)/(-7) + 594/1428 + -1. Is b smaller than 1?
True
Let t = -7.2 + 8. Let a = -3.1 + 4. Let f = a - t. Which is smaller: f or -0.05?
-0.05
Let f = -512 - -137726/269. Let k(j) = -j + 4. Let r be k(4). Which is bigger: f or r?
r
Let r be ((-2)/60*-3)/(1/2). Let u = r + -29/95. Which is smaller: 1 or u?
u
Let z = 2 + 1. Suppose 3*x + 42 = z*d, 0 = 3*x - 8*x + 20. Let o be (-147)/18 + 3/d. Is o at least -8?
True
Let s be 1 + -2*(-34)/4. Suppose 52*v - 2 = 51*v. Let p = s + v. Is p at most 20?
True
Let z be (-105)/(-28)*(-12)/(-9). Suppose -13 + 18 = z*a. Which is bigger: 2/27 or a?
a
Let w = 850.842 - -0.158. Let q = w + -854.97. Let u = q + -0.03. Which is bigger: u or 1/2?
1/2
Let i be (-74 + 0)*5/10. Suppose 0 = 3*d + 829 - 721. Which is smaller: i or d?
i
Let z = -14.9 + 8.9. Are z and 1/5 non-equal?
True
Suppose 4 = 2*c, -100 = 5*r - 5*c - 410. Suppose 4*i - 2 + 19 = -3*x, -5*x = i. Which is greater: r or x?
r
Let j = -39003/17 - -2295. Do 2 and j have the same value?
False
Let t(d) = 121*d + 4. Let y be t(1). Let r be -3 - (3 + y/(-10)). Does 7 = r?
False
Let i(q) = 8*q - 73. Let u be i(17). Is u at least as big as -0.1?
True
Let s = -1433 + 1445. Which is bigger: s or 121/9?
121/9
Let d be 2/((-2)/(-7 + 8)). Which is greater: d or -8/61?
-8/61
Suppose -5*x = 4*n + 25, -4*n + 5*n = -5*x - 25. Which is bigger: x or 16/15?
16/15
Let s = 48.3 - 42.16. Let x = -20 + 19.86. Let g = s + x. Which is bigger: g or 1?
g
Let z = -799 + 626. Is z greater than -172?
False
Suppose -534 = 8*d + 42. Which is greater: d or -76?
d
Suppose 5*x + 10 = -5*f + 15, -f - 5 = -5*x. Is 6/35 less than or equal to x?
True
Let i = -139 + 139. Is -115 at most as big as i?
True
Let p = 140 - 138. Suppose -p*t + 76 = 2*c, 4*t - c - 131 = 6. Is 35 equal to t?
True
Let w = -247070204/629 - -392799. Let p = w - 39/37. Is -1 at least p?
False
Let v be 1/(2*4/24). Let f = -3.1 + 3.6. Is f greater than v?
False
Suppose -4*v = -5*y - 399 + 2539, 2708 = -5*v - 2*y. Is v > -540?
False
Let i be (26740/(-132))/7*-12. Let p = -347 + i. Which is bigger: p or -1?
p
Suppose -3*h + 24 - 13 = 4*d, 2*d + 2 = -4*h. Which is smaller: d or 66/17?
66/17
Let i = 460 - 460. Are i and 3/61 non-equal?
True
Let v(l) = l**3 - 14*l**2 + 40*l. Let r be v(10). Is -1/270 bigger than r?
False
Let s = 85309/46 + -1855. Let z = s - 1/23. Which is smaller: 22 or z?
z
Let b be (-16)/6*315/28. Is b less than or equal to -30?
True
Let t be 264/40*(-2)/(-6). Let j = -36 + 35. Is j at most t?
True
Let y(c) = -46*c**3 - 3*c**2 + 3. Let b be y(1). Is -40 at least as big as b?
True
Let n(x) = x**2 + 24*x + 62. Let k be n(-3). Which is smaller: -34/21 or k?
-34/21
Let g = 24 + -15. Suppose -g*i = -12*i + 6. Which is greater: i or 17/5?
17/5
Let k = 107.64 + -107.7. Let u = 20 + -81/4. Is k > u?
True
Let d(r) = -r**3 + 5*r**2 - 4*r + 1. Suppose 20 - 28 = -2*j. Let i be d(j). Is i bigger than -1/9?
True
Let x be 3*(3 + (-20)/6). Suppose -2*u + 13 - 5 = 0. Suppose 17*b - 21*b = u. Is x > b?
False
Suppose -22 = -3*w + 5*b, w - b + 5 = 9. Is -2/631 greater than w?
True
Let b = -4108/3015 - -64/45. Is b <= 1?
True
Let t = 6.174 + -0.174. Is t < -0.14?
False
Let p(d) = -d**2 + 3*d + 2. Let y be p(4). Let f be ((-2)/(-4)*-1)/((-17)/y). Are f and 0 nonequal?
True
Let l be (-1)/(-1) - (-3 - 1). Suppose -4*w = 3*h + 5, 2*h + l*w = h + 13. Is -7 not equal to h?
False
Let u = -106.3 + 106. Are -0.39 and u unequal?
True
Let v be (-7 - 65/(-9))*12/736. Which is smaller: v or 1?
v
Let y = 4/223 + 210/13157. Let o(q) = q**2 + 13*q + 37. Let m be o(-11). Suppose 7*g = m*g. Do g and y have different values?
True
Suppose i + 2*i - 834 = 0. Is 279 at most i?
False
Let g = 8 - 8.04. Let u = -1.04 - g. Suppose -3*y - 36 = -5*y. Which is smaller: u or y?
u
Suppose 2*h - g = -0*g - 63, 0 = 2*h + 4*g + 78. Let j = -41 - h. Let o be 2 + -1 + -3 + j. Which is smaller: o or 0.1?
o
Let x = -25 - -20. Is x < -6?
False
Let k = 65483/1070913 + -30/487. Is -1 >= k?
False
Let y be -4 + (-7)/(-1) + (-10 - -7). Which is smaller: -1/221 or y?
-1/221
Let n be 36/51*-3 + 1 + 1. Let v = 10.9 - 10. Let t = -1 + v. Does t = n?
False
Let g = -2 - -45. Suppose 0 = 5*p - 308 + g. Which is smaller: 0.1 or p?
0.1
Let o be ((-18)/(-24) - 0)/((-98)/(-8)). Let m be 2/4*30/(-15). Which is greater: o or m?
o
Let y be (-8186)/63 - 2/(-9). Suppose 4*q + 5*a + 544 = 18, 655 = -5*q - 5*a. Let t = y - q. Which is smaller: -1 or t?
-1
Let m = 3.1 - 3. Suppose -4*u = -5*n - 20, -6*u = -4*u - 3*n - 12. Suppose a - 13 + 12 = u. Are a and m nonequal?
True
Let t(f) = -f**3 + 9*f**2 - 8*f - 9. Let k be t(7). Let o be (-3)/1 - (-105)/k. Let i = -17 + 18. Which is greater: o or i?
