**2 - 2*s + 1. Let q be x(-2). Let m be 0 + (6/(-4))/q. Suppose -d - 5*t - 2 = 6, -4*t = -5*d + 18. Is d at most as big as m?
False
Suppose -5*l = 3*l - 8. Suppose 5*t = -2*t - 210. Let b be 4/t*(1 - -2). Is l < b?
False
Let w = -11430/71 + 161. Let a = -171/2059 + w. Is -1 smaller than a?
True
Suppose -9*b + 6*b - 89 = 5*v, -4*v - 5*b = 79. Which is bigger: -12 or v?
-12
Let x = 1 + -2. Which is greater: x or -14/47?
-14/47
Let a be 8032/(-5) - (-4)/10. Let c be (-3)/2*a/(-66). Are -37 and c non-equal?
True
Let t(n) = 2*n - 10. Let w be t(6). Let y(d) = -d**3 + 7*d**2 + 9*d - 6. Let b be y(8). Suppose -3 = -5*p + b*r + w, 4*p - 16 = 4*r. Is 1/7 at most p?
False
Let u be 0/(-2) - (0 - 2). Let c be (20/6 + (-750)/270)*(-6)/(-5). Is c at least as big as u?
False
Let p = 1 - 1.1. Let f(g) = g**2 + 5*g + 4. Let w be f(-3). Let o be w - (4/6 - 2). Which is bigger: o or p?
p
Suppose 0 = 3*b - 4 - 5. Suppose 1 + 2 = 2*o - b*f, 0 = 2*o + f - 15. Which is greater: 13/2 or o?
13/2
Let x be 6/(-11) - (1 - 1). Let r be (-20)/(-30) - 35/21. Which is bigger: x or r?
x
Suppose 256 = -0*w + 8*w. Is 30 at least w?
False
Let j(r) = 3*r + 71. Let z be j(-28). Is z equal to -17?
False
Let t(u) = 2*u - 15. Suppose -b + 2*b - 4*w = 11, -4*w - 32 = -4*b. Let h be t(b). Is -1.2 less than or equal to h?
True
Let k = -49 + 79. Suppose -33*r + 9 = -k*r. Let o(g) = -2*g - 8. Let f be o(-6). Which is bigger: r or f?
f
Suppose -3*x + 2*t - 3*t + 16 = 0, 5*x = -3*t + 28. Suppose -216 = -5*k - 3*s, -x*s - 1 = -k + 31. Let b be k/22 + -1 + -1. Is -1 at most as big as b?
True
Let i be -7 - (-480 + 27/9). Which is bigger: 468 or i?
i
Suppose -141 = 8*i + 39*i. Which is smaller: -62 or i?
-62
Let c(z) = z**2 - 13*z + 4. Let i be c(13). Let k be ((-14)/46)/((-2)/i). Let q = k + -346/115. Is -3 at most q?
True
Let l(b) = b**2 + 4*b + 3. Suppose -i - 20 = -18. Let s be l(i). Which is smaller: s or 2/37?
s
Suppose -4*b = -9*b - o + 24, -4*b + o + 12 = 0. Suppose -5*d = 3*k - 2*k - b, 4*k = 4*d - 8. Let h = -2/33 + -38/99. Which is bigger: d or h?
d
Let r = -3.014 + 0.014. Which is bigger: r or -55?
r
Let z = 66.08 - 66. Which is smaller: z or -5?
-5
Let q be 4/(-24) - ((-34)/(-12))/(-17). Let n = -5 - 14. Which is smaller: q or n?
n
Let b be ((-2)/(-16))/(34/152). Let y = b + -18/17. Does 1 = y?
False
Suppose -36 = f - 2*a, -5*f - 240 = 9*a - 7*a. Which is greater: -2 or f?
-2
Let b be (-22357)/237*3/8. Is -34 at most b?
False
Let f = 439 - 397. Which is bigger: f or 44?
44
Let g be (21118/273 - -1) + (-6)/18. Let v = g + -78. Is v smaller than 0?
False
Let x(i) = 41*i**2 + 5*i + 3. Let p be x(3). Is 387 < p?
False
Let c = 1338 + -14690/11. Do 4 and c have different values?
True
Let q be 1 + 0 + (-3144)/3431. Let j = q - 3/73. Let g be (4/2)/(3 + -5). Is g >= j?
False
Let j(y) = y**3 + 3*y**2 - y - 4. Let o be j(-2). Suppose 0 = 3*d - 4*d + 2. Suppose 4 = o*l - 2*u, d*l - 13 = 5*u - 3. Is l at least 2?
False
Let c = 3.33 + -1.43. Is c != -11?
True
Let m be (-4)/(16/292)*2. Let j be m/(-462) + (-12)/42. Which is smaller: j or -1?
-1
Let f = 3.4 + -5.4. Let b(j) = j - 20. Let x be b(7). Is x greater than or equal to f?
False
Let b be (36/6 - 2) + 163/(-1). Is -159 at least b?
True
Let v(x) = -4*x + 7*x + 48 - x**3 - 8*x. Let q be v(0). Which is greater: 47 or q?
q
Suppose -77 = 20*n + 103. Let r be ((-72)/(-73) + -1)/((-3)/n). Does 1 = r?
False
Suppose 13*t + 294 = 27*t. Are t and 26 equal?
False
Let p be (-15)/(-99)*-4*-3. Is 3 greater than or equal to p?
True
Let u = 1755 - 12287/7. Are 62 and u equal?
False
Let t be 78/(-507)*(1/2)/(-1). Let m = 2 + -1. Which is bigger: m or t?
m
Let r(s) = 3*s + 6. Let a be r(8). Suppose 4*w = -2*w + a. Suppose -4*b = -5*l + 10, 6*b + w*l + 35 = b. Is b != 0?
True
Let k be 5/(-84)*27/540. Are k and 0 equal?
False
Suppose 5*a + 35 = y, -2*a + 2 = -0*a. Let f = y - 26. Let g = -18 + f. Is g at least as big as -5?
True
Let g(n) = 4*n + 85. Let o be g(-21). Suppose 0 = -4*w - 0*w + 8. Does w = o?
False
Let c be 5/(20/12) + -27. Let v be 0 + 1 + (-27)/1. Let w = c - v. Which is bigger: 24/7 or w?
24/7
Let h be 8/24 + 2 + (-13528)/552. Which is bigger: h or -21?
-21
Suppose 7 + 1 = 2*d. Suppose 2*x = -0*x + d, -3*y - 4*x - 7 = 0. Let u = 22 + -25. Is u at most y?
False
Suppose 2*o + 2*n + 2 = 0, 0 = 3*o - 3*n - 8 - 1. Is o greater than 18/41?
True
Let h be 114/(-56) - (-2)/7. Suppose 2*z = -0*z + 5*l + 21, -5*z = l + 15. Is z at most h?
True
Let n = -11254 - -551414/49. Is n > -2?
True
Let l = -367 + 365. Which is bigger: l or 0.008?
0.008
Let k = -1540/9 + 652951/3816. Are k and -1 equal?
False
Let z = -380 - -402. Is -7 at most as big as z?
True
Suppose 0 = -8*l - 43 + 19. Which is bigger: -48/13 or l?
l
Let z(o) = o - 1. Let w be (-1)/3 - (-38)/6. Let n be z(w). Let b(c) = c**2 - 5*c - 5. Let s be b(n). Which is smaller: s or 0.1?
s
Suppose -r + l = -5, 0*r = 2*r + 4*l - 22. Let b = r + -62/9. Suppose -4*j + 3*p = 9, 2*p - 4*p = -6. Which is smaller: b or j?
j
Let i(h) = 2*h - 1. Let t be i(2). Suppose 4*x = -4*l + 8, t*x + 4*l - 2 = -l. Let a be x/16*1 + 0. Are a and 1 non-equal?
True
Let z be (-3)/((-15)/110)*1. Let r = 28 - z. Which is smaller: r or 7?
r
Let y(o) = 11*o - 55. Let z be y(5). Let k(h) = h**3 - h**2 - 4*h - 3. Let t be k(z). Let d be ((-4)/8)/(1/12). Which is bigger: d or t?
t
Suppose 5*w + 19 = -2*n - 1074, -2*w + 2*n - 426 = 0. Is w >= -215?
False
Let c be 0 + -4 + 18/27. Let t = 1 - -2. Suppose -2*i + t*i = -4. Is c >= i?
True
Let q be ((-6)/8)/((-2)/24). Let g be 3 - 1 - 2 - -5. Let i = q - g. Is 5 smaller than i?
False
Let t be (93/(-372))/(2/(-8)). Which is greater: t or -12/29?
t
Suppose 71*i - 6846 = 29*i. Is i > 1145/7?
False
Suppose -3*y = -10*y + 21. Suppose 0 = 2*i + y - 1. Which is smaller: i or 2/11?
i
Let f = -51.3 + 52.3. Are f and 35 unequal?
True
Suppose 9*d = 34*d + 2650. Is d >= -105?
False
Suppose -133*v - 2960 = -123*v. Is v at least -297?
True
Let u(a) = -3*a - 35. Let l be u(-18). Let g = l - 15. Let s = 7 + -5. Which is smaller: s or g?
s
Let j be (2 - (-570)/24)*-4. Is -2/3 != j?
True
Let s be 37/3 + 2/3. Let c = -4808 + 4822. Which is smaller: c or s?
s
Let r(t) = 2 - 375*t - 1 + 2 + 377*t. Let o = 8 - 12. Let d be r(o). Do -6 and d have different values?
True
Let c be (-100)/5*(-4)/(-10). Let p be c/(-28)*(-2 + -1). Suppose -4 = 3*y + x, 3*y - 2*x + 5 + 5 = 0. Which is smaller: y or p?
y
Suppose 0 = -2*v + 2. Let b(o) = 2*o**2 + 4*o - 7. Let c be b(-9). Let z = 1311/11 - c. Is z < v?
True
Suppose -4*n + 2*i = -46, -6*n = -n - 4*i - 65. Let g(o) = o**2 - 9*o - 27. Let b = -6 - -18. Let v be g(b). Is v less than n?
False
Let k(d) be the second derivative of d**4/12 + 19*d**3/6 + 21*d**2/2 - 28*d. Let x be k(-16). Which is smaller: -26 or x?
x
Let i be 76/48*15 - -1. Let s = i + -25. Is s > 1?
False
Let l = 40 - 42. Let f be 13/(-28) + 2/(-7). Which is smaller: f or l?
l
Let n = 0.02 - -3.98. Let r be 4/(-18)*(19 + -8 + -10). Are r and n unequal?
True
Let m = 0 + 4. Let w = -1095 - -1097. Are m and w equal?
False
Let v = 21 - 21. Let z be v + (3 - 52/22). Are 1 and z equal?
False
Suppose 0 = -3*p + 3*j + 87, 117 = 4*p - 12*j + 9*j. Which is smaller: 31 or p?
p
Let n = -691.07 + 687. Let i = -0.07 - n. Let r = 1726 + -1723. Is r >= i?
False
Let y = -71 + 54. Suppose 67 = -4*m + 5*o, -3*m + 4*o - 45 = 5. Which is greater: m or y?
y
Suppose -4*z - 3*w - 583 = z, 0 = 5*w + 5. Let m be (-229)/2 - (-3 - -1)*1. Let p = m - z. Which is bigger: 4 or p?
4
Suppose 3*q + 325 - 139 = 0. Is -61 at least q?
True
Suppose -10 - 4 = -h. Let p be ((-21)/h)/(1/(-2)). Suppose 2*w - u + p = 4, -w = 2*u + 7. Which is smaller: 1/7 or w?
w
Let d(l) = l**3 - 8*l**2 + 6*l + 9. Let m be d(7). Suppose 112 = -18*t + m*t. Which is greater: -5 or t?
-5
Let s = 6.25 + -7.25. Which is smaller: s or 66?
s
Let t = 1/378 - 18428/189. Which is smaller: 0.1 or t?
t
Suppose 0 = x + 2*x + x. Which is smaller: x or -2/727?
-2/727
Let b be (-5)/(-5) + (6 - 8). Which is bigger: b or -1/849?
-1/849
Let u(v) = v**3 + 9*v**2 + 9*v + 19. Let a be u(-6). Which is greater: a or 72?
a
Let c(q) = -3*q + 123. Let p be c(42). Let j = -1 + -4. Which is smaller: p or j?
j
Let t be (24/(-15))/(2 - 0). Let z(b) = b + 10. Let x be z(-6). Suppose -x*p = -3*p + 2.