Let t = s + -362/9. Which is bigger: t or l?
t
Suppose -12*q - 13 + 61 = 0. Which is smaller: 22 or q?
q
Let n be 6/(-8) - (-79677)/156. Is 509 > n?
False
Let k(v) = v**2 + 34*v + 688. Let g be k(-50). Which is smaller: g or 1487?
1487
Let w be 6/14 - 10/7. Let c be 0 - w - (4 - 3). Suppose 3*r - 3*q - 15 = c, 8 = -3*q - 4. Which is smaller: -0.2 or r?
-0.2
Let l(d) = -d**2 + 29. Let h be l(0). Let p be (-1)/((-846)/279 + 3). Are p and h nonequal?
True
Let q = 8702 - 26104/3. Let s be 1*(-1 + 2)*-1. Let d be s/2*(-14)/3. Which is smaller: q or d?
q
Suppose 4*j + 237 = 3*p, p + 275 = -5*j - 26. Suppose 5*w + 301 = -3*l, -2*w + 4*l - 3*l = 116. Which is smaller: j or w?
j
Let p = 272 + -283. Are p and -9 equal?
False
Let b be (-4 + 2)/(39/3). Suppose 0 = -4*i - 2 - 2. Let w(l) = -l**3 - 2*l**2 + 1. Let s be w(i). Is s at most b?
False
Let q be (-30)/27*(-2 - -1). Let u = q - 31/36. Which is bigger: 0.3 or u?
0.3
Let s(j) = -j**3 + 8*j**2 - 11*j + 12. Let w be s(6). Suppose -3*o - w = 18. Let a be -1*(-3)/o*2. Is 3/7 smaller than a?
False
Let y = -8 - -6. Let a be ((-1)/y)/((-17)/34). Which is greater: -3/35 or a?
-3/35
Let q = -2/3 + 5/12. Which is smaller: q or 16.7?
q
Suppose 0 = -s + 24*s + 3703. Does s = -161?
True
Let i = -4/43 - -283/731. Which is greater: i or 0?
i
Let j be 6/(-21) - 60/(-14). Suppose 0 = 3*n - 2*f + 11, -5*n + j*f = -f + 25. Is n smaller than 2/21?
True
Let y(q) = -7*q**2 - 5*q + 7. Let r be (-6)/4*(1 - 6/(-6)). Let d be y(r). Is d != -42?
True
Let x be 71 - ((-8)/(-4 - -5) + 3). Is x > 77?
False
Suppose 7*h - 820 = 174. Let a = h - 143. Which is greater: -0.075 or a?
-0.075
Let u be 1*4*-1 + 1430/39. Is u at most as big as 33?
True
Suppose -43*j + 608 + 189 = 66. Let p be -32*(0 - (-2)/(-4)). Is j at most as big as p?
False
Let a = -648 + 648.22. Let c = 3.92 - 4. Let s = c - a. Do s and -6 have the same value?
False
Suppose -2*p + 191 = 2*b + p, 0 = -2*p + 2. Suppose 0 = 5*g + b - 39. Which is smaller: -10 or g?
g
Let f = -43 - -42. Let l = 124 + -11282/91. Which is greater: f or l?
l
Let w(z) = -11*z**2 - z. Let g be w(-1). Let h = -4939/4 + 1226. Is g <= h?
True
Let o be -5*(108/15 + -6). Let u(j) = -j**2 - 1. Let v be u(2). Which is smaller: v or o?
o
Let m = -93 - -98. Is 12 at least as big as m?
True
Suppose -3*s + 24 - 12 = 0. Suppose 3*t - s + 1 = 0. Is t <= 1/2?
False
Let v = 28 - 88. Let a be (27/v)/(-3) - 21/28. Let l be (2/(-3))/((-2)/6). Is l smaller than a?
False
Suppose -3*g = 4*t + 11 - 42, 2*g = -5*t + 30. Suppose g*a + 6 = -2*d, 2*a - 7*a + 15 = -5*d. Which is smaller: -20/11 or a?
-20/11
Let v(h) = -h**3 + 3*h**2 + 2*h + 5. Suppose 3*p - 14 = -2. Let n be v(p). Are 2 and n non-equal?
True
Let o be ((-20)/6)/((-12)/18). Suppose i = o*w - 213, -3*i - 6 + 55 = w. Let d = -131/3 + w. Which is smaller: -4 or d?
-4
Let k = 12 - 27. Let g = -33 - -82. Suppose 0 = -3*z - 4*f - g, 0*f - 2*f = -3*z - 43. Is k at least as big as z?
True
Suppose 82 = w - z, 175 = -5*w + 3*z + 589. Let f be 6/4*w/(-81). Is f less than -3?
False
Let c(p) = -3*p**2 + 22*p - 35. Let m be c(5). Which is smaller: m or 2/339?
m
Let w = 2 + -2.08. Let m = w + -0.22. Let d = 14 - 13.9. Which is bigger: m or d?
d
Let n = -13 - -15. Let h be (64/400)/(n/545). Let r = h - 209/5. Is r greater than 3?
False
Let h = -199 + 200. Is h >= -2/813?
True
Suppose -25 = -5*t, -96 = -4*u + 2*t + 2*t. Let h = u - 98. Is h bigger than -68?
False
Let s = 5517 - 5547.01. Let v = s - -30. Is v != 4?
True
Suppose 5 = 2*b - 3. Let x be -1*3/36*b. Let r(p) = -p**3 - 10*p**2 - 9*p - 1. Let n be r(-9). Is n at most x?
True
Let s = -10627/12726363 - -2/6981. Is s > 0?
False
Let r(i) = -3*i**3 + i**2 + 2*i - 1. Let m be r(1). Let y be 8/(-3)*(m + (-1 - 1)). Are y and 8 unequal?
False
Let g = -3/7 - -27/14. Let y = -112 + 683/6. Let r = g - y. Is -1 less than r?
True
Let z = -9/4 + 3/4. Suppose 0 = 5*a + 4*u - 10, 0 = -0*u - u. Suppose -3*d = y - 5, -2*y - a*d = 3*d - 8. Does z = y?
False
Let x = 2945801/9430 - 14843/82. Let l = -656/5 + x. Is l >= 1?
False
Suppose w = f - 0*w + 1, 5*f + 5*w = -25. Let s be (-32)/1140*-108 + 1*f. Which is bigger: s or 1?
1
Let s = 0.197 - 1.197. Which is bigger: s or -0.79?
-0.79
Suppose 4*l - 551 = v, l = -l + 5*v + 271. Is 138 at least as big as l?
True
Let r = 26.2 + -34.2. Are -10 and r nonequal?
True
Let p = 1282 - 1285.3. Which is bigger: p or 3?
3
Let c be -2 + (-5833)/(-8) + -1. Let t(m) = m**3 + 9*m**2 + 22*m - 31. Let u be t(-12). Let a = c + u. Is a smaller than 0?
True
Suppose 0 = -4*x - 49 - 7. Let l(o) = o**3 - 8 + 10*o + 5*o + 16*o**2 - 7. Let u be l(-15). Which is greater: u or x?
x
Let o = -13.5 + 12.5. Which is greater: o or 0.074?
0.074
Suppose -4*l - 7 = 3*s, -4*l + 6*s - 2*s = 0. Suppose -4*b + 51*f - 53*f - 12 = 0, -4*b - 5*f - 18 = 0. Is b greater than l?
False
Let d = 1019/12 + -299/3. Suppose 84 = -13*i + 7*i. Let q = i - d. Is 0 less than or equal to q?
True
Suppose -2160 - 3720 = -7*g. Is 840 >= g?
True
Let c(o) = -o**2 + 11*o - 14. Let h be c(4). Let m be -11*(6/(-15) - 1). Which is smaller: h or m?
h
Let x(f) = -4*f**2 + 165*f - 198. Let o be x(40). Let m be ((-2)/(-5))/((-3)/(-15)). Suppose -5*l + 2*d = -3*l, 5*d - 21 = -m*l. Which is smaller: o or l?
o
Let d(j) = -j**2 - 6*j - 7. Let w be d(-5). Let b be (-8)/48 + (-14)/(-12). Suppose -m = -b + 5. Which is greater: m or w?
w
Suppose -3*o - 44 = t, 0*t + 2*t = -3*o - 73. Suppose -24*q - 69 = -21*q + 3*i, 0 = 11*i - 66. Does q = t?
True
Let n(c) = -2*c**2 + 16*c - 16. Let d be n(1). Which is bigger: d or -39/31?
-39/31
Let g be (6511/(-8))/((-175)/28 + 1). Let u = 155 - g. Which is bigger: 0 or u?
0
Let y be (-8260)/(-14)*32/(-600). Is -30 greater than y?
True
Let g = 355 - 2491/7. Let i be (-12)/9*16/14. Let d = g - i. Which is smaller: d or 0?
0
Let y(w) be the third derivative of -w**4/6 - 8*w**3/3 - 2*w**2. Let f be y(-3). Is -10 bigger than f?
False
Let z(u) = 20*u + 1. Let g be z(6). Let n = g + -120. Which is bigger: n or 2/455?
n
Suppose -2*k + 3*p - 11 = 0, k - 16 = -4*p - 5. Let n(z) = z + 1. Let w be n(-4). Which is greater: k or w?
k
Let b = 3517 - 3517. Let y = 237 + -7111/30. Which is smaller: y or b?
y
Let j(m) = -m**2 + 2*m - 41. Let a be j(-12). Which is greater: -210 or a?
a
Let z = -385 - -385. Is z greater than -2/495?
True
Let q = 1 - 2. Suppose -2*g - 3*p - 2 - 3 = 0, -22 = -5*g + 4*p. Let j be 1 + 4 - (g - -2). Are j and q equal?
False
Let g = -0.0553 + -0.0137. Are g and 5 non-equal?
True
Suppose -34*j = 299 + 3441. Is -111 <= j?
True
Suppose 2*c + 3*d - 10 = 0, 3*c + 2*d = 6*c + 11. Which is smaller: c or -6/149?
c
Let z = -85.3693 - 0.1307. Which is smaller: 0 or z?
z
Let v = -53 + 53. Let a be (-8)/(-616) - v*(-1)/(-2). Which is smaller: -1 or a?
-1
Let h = -91102/25 + 3644. Let w be 2/9 + 52/9. Suppose 3*c + w*n + 3 = 4*n, 3*c = n + 6. Is c >= h?
True
Let r = 0.12 - 0.02. Let c(z) = -z + 8. Let q be c(3). Which is greater: q or r?
q
Suppose 4368*m = 4375*m + 175. Is -26 at least as big as m?
False
Suppose 0 = -2*g - g + 4*v + 5, 0 = -3*g + v + 17. Suppose -4*m = 5*o + 9 - 95, 0 = -o - 2*m + 22. Suppose g - o = -r. Which is smaller: -2 or r?
-2
Suppose 0 = -38*j + 21*j + 204. Which is smaller: 138/13 or j?
138/13
Let a be (300/(-9))/(2/(-3)). Suppose 0 = -10*q + a - 10. Which is bigger: q or 8?
8
Suppose 76 = 9*r - 464. Let x = -14 + r. Is x > 45?
True
Let j be ((-20)/(-14))/(4/(-28)). Which is bigger: -5 or j?
-5
Let r(c) be the second derivative of -c**5/20 + c**4/12 + c**3/6 - c**2 + 4*c. Let p be r(2). Let q be ((-1)/13)/(-3 - p). Which is smaller: q or 0?
q
Suppose 2*v + 4*p + 19 = 3*v, 3*v = 2*p + 47. Do 15 and v have different values?
False
Let r = -1114 + 1130. Which is smaller: -8 or r?
-8
Let w be (-6)/(-8) - (-12)/(-16). Suppose -5*u + 12 = t - w*u, 15 = -t + 4*u. Let x be (t/12)/((-1)/(-2)). Is x greater than or equal to 0?
False
Let h = 36 - 36. Let p = 3 + -3. Suppose 3*l = 5*q + 22, 5*l + q + 0*q + 10 = p. Is h at least as big as l?
True
Let h = 1.32 - -0.28. Let l = h + -1.6. Is l smaller than 0.05?
True
Let d = -2 + 0. Let p be 8*8/(-24)*1. Is d != p?
True
Let h(g) = 6 - 7*g + 4*g**2 + 2*g**2 - 5*g**2. Let i be h(6). Suppose 2*s - 2*a = -3*s + 1, 4*a - 8 = i. Is s at most 3/10?
False
Let t be (1 + (-2)/4)*