- 94. Is -23 equal to x?
True
Let y = 1211 + -1367. Which is bigger: -1/15 or y?
-1/15
Let l(c) = -5*c**2 - 1. Let a be l(-1). Let y be -21 + 7/((-21)/a). Which is bigger: -17 or y?
-17
Let w be 87/5 + 90/30. Which is greater: 19 or w?
w
Suppose 32 = -5*f - 248. Which is bigger: -9 or f?
-9
Let v = -3 - -9. Let c(m) = -2*m + 9. Let p be c(v). Suppose -4*t = -t + 12. Is t at least as big as p?
False
Let g = -8763/4120 - -1/515. Is g < 3?
True
Let v = -38 + 42. Let l be (34/(-8) + 4)/(v/16). Is l smaller than -2?
False
Let t = 385 - 385. Which is greater: t or 2/229?
2/229
Let d be 1/(((-16)/4)/264). Let o be (-6)/33 + (-23)/d. Which is smaller: 2 or o?
o
Suppose -29*t + 108 = -23*t. Which is bigger: t or 17?
t
Let q = -0.2 + 0.1. Let u = 0.19 + -0.08. Let w = 4.89 + u. Is w at most as big as q?
False
Let b = 18 + -12. Let q = -36/13 - -278/91. Is q at least b?
False
Suppose -c - 3 = -4*w + 15, -3*c = -2*w + 4. Which is bigger: c or 13/5?
13/5
Suppose -2*l + 0*l + w + 7 = 0, 0 = l + 3*w - 21. Suppose -27 = -4*u - 5*t, -19*t = -5*u - 20*t + 18. Suppose 3*x = l - u. Which is smaller: -1/10 or x?
-1/10
Suppose 0 = -4*z - z - 570360. Let a = z + 9582185/84. Let l = -15/28 - a. Which is smaller: l or -1?
l
Let f = 0.292 + -124.292. Which is smaller: f or -0.1?
f
Let u(y) = y**2 - 6*y - 10. Let p be u(7). Let m be -1 - (1 + p) - -35. Suppose -4*b = -4*h + m, 0 = -2*h - 3*h - b + 45. Is 9 bigger than h?
False
Suppose -5 - 1 = -3*z. Suppose -3 = -z*n - n. Which is smaller: n or 1/3?
1/3
Let h be 3*1*4/4. Suppose 4*d = k - 1, h*d - 2*d = -5*k + 5. Let o(f) = f**2 - f - 3. Let p be o(d). Are -2 and p non-equal?
True
Let t(l) = -l**2 + 27*l - 80. Let p be t(13). Do 106 and p have the same value?
False
Let l be ((-63)/(-6))/(55/264). Which is greater: 51 or l?
51
Let x = -0.14 + -0.06. Let c = -67 - -71. Suppose c*u + 1 = 5. Is u at least as big as x?
True
Suppose -2*h - 2*h = 5*s + 32, 2*h = -s - 10. Let f(b) = 4*b + 15. Let j be f(s). Which is bigger: -12/17 or j?
-12/17
Let h = -29 + 28.985. Let z = 0.185 - h. Let o = 29 + -21. Which is smaller: o or z?
z
Let g be 18/21*64/(-3). Let b = 18 + g. Is b less than 10?
True
Let n be 223 + (-2 + -1 - 6/(-3)). Which is greater: n or 223?
223
Let o = 14 - 12. Suppose -41 = 4*x - o*l + 3*l, -3*x = -5*l + 25. Which is bigger: -12 or x?
x
Let n(m) = -5*m**3 + m**2 + m - 1. Let x be n(1). Let i be 6/x*(-20)/6. Let w = -1519 - -1522. Is w less than i?
True
Suppose 0 = -y + 3*y - x - 26, 95 = 5*y + 5*x. Let b = y + -8. Let i = 73874/9 - 8208. Is i bigger than b?
False
Suppose 5*d + 4*j - 8*j = 30, 5*d + 3*j = -5. Suppose -d*u + 4*u = 2. Let w = -464/175 - -18/7. Is w >= u?
False
Let x = 0.4 + -0.3. Let z be 40310/2240 + -13 + -5. Which is smaller: x or z?
z
Let x = -0.0521 - 0.0219. Which is bigger: x or 2?
2
Suppose 0 = 2*q - 425 + 513. Do q and 0.1 have the same value?
False
Let c = -262 - -266. Is c < 0.04?
False
Suppose -1 = -3*x + 2. Suppose -p - q + 6 = 0, 1 + x = q. Suppose 4*k - c - p*c = -30, 2*k + c + 8 = 0. Which is bigger: -4 or k?
-4
Let g = 11/18 + -355/522. Is -7 bigger than g?
False
Let t = 77 - 15. Are t and 61 equal?
False
Let w = -0.4 - -0.5. Let j = -0.191 - 0.209. Is j greater than or equal to w?
False
Suppose -6*u + 9*u = 2*b + 1, b = 4*u - 3. Which is smaller: u or -3/328?
-3/328
Let u = -0.9 + 0.5. Let s be (2/(-2) - -3)/(-1). Let f = s + 4. Are f and u unequal?
True
Let r be 20/(-6) - (-1)/3. Let t(c) be the third derivative of -c**6/120 - c**5/12 - c**4/8 + c**3/3 - 18*c**2. Let k be t(r). Which is bigger: -6 or k?
-6
Let k = -98 + 99. Is k equal to -1/73?
False
Let r = 1 - -1. Suppose -3*v + 573 = 5*w, 0*w + 955 = 5*v - w. Let f = v - 952/5. Is f greater than r?
False
Let p(s) = -s + 9. Let k be p(-4). Let b be 12/30 - k/(-5). Suppose 2*g = -b*h - 6, 3 - 35 = 5*h - 4*g. Which is smaller: -5 or h?
-5
Suppose -2*a - 4*p + 0*p + 18 = 0, -4*a + 28 = 4*p. Suppose 0*u + 3*u + 23 = a*l, 4*u - 5*l = -24. Does u = 2?
False
Let m = -19.2 - -14.8. Which is greater: m or -1?
-1
Let g = 476 - 3326/7. Is -1.2 > g?
False
Let l = -17 - -19. Let x be -8*(-20)/72 - l. Let g = x + 1/36. Is -0.1 <= g?
True
Let b = -2006/33 - -668/11. Which is bigger: -3/4 or b?
b
Let i be 1 + (4 - 244/44). Suppose 0 = 2*o - 5*o. Which is bigger: o or i?
o
Let i = -39.047 - -0.047. Let w = -25 - i. Let t = 14.16 - w. Is 0 not equal to t?
True
Let z = -16 + 47. Suppose 0 = -4*b + 7 - z. Let k = -5 - b. Is 11/5 < k?
False
Let w = 20 + -4. Let d be (-34)/(-12)*(6 - w/4). Which is bigger: d or 5?
d
Let w be 4/18 + (-124)/72. Let g = -15 - 4. Let d = 22 + g. Which is smaller: w or d?
w
Let l be (-6652)/(-3)*(-1)/(-12). Let p = 185 - l. Which is bigger: 2/13 or p?
p
Suppose -4*n = -145 - 7. Suppose -n*h = -33*h + 20. Which is smaller: 5 or h?
h
Let n(b) = b**2 + 5*b + 6. Let w be n(-4). Suppose 4*z + 2*l = l - 39, w*l = -4*z - 42. Is z greater than -1?
False
Suppose 2*l = -2*t - 50, 3*t - 3*l = -2*l - 79. Let k = -26 - t. Which is greater: 1/7 or k?
1/7
Suppose 13*f = 933 + 1095. Suppose -4*q - 102 = -2*k - 2*q, -4*q = -3*k + f. Which is greater: k or 49?
49
Let s be ((-3)/(-4))/((-7)/(-28)). Let i(z) = -z**3 - 5*z**2 + 6*z - 2. Let a be i(-6). Let l be a + (-9)/(-4) + 2. Which is smaller: s or l?
l
Let g = -10 + 24. Let t be 2*(-5)/15*1. Which is smaller: t or g?
t
Let r be (-112)/(-24) + 1/3. Let t = r + -7. Let i be (-30)/12*24/(-14) + -4. Which is bigger: t or i?
i
Let x be (7/(-28))/((-5)/80*10). Is x <= 724?
True
Let g = 1745 - 19218/11. Let x = g + -207/22. Is -2/7 at least x?
True
Let d = -30.3 - -30.5. Do -5/21 and d have different values?
True
Let a be (-840)/64 - 3/(-24). Let i(v) = -v**2 + v - 13. Let o be i(0). Does o = a?
True
Let t = -0.176 + 0.096. Let b = -19 - -19.18. Let g = t + b. Is g bigger than -0.03?
True
Let s be 3/7 - (-50)/14. Suppose -10 = s*j + 10. Let b = -65/2 - -32. Which is bigger: j or b?
b
Let f(z) = 2*z**3 + 19*z**2 + 50*z + 5. Let j be f(-7). Is j >= -96?
False
Let b = 959/540 + -133/27. Let a = b + 9/10. Which is bigger: a or -1?
-1
Let v be 4/3*3/2. Let l = -68 + 71. Let z = v - l. Which is bigger: z or -2?
z
Suppose -180 = -68*u + 1316. Is u >= 33/5?
True
Let s be 1*(-1 - (-1 - -1)). Let d(q) = q**3 - 12*q**2 - 16*q + 11. Let t be d(13). Let i be 22/t - 2/(-4). Is s less than or equal to i?
True
Let b = 26.31 + -26.5. Are -5/3 and b non-equal?
True
Let t be (-8)/(-4) - 20/8. Suppose 5*a - 1 = 4*a. Let z = a + t. Which is greater: z or 18?
18
Let o be 167/(-6) - (-4)/(-24). Let w be 12/(-42) - (78/o + 2). Which is smaller: w or -74?
-74
Suppose 5*y = 25, -2*i - 12*y = -8*y - 60. Which is smaller: i or 18?
18
Let l be (1/(-5))/((-1323)/(-135)). Let a(t) = t - 5. Let b be a(5). Is b bigger than l?
True
Let x = -10 + 4. Suppose 152 = 37*j + 411. Which is bigger: j or x?
x
Let v be (-486)/(-12) + (-20)/8. Which is smaller: 45 or v?
v
Suppose 5*h - 74*z = -70*z - 22, -5*h - 19 = -3*z. Suppose 3*t + 4 - 1 = c, -5*t - 4*c - 22 = 0. Let b be (120/65 + h)*t. Are 1 and b equal?
False
Let p = -81 + 90. Suppose 5*g - p = 8*g. Is g < 4?
True
Let s = -0.31 + 0.01. Let m = -206.8 - -207. Let w = s + m. Which is bigger: -2/7 or w?
w
Let y = 47 - 43. Let d = y - -51. Which is bigger: d or -1?
d
Let n(a) = a**2 + 4*a + 3. Let x be n(-4). Suppose 5*f - 48 = -x. Let m = f + -10. Is m less than or equal to -5/6?
True
Let x(w) = w**3 - 23*w**2 + 32*w - 96. Let r be x(22). Is r at least as big as 124?
True
Let d(j) = j**3 - 5*j**2 + j - 5. Let o be (-3)/(-18) - 29/(-6). Suppose 3*s - o*t - 30 = 0, -5*t = -3*s - t + 27. Let z be d(s). Which is smaller: 2/7 or z?
z
Let j(u) = -6*u - 2. Let v be j(-3). Suppose 4*l + 2*p = 48, -4*l + v + 42 = -3*p. Let o = l - 15. Which is greater: o or -11/5?
o
Let k be 2/(-8) - 12/(-176). Suppose -3*y = -9, 3*y = d + 5 + 10. Let i = d + 5. Is k at most i?
False
Let a(c) = -c**2 - c - 7. Let m be a(0). Let b = -6 - m. Let d be (-5)/20 - (b + -3). Are 3 and d unequal?
True
Let d = 335 + -288. Is 43 smaller than d?
True
Let p = -5815 + 5816. Suppose l + g = 6*l - 40, 0 = l - 5*g - 32. Which is smaller: p or l?
p
Let b = 15.3 - -1.7. Let h = 173 - 185. Let n = h + b. Is -0.2 at least n?
False
Let c = 10165648/825 + -12322. Is c less than -1?
False
Suppose 6*f - 2458 = 926. Which is great