aller: c or -211/3?
-211/3
Suppose 0 = -2*l + 4*d + 2, -2*l - 3*d = -5*l. Let w = 258.01 - 260. Let g = w - -2. Which is smaller: g or l?
l
Let o = -41 + 49. Suppose -b + t = -5, -4*b + 8*b + 3*t = -o. Is b less than 18/23?
False
Let p be 20/(-5) + 3 + 4. Suppose 0 = -p*q - 13 + 16. Is 2/57 smaller than q?
True
Let x be 1/30 + (-8)/(-48). Let q = 106 + -101. Which is smaller: q or x?
x
Let p = 112 + -111.8. Which is smaller: p or -3?
-3
Suppose -5*g = -2*g - 12. Suppose a - 62 = -g*a + n, 0 = -5*a + 4*n + 68. Suppose 0 = 9*b - a*b - 3. Is -3 smaller than b?
True
Let r = 38452/51 + -754. Suppose -n + 4 = -2*p, 2*n - 3*n - 4 = 2*p. Which is smaller: n or r?
r
Let u = 2/935 - 3929/935. Let d be 26/(-7) + (-2)/7. Which is greater: u or d?
d
Let z = 203/23 + -2807/391. Is 3 bigger than z?
True
Let v be (-37)/(-6) + (-4)/24. Suppose 5*l = v*l. Let x = -450/7 + 64. Does l = x?
False
Let v be (4/(-6))/((-6)/9). Let y = 3008/5 + -568502/945. Does y = v?
False
Let m = -38286 - -3177780/83. Is 1 > m?
True
Suppose -5*h - 2 = 8. Let u = -2.952 + 2.912. Do h and u have the same value?
False
Let x = -2817.63 - -2799. Let v = x - 0.37. Which is greater: -2 or v?
-2
Let u = -0.16 + -2.84. Let j = u + 29.4. Let m = j - 26. Which is smaller: 6 or m?
m
Let g = -317 + 318. Let n be 95/(-420) + (-3)/(-12). Is g equal to n?
False
Let n be 6 + -13 + 1 + -170. Is n at least -177?
True
Let w = 0.33 + 6.87. Let h = 4.2 - w. Which is smaller: -1 or h?
h
Let f = -50879/835 + -78/167. Let x = -61 - f. Is x greater than or equal to 1?
False
Let v be (-4)/6 - (-70)/15. Let f be -2*(-2)/(-8)*6/(-1). Is v < f?
False
Let q be (-5)/21*(13 - 12). Suppose 3 = 3*d - 0. Is d at most as big as q?
False
Let c = -12 + 20. Suppose 0 = v + 2*f - c, 7 = 5*v + f - 6. Suppose -3*w - 24 = -3*h - 0, 0 = -v*h + 3*w + 19. Is h != 5?
False
Let z = 1907 + -13371/7. Which is bigger: z or -2?
-2
Suppose 2*t = 4*t + r + 2, -t + 4 = -2*r. Is t at least as big as 4/35?
False
Suppose o + 0 - 3 = 0. Suppose -99 = -o*d - 0*d. Is 32 >= d?
False
Suppose 24 = -3*k - k. Let a be (1131/15 + 3)*(3 - 8). Let i be a/84 + 1/(-3). Is i >= k?
True
Suppose 481 + 55 = -2*l. Is l smaller than -268?
False
Let i(n) = n**3 + 2*n**2 - 22*n + 12. Let k be i(-6). Is k != -198?
True
Suppose 0 = -2*m - 5*f + 31, 5*m + 6*f - f - 40 = 0. Suppose -2*s - 3*t - 5 = 0, m*s + 2*t = s - 2. Let p = -0.7 - -1.7. Is s smaller than p?
False
Let w = 0.23 + -0.2. Let c = 8.03 - w. Let m = 7.9 - c. Are 2 and m non-equal?
True
Let g = 0.017 + -33.017. Let i = -23 - g. Let k = 3.25 + -3.05. Is k at most i?
True
Let l(t) = 3*t - 6. Let x be l(-4). Let j be 3/2 - (-9)/x. Which is greater: -1/73 or j?
j
Let h be 30/9*(-9)/5. Which is smaller: h or 1?
h
Let b = -48 - -48.015. Let o = -0.005 + b. Are -1/3 and o non-equal?
True
Let z be (-14)/(-35) + (-4 - 176/90). Which is smaller: z or -5?
z
Let r = 2634/7 - 376. Let j(a) = a**2 - 2*a - 3. Let z be j(3). Let n = 1 - z. Which is bigger: n or r?
n
Let g = 128 + -57. Is 2/11 equal to g?
False
Let j be (-2 - 4/6)/((-20)/(-960)). Is j at least as big as -127?
False
Let u be 232/20 + 3*(-6)/(-45). Suppose u = -3*g + 3*p, -p - 1 = 6*g - 2*g. Are -2/105 and g unequal?
True
Let y = -0.56 + 0.26. Let s = -1 - y. Is -0.2 >= s?
True
Suppose -3*d + 57 = -3*j, -27 = -3*j + 4*j - 3*d. Is j > -14?
False
Let t(f) = f**3 - 4*f**2 - 4*f. Let w be t(5). Suppose -3*u - w*g = 6, 5*u - 4 = 2*g - 14. Suppose -16*v = -3 + 35. Is v less than u?
False
Let g = -2 + 1. Suppose -5*y - 2*x = -20, -5*y - 8*x = -5*x - 15. Let r be 52/(-114) + (-2)/y + 1. Which is smaller: r or g?
g
Let g(z) = z**2 - 1. Let c be g(0). Suppose 8*y - 17 - 47 = 0. Let v be 3/y + 21/(-72). Which is bigger: c or v?
v
Let c = 36 - -9. Let j be 4*1 - 351/c. Which is smaller: -4 or j?
-4
Let o be (-318)/265*(-70)/(-32). Is -2 less than o?
False
Let d(s) be the first derivative of -s**4/4 + 7*s**3/3 - 2*s**2 - 12*s + 3. Let k be d(6). Does k = -2/39?
False
Let g(p) = p**3 + 6*p**2 + 12*p + 13. Let a be g(-5). Does -0.1 = a?
False
Suppose 5*k - 4*k = 0. Let l be 4/(-14) - ((-372)/1155 + k). Is -1 != l?
True
Let z = -48 - -48. Suppose -4*x + 8*x + 236 = z. Are -59 and x equal?
True
Let g = 244 - 251.1. Is 0 greater than or equal to g?
True
Let d be 5/(-3)*(-8)/10. Let p(k) = k**2 + 7*k - 11. Let g be p(2). Let u = 8 - g. Is u >= d?
False
Let s = 5215693/180 + -28976. Let t = s + 3/20. Let k be 2/6 - (-4)/6. Which is bigger: t or k?
k
Let d = 86 + -66. Suppose -4*a = 3*n - 16, 4*n + 5*a - d = -0*n. Are n and -8 equal?
False
Let x be (8/((-64)/(-12)))/(3/4). Let h = 1436/7 + -15628/77. Are h and x equal?
False
Suppose -94*h = -37*h. Which is bigger: -2/3 or h?
h
Let t be (-4)/(-22) + (-465)/(-165). Suppose u - 4*p - t = -0, 0 = -p - 1. Which is greater: u or 2/123?
2/123
Let i be (-1 - (-1)/4) + 0. Let p = -158 + 155. Is i at least as big as p?
True
Let y(a) = -44*a + 4. Let f be y(2). Let j(z) = -84*z + 1. Let p be j(1). Which is smaller: p or f?
f
Let s(c) = c**2 + 4*c - 2. Let h be s(-5). Let o be 1/3*h*-1. Let n(v) = v**3 - v**2 - 12*v + 6. Let i be n(3). Is o smaller than i?
False
Let b = -416 - -419. Is -99 <= b?
True
Let s = 28 + -17. Suppose -2 = -j - s. Is j < -9?
False
Let i = -4.734 - -0.034. Let c = -42 + 46. Let p = i + c. Which is smaller: 1 or p?
p
Let t(s) = 5*s**2 + 5*s + 4. Let c be t(-1). Suppose c*g - 34 - 46 = 0. Are 22 and g equal?
False
Let f be (12/(-18))/((-339)/(-63)). Which is bigger: 1 or f?
1
Let l(h) = h**2 + 4. Let t be l(0). Let d be ((-125)/15)/(t/(-12)). Which is bigger: d or 26?
26
Suppose -59*w - 425 = -64*w. Let o = w - 85. Is o less than or equal to 8/41?
True
Let m(h) = h**2 + 14*h + 18. Let v(p) = p**2 + 13*p + 19. Let k(u) = -3*m(u) + 2*v(u). Let x be k(-15). Is -2/103 smaller than x?
False
Suppose 0 = -4*q - 4*a + 152, -a - 12 = 2*a. Let d be (-1)/(q/(-24)) + (-2)/7. Which is smaller: d or 0.013?
0.013
Let i = -6480 - -1393203/215. Which is smaller: i or -1?
-1
Let m = 0.888 + -0.988. Which is greater: 463 or m?
463
Let p = 38 + 204. Is 241 smaller than p?
True
Let i = 56 + -58. Let w be (9 + -6)/(9/i). Do -33 and w have different values?
True
Let p = -2/287 - 818/287. Let w = -1904789/63 - -30232. Let n = p - w. Is n at most as big as 0.4?
True
Let t = 706.53 + -707. Do t and -7 have different values?
True
Let a(j) = -2*j + 1. Let l be a(-1). Let y(b) = -5*b + 6 + 11*b - 4*b - 3*b. Let t be y(11). Which is smaller: l or t?
t
Let n = 388 - 386. Is -170 at most n?
True
Let o = 0.129 + -0.036. Is -1 at most as big as o?
True
Let v = -13.8 - -14. Let z = -48 + -8. Let l be (-9)/z - 4/14. Which is greater: l or v?
v
Let w = 0.02 + -0.076. Let h = -21.944 + w. Let v = h - -23. Which is greater: v or 3?
3
Suppose -101*s + 0*s - 909 = 0. Suppose -4*a = 33 + 11. Which is greater: s or a?
s
Let n = 0 + 0. Let i = -117 + 145. Let d be (-3 - i/(-10))*(-7 + -3). Which is greater: d or n?
d
Let h = -2.33 - -2.33. Is -59 less than h?
True
Let c = 51616 + -418760606/8113. Are 0 and c nonequal?
True
Suppose -3*l + 54 = -5*w, 5*l + 3 = -2*w - 0. Let c(z) = -z**2 - 10*z - 15. Let j be c(-9). Let m be (34/j)/(16/24). Is m not equal to w?
True
Let j be 1/4 - (-2)/(-3). Let l be (-25)/5*(-4)/(-5). Let q be 3 + (-6)/(-3) + l. Which is greater: j or q?
q
Let j = -133 - -17. Let y = 6 + 4. Let d be j/(-20) + 2/y. Which is smaller: 5 or d?
5
Let c = 1.16 - -6.84. Let s = 32 + -33.02. Let g = s + 0.02. Which is smaller: c or g?
g
Let f be 2 - 1 - (5 - -8 - 11). Which is smaller: f or -1.7?
-1.7
Suppose 4*g = 29 - 1. Let c(s) = -s**3 + 8*s**2 - 8*s + 7. Let a be c(g). Let d be a/(2/((-6)/3)). Are 1/12 and d unequal?
True
Let i = 109 - 109.2648. Let n = -19.3548 - i. Let y = n + 19. Which is greater: y or 1?
1
Let d = -0.055 + -0.045. Which is smaller: 3.1 or d?
d
Let y = 0.0885 - 3.0885. Which is greater: y or 28/9?
28/9
Let o(z) = z**3 - 13*z**2 + 12*z - 19. Let m be o(12). Which is smaller: m or -12?
m
Let v = -0.99 + 16.29. Let s = v + -15. Are s and 0.06 nonequal?
True
Suppose 0 = -z - 5*m - 31, -m = 5*z - 2*m + 103. Let x = -15 - z. Let s be 6/x*(-15)/(-1). Is s bigger than 13?
True
Let f = -37 - -52.2. Let i = -11.2 + f. Is -3/7 at most i?
True
Let w = 4939/21 + -235. Let u = -28 - -41. Suppose 2*j + 8 = -5*o, -2*o + 3*j = -u + 1. Wh