s s at most q?
True
Suppose 17*f + 46 = 63. Which is bigger: -10 or f?
f
Let s = 15 + -26. Let w(l) = l**3 + 11*l**2 - l - 13. Let z be w(s). Let h be (1 + 0)/(1/(-3)). Is h < z?
True
Let x be (14 + -12)/((-4)/(-22) - 0). Let u(p) = -3*p + 26. Let n be u(x). Is -8 at least n?
False
Suppose 3*q - 5*q = 0. Suppose 4*y - 3*v - 3 = q, -2 = -2*y + y + 2*v. Which is bigger: y or 1/43?
1/43
Suppose 1178 = 2*y - 3*g + 293, -2*y + 891 = 3*g. Which is smaller: 443 or y?
443
Let o(s) be the first derivative of -s**2/2 - 10*s + 2. Let n be o(-15). Let y be n/(26/6 + -4). Is -0.1 > y?
False
Let g be 2/35 - (-2)/(-10). Let f be (1/3)/((-4)/(-48)). Suppose f = -z - v, v = 3*z - 3*v - 23. Which is smaller: g or z?
g
Let m = 19 + -11. Suppose m*l + 24 = 4*l. Which is smaller: l or -29/4?
-29/4
Suppose -31*s + 38*s + 161 = 0. Suppose z = 3*c - 2*z + 81, -4*c = -2*z + 102. Is c equal to s?
False
Suppose -2*a + 14 = 5*a. Suppose 4*d = 2*d + 3*z + 80, a*z - 128 = -4*d. Which is bigger: d or -2/3?
d
Let i = 154/5 - 31. Let s = -6 - -32. Suppose g = q - 1, -s*q = -2*g - 31*q + 12. Is g bigger than i?
True
Let v(c) = c**2 + 47*c - 438. Let m be v(8). Which is smaller: m or 1/344?
1/344
Let n be (-2)/(2/9) + (3 - 4). Let k be (-2)/18*(-5 + (n - 0)). Let v = -2 + 4. Do v and k have different values?
True
Let z be 27/18 - (-1)/2. Suppose 0 = z*q + 1 + 17. Is -9 greater than q?
False
Let i be (-4)/4 + 10/2. Suppose i*v + r - 99 = 0, -66 = -0*v - 3*v + 2*r. Is 23 >= v?
False
Let q = -1240 + 1233. Let l = 1811/3 - 612. Is l <= q?
True
Let n = -168 - -113. Let v = n + 56. Is 0.42 less than or equal to v?
True
Let y = 101 - 98. Suppose -32*t + 29*t = y. Is -10/19 < t?
False
Let m be 0/(-2) + (9 - 9). Let i be (m + -1)*1 + 3. Suppose -l = i*b, 0 = -l + 2*b - 0*b. Is l > 0?
False
Let y = -470 + 2323/5. Let u = y - -282/55. Which is smaller: u or 1?
u
Let s be -127*(-4 + 7 + -4). Which is greater: 2/3 or s?
s
Let l be (10/(-15))/((-4)/6). Let w be (0 + -2)*(l + -2). Let y be -2 + 1/w*0. Which is bigger: y or -1?
-1
Let i be (4/6)/(30/(-189)). Let h(g) = 2*g**2 + 30*g - 4. Suppose -7 - 68 = 5*z. Let n be h(z). Which is smaller: n or i?
i
Let a be (1/(-14))/(11/(-44)). Let v = -210.02 - -208. Let j = -0.02 - v. Which is smaller: a or j?
a
Let o = 592 - 604. Is o < 3/56?
True
Suppose 5*x = -0*x + 5. Which is smaller: x or -2/893?
-2/893
Let o = -246 - -233. Which is greater: o or -0.02?
-0.02
Suppose 10 + 5 = 5*l. Let j be (3/9)/(5/l)*1. Is j less than or equal to 2/21?
False
Let f(l) = -6*l**2 + 2*l + 2. Let h be f(-1). Let v = -6 - h. Suppose v*o = 7*o. Is o greater than -10/9?
True
Let b = 3/83 - 82/4565. Is 1/2 bigger than b?
True
Let g(z) = 2*z**3 + 14*z**2 - 6*z - 4. Let w be g(-7). Are w and 42 nonequal?
True
Let g(b) = -6*b**2 - 2*b - 1. Let m be g(-1). Let n be (-4 - 2) + (12 - 11). Is n less than or equal to m?
True
Suppose -11*m + 12*m = -2. Let a be 2*3/10*5/m. Is a equal to -3?
False
Let x = 90.984 - -0.016. Which is bigger: x or -0.2?
x
Let f = -37/6 + 77/12. Is 14/5 at most f?
False
Let j = 2 - 2.2. Let t = 1128873669766/10153 + -111186218. Let n = t - -2/781. Is n less than or equal to j?
False
Suppose -20*j - 853 = 607. Which is bigger: j or -2?
-2
Let c be ((-6)/8)/(54/(-368)) - 4. Does c = -3?
False
Let w be ((-6)/10)/(12/60). Let a be 21 - ((8 - 4) + w). Is a smaller than 20?
False
Suppose -5*k + 6635 = 4*f, 5*f - 3128 - 5159 = -4*k. Let n = f - 14935/9. Which is smaller: -3 or n?
n
Let b be 1/(-2)*(1 - 1). Let v = -126/11 - -893/77. Is v smaller than b?
False
Let a be (4/(-20))/(3 - 54/(-10)). Is 1 < a?
False
Suppose -8*r = -7*r - 14. Let s = 18 - r. Suppose -33 = -2*v + 5*h, v + 0*h + 11 = -3*h. Are s and v unequal?
False
Suppose -5*t = 3*d + 24, 3*d - t = -33 - 9. Is -14 equal to d?
False
Suppose -3*a = -4*n - 145, 4*n - 3*n = -a - 31. Let d = -28 - n. Which is bigger: 14/3 or d?
d
Let f = 248 + -192. Is f at most 0?
False
Suppose -3*j = 4*z - 6348, -8*z + 3*j = -10*z + 3168. Is 0 bigger than z?
False
Let b = -531 + 644. Which is smaller: 114 or b?
b
Let o = -1492 + 591. Is o != -901?
False
Let c be (-145)/(-125) - 16/20. Which is smaller: c or 0?
0
Let g be (18/(-9) - -8)*53/(-2). Are g and -160 non-equal?
True
Let s be (1 - 4/3)*(19 - 24). Suppose -3*g - 1 + 4 = 0. Is s less than or equal to g?
False
Let v(l) = -l**3 + 6*l**2 + 8*l - 2. Let i be v(7). Let n(o) = -o**2 + 6*o - 8. Let s be n(i). Which is bigger: s or -0.4?
-0.4
Let a(q) = -q**3 - 4*q**2 - 4*q - 7. Let c be a(-3). Let u be 2/c*(-480)/12. Which is smaller: u or 19?
19
Let p = 129 + -260. Are p and -131 equal?
True
Suppose 14*p = 7*p - 14. Let n be 37/(-24) + 2/3. Which is smaller: n or p?
p
Let f be (58/87)/((-3)/(-9)*-2). Which is bigger: -3/391 or f?
-3/391
Let b = 244 + -1465/6. Which is greater: 69 or b?
69
Let a(w) = 2*w**2 - 9*w + 17. Let q be a(2). Which is greater: q or 17?
17
Suppose -5*p + m - 657 = 273, 3*p - 2*m + 565 = 0. Is p greater than or equal to -186?
True
Suppose -5*g + 5*l = 25, 2*l = -2*g + 3*l - 6. Let x be g - -3 - 0 - 1. Suppose -2*s + 8 = -0. Which is smaller: x or s?
x
Let a = -13 - -13.28. Let f = 9 + -9.02. Let z = f - a. Which is smaller: 3 or z?
z
Let t(m) = m - 1. Let z be t(-2). Let u be 805/(-315) - (-3 + 20/6). Which is greater: z or u?
u
Suppose 2*v + 39 = 4*n - 5, -3*n = -v - 32. Which is smaller: 3 or n?
3
Suppose 9*z - 3*z = 0. Suppose z*w - 119 = -5*w - 3*h, -4*w - 3*h = -94. Which is smaller: 26 or w?
w
Let a be (4/(-3))/((-1872)/108). Let g = -0.3 - -0.2. Is g less than or equal to a?
True
Let x be -2 - -2 - (-6)/(-526). Let z = -457/6049 + x. Suppose -8 = 2*y, 4*u - 3*y = 3*u + 12. Which is smaller: u or z?
z
Let j be (-5)/((-795)/474) - 3. Let u = -111/265 - j. Let y = u - 1/10. Is y at most 2?
True
Suppose 0 = -y + 1 - 3. Let h be (-56)/21*3/y. Suppose 2 = -h*n - 2. Which is smaller: -1/27 or n?
n
Suppose 0 = -5*n - 4*t + 98, 4*t + 11 + 1 = 0. Which is smaller: 19 or n?
19
Let d = 737 + -1336. Let z = 11987/20 + d. Which is greater: 1 or z?
1
Let q be 276/(-3174) - (-2342)/(-46). Let i = 104 - 155. Is q greater than i?
False
Suppose -2*j = 3*w - 127, -5*w - 4*j = -0*j - 215. Let l(v) = 2*v**3 + 9*v**2 - 14*v - 6. Let a be l(-6). Let z = w + a. Is z > 10?
False
Suppose 4*n - 12 = 5*r - 2*r, -3*n - 3*r + 30 = 0. Suppose -3*v = -n*v + 9. Is v greater than 7?
False
Let w = -14 - -10. Let h be w/10*35/(-42). Which is smaller: h or -2/51?
-2/51
Let y = -1619 + 3237/2. Is 45 greater than y?
True
Let a be (-158)/(-858) + (-12)/78. Let u(w) = -w - 3. Let g be u(-4). Which is bigger: a or g?
g
Let y(r) = 3*r**2 - 2*r. Let d be y(0). Which is smaller: 1/86 or d?
d
Let v(j) = -65*j + 49. Let o be v(-2). Is 178 greater than o?
False
Suppose 2*z + 20 = -2*z + 5*j, 2*z = -5*j - 10. Let f be 2/(-4) + z/(-10). Let l = -0.16 - 0.04. Is f less than l?
False
Let s(f) = 2*f**2 + 78*f - 1. Let y be s(-39). Which is bigger: y or -21/11?
y
Let y = -0.0373 + 0.0273. Is y less than -0.3?
False
Let t = -41 + 47. Suppose t = g + 22. Which is greater: -2 or g?
-2
Let x(k) = 98*k**3 - 5*k**2 - 2*k + 3. Let w be x(-1). Which is bigger: w or -97?
-97
Let b = 640 + -642. Let u be ((-2)/(-10))/((-8)/20). Which is smaller: u or b?
b
Let p = -12/19 - -55/57. Are -2/13 and p equal?
False
Let t(w) = w - 8. Let x be (-2 + 0)*(-27)/6. Let u be t(x). Are u and -1/4 non-equal?
True
Suppose a + 21*m - 22*m - 138 = 0, -5*m = -4*a + 554. Are 404/3 and a non-equal?
True
Suppose 5*l + 5 = -2*h + 2, 2*l = h - 3. Let f be (-16)/12*69/(-8). Let q = 10 - f. Is h at most as big as q?
False
Let l = -248.8 + 249. Which is bigger: l or -3/14?
l
Suppose -2*r + 3 = r. Suppose r = 5*q + 6. Let s be (-2)/3*(-3)/(-2). Is q greater than or equal to s?
True
Let m be (106/(-5))/((-33)/55). Which is greater: m or 35?
m
Let i = 59 + -42. Suppose 4*o - 38 = -2*v, 0 = 4*v - 3*o - 15 - i. Let g = v + -9. Which is greater: g or 2/3?
g
Let g be 2/4 - (-3)/2. Suppose o - 4*v - 22 = 0, -5*o - 4*v + 42 = 52. Is o bigger than g?
False
Let a = -0.04 + 5.04. Let y = 4.9 - a. Is y at least as big as -1/12?
False
Let b = 22.992 - 23. Let u = -3.992 + b. Which is greater: u or 1/7?
1/7
Suppose -2*g - 3*f + 12 = 0, -5*g = -5*f - 0 - 5. Suppose -g*k = -2 - 19. Are k and 1 non-equal?
True
Let k be 10*(7/(-21))/(25/1482). Let