r -1/27?
d
Let s = -12647 + 12647. Which is greater: s or -0.00577?
s
Suppose 63 = 94*w - 31. Which is greater: w or -17/161?
w
Suppose -3*w - 1 = -28. Let z(i) = 101*i - 159. Let n be z(6). Let o = n - 439. Which is greater: o or w?
w
Let u = -10 - -65. Suppose u = -5*s - l - l, -s = -l + 4. Let h be (1/s)/((-3)/27). Which is smaller: h or 3/104?
3/104
Let y(j) = -16*j. Let o be y(-1). Let w be 152/(-7) + o/(-56). Let d = -0.6 + -0.4. Which is greater: w or d?
d
Let i = -482 + 4345/9. Let k be 3/(-5)*-1 + (-323)/(-95). Suppose 6 = k*t + w, -4*t - 3*w + 0*w = -10. Is t < i?
False
Let o = -190 + 186. Let u be 1/o + 14/(-32)*4. Is -66 greater than u?
False
Let x be 4/20 + 4/(-20). Suppose 4*t + 7 = -s, x = -t - 0*t - 3*s - 10. Is 1/66 > t?
True
Let v = 163 + -163. Let a = 27 - 25. Let h be (-55)/84 + a/3. Which is smaller: v or h?
v
Let a be 0 + 0 + (3 - 2). Let y be ((-1)/18*12/(-16))/((-186)/279). Which is smaller: a or y?
y
Let a be (41120/45)/8 + 4/(-18). Suppose -13*k = -10*k + a. Let c = 64 + k. Is 25 bigger than c?
False
Suppose 1 = l + 5*j, l - 11*j + 23 = -10*j. Suppose 2*r - 28 = 3*i - 0*r, 0 = 4*r - 8. Is i equal to l?
False
Let x = 1482 + -1447. Which is smaller: 46 or x?
x
Suppose 22*t = 6 - 6. Suppose t = 927*n - 931*n + 180. Which is smaller: n or 43?
43
Let v be ((-22)/4)/((-1)/6). Let c(u) = -u**3 - 177*u**2 - 1028*u + 22. Let b be c(-6). Is v at most b?
True
Let j = 17 + -9. Let k(y) be the first derivative of -2*y**3/3 + 13*y**2/2 + 16*y + 24. Let h be k(7). Which is greater: j or h?
h
Let n = 39542/561849 - 2/9857. Which is smaller: n or 4?
n
Suppose 46 = -4*y - 2*o - 474, -3*o = -3*y - 399. Which is smaller: -123 or y?
y
Suppose -8*n + 71 = -32 - 1. Let z = 0 + 12. Does z = n?
False
Suppose 5*c = 4*c + 194. Let r = c - 194. Let l = 1443/7 - 36159/175. Which is greater: r or l?
r
Let d be (4/14)/((-45)/105). Let i(a) = -a**3 + 5*a - 6. Let o be i(2). Let f be ((-18)/o)/(-1 + 6/4). Is f != d?
True
Let s = -1390 - -2101. Which is greater: s or 713?
713
Let z = -1797 + 1145. Let g = -672 - z. Which is greater: g or -19?
-19
Let m = 74.4952 + 13.7258. Let d = m + -0.221. Let w = d - 48. Which is greater: -1 or w?
w
Let s = -0.04155 + 14.04155. Is -4/93 bigger than s?
False
Let j = -7 + 4. Let x = 21993 - 21995.8. Are x and j equal?
False
Let v = -2577 + 2577. Which is greater: v or 104/203?
104/203
Let r(j) = 10*j - 25. Let d be r(3). Let f = -47/9 + d. Do f and 4 have different values?
True
Let m be 1 - (-3 + (-14886)/(-3723)). Let q(y) = 2*y**3 + 3*y**2 - 36*y - 6. Let p be q(-5). Is m at least as big as p?
True
Suppose -4*l - 3*p = -45, -4*l + 55 - 11 = 4*p. Suppose 5*k + l = 9*k. Let d be k/(-9) + (-15)/9. Is d greater than 7?
False
Let r = 1/7925 - 55568/737025. Are 1/4 and r non-equal?
True
Let m be -2 + 2 - (2 - 4). Suppose -m*c = -4, -2*b - 14 = 4*c - 2. Let j be 10/30 + (-4 + 0 - 232/48). Which is smaller: j or b?
b
Let j(a) = -2*a**3 + 3*a**2 - a. Let v be j(2). Suppose -176 - 396 = 11*t. Let o be 54/t*(-20)/(-3). Does o = v?
False
Let g = -59 + 53. Let w be 63/(-2 + -1)*2/g. Which is smaller: w or 1?
1
Let o(s) = s + 3. Let g be o(-1). Let n be (51/g - 9)*(-8)/(-402). Are n and 0 nonequal?
True
Let t be 1016532/453 - (-4 + 1 + 3/3). Do 2248 and t have the same value?
False
Let b = -101 - -110. Let q be (9/14)/9*b/18. Is 0 < q?
True
Suppose 350*x - 33594 = 29056. Which is smaller: 209 or x?
x
Let s = 143/4 + -11439/320. Let h = s + 79/320. Which is bigger: h or 0.01?
h
Let o be 2/(35/14 + -2). Let x be 13503/4503 + -1 + o + -6. Is x less than -1?
False
Let t be -16 + (-16 - (-14 - -11)). Is 72 greater than t?
True
Let v = -0.485 - -246.485. Let p = v + -246.2. Is p equal to 73?
False
Let b = -428 + 408. Let z = -7 - 5. Let t(f) = f**3 + 12*f**2 + 3*f + 16. Let v be t(z). Are b and v unequal?
False
Let s = -54 + 33. Let c = -4383 - -4362.13. Let v = s - c. Which is smaller: v or -0.1?
v
Let u = 7.415 + -7.736. Do 0.18 and u have the same value?
False
Let x be (1776/(-391608))/((-5)/7). Suppose -4*w = a - 3, -3*w - 15 = w - 5*a. Which is smaller: w or x?
w
Let p(l) = -20*l**2 + 36*l + 60. Let j be p(-2). Is 15 at most as big as j?
False
Let c = 11 - 8. Let n = -130 + 129.4. Is n greater than c?
False
Suppose -715 = -3*v + 965. Let m be 14/1 - (-6 - 2146/(-111)). Which is smaller: m or v?
m
Let d be (3 + -1 - 111/60)/(16/96). Which is bigger: d or 0.6?
d
Suppose 14*p = -54 + 68. Let x be p - (-3 + (3 - 18)). Which is smaller: x or 160/9?
160/9
Let c = 3241 - 6025. Is -2784 < c?
False
Suppose 15*l - 7540 = 86*l - 19*l. Which is greater: l or -134?
-134
Let l(g) = g**3 + 73*g**2 - 283*g - 130. Let c be l(-76). Is 4049 smaller than c?
True
Suppose o = 2*o. Let b be 456593/(-1412567) + 3/((-117)/(-12)). Is b > o?
False
Let i be (-3)/((-1792)/1152 - (-5)/9). Let p = -3257/187 + 361/17. Which is greater: p or i?
p
Suppose -3*f + 201 = -3*h - 6*f, 0 = 4*h - f + 258. Let g be (-1)/((h/20 + 3)/(-1)). Which is greater: -50/19 or g?
-50/19
Let r be (-1 + (-10)/(-6) + 78/(-117))/(-2). Which is bigger: -7/2333 or r?
r
Let o = -867 - -883. Is o equal to 91/6?
False
Let p = 199 - 206. Let x be p/4 + 3/4. Which is smaller: 4 or x?
x
Let n = -7997662/367 - -21792. Is 1/9 < n?
False
Let u(x) = x**2 - 3*x - 5. Let l be u(-2). Suppose -l*k + 28 = -82. Suppose -r + 19 = k. Is r not equal to -15/8?
True
Let j = 13608/5 + -2722. Let a be 3 - (-15)/(-18)*-2. Do j and a have different values?
True
Let x = -94.7 - -95.7. Let j = -0.18 - -0.2. Which is smaller: x or j?
j
Let b be 18/3 + (-1687 - -60). Which is smaller: -1623 or b?
-1623
Suppose -469 + 470 = x. Suppose 23*b = 22*b + x. Which is smaller: b or 1/82?
1/82
Let a be -33*(-14)/(-77) - 22*706/(-2580). Which is bigger: 0 or a?
a
Let s = -2010 - -2017. Which is bigger: s or 2/1003?
s
Suppose 9*y - 64291 - 85226 = 0. Which is bigger: 16614 or y?
16614
Let l = -0.2073 - 0.7927. Which is smaller: l or -437?
-437
Let o = 0.19745 - -27.80255. Which is smaller: o or 0.66?
0.66
Suppose 0 = -2*u - 4*y + 20, 3*y = y + 10. Let m be 1*(-5)/((-1420)/(-24)). Do u and m have different values?
True
Suppose -3 = 2*a + 3, a = -2*d - 1641. Which is greater: d or -818?
-818
Let l = -692.7 + -304.3. Are l and 1 non-equal?
True
Let d = 53301 + -53296. Let m = 47/15 + -26/15. Which is smaller: m or d?
m
Let c be (9*(-1)/32)/((-969)/(-195092)). Which is smaller: c or -57?
-57
Suppose 52 = -3*a + 58. Suppose -a*c + 2 = w, -3*c + w - 3*w + 3 = 0. Which is bigger: c or -2/803?
c
Suppose -2*v = -v - 12. Let r(u) = 51*u - 11 - 52*u + 26. Let j be r(v). Is 2 < j?
True
Let s be 3/(-12) - 44/(-176). Is 1/1733 smaller than s?
False
Let z = 288 + -305. Let b(w) = -w**2 - 5*w + 2. Let j be b(-5). Let h be -15*(5 + -3)/j. Is z greater than h?
False
Let k(w) = -w**2 + 18*w - 66. Let d be k(12). Let i be ((-72)/16 + d)/((-9)/312). Which is greater: -56 or i?
i
Let f be 4/170*40/(-136). Let x = 176/108953 + f. Is x bigger than -1?
True
Suppose 20*h - 1666 - 2634 = 0. Let g be 1 + 3 + 1 + 209. Is h <= g?
False
Let f = 4 - 3. Suppose 2*z = -2*w + 30, 4*z + 9 = 2*w - 3. Suppose 2*p - w = 20. Is p < f?
False
Suppose -358 = -d - 4*k, -2*d + k + 133 + 574 = 0. Is 354 at least as big as d?
True
Let x(y) be the first derivative of y**3/3 - 13*y**2/2 + 31*y + 102. Let j be x(5). Which is smaller: j or -11?
-11
Let b = 303 + -303. Suppose 234*r - 230*r + 4 = b. Let f be 2 + -1 + (-48)/46. Is r not equal to f?
True
Let j(x) = 3*x**2 + 2*x. Let q be j(-3). Suppose 6 = -q*z + 23*z. Suppose -h = 0, -y + h + 2 = -z*y. Which is bigger: 4/49 or y?
4/49
Let b = 0.353 + -0.253. Which is smaller: 9625 or b?
b
Let o(f) = 742*f - 3710. Let v be o(5). Let y = 7.3 - 1.3. Which is bigger: y or v?
y
Let g = 361.99775 - -0.00225. Is g > -2/9?
True
Let u = 167/12 + -49/24. Let y be -5*(-4)/(-170) + 189/17. Which is smaller: u or y?
y
Suppose 29*w - 4125 = 4*w. Is w equal to 160?
False
Let r = 3 - -4. Suppose 3*f + 5*l - 16 = 0, 0 = 2*f - r*f + 2*l + 6. Suppose -6 + 0 = -f*t + x, 5*t - 4*x - 21 = 0. Is -4 greater than t?
False
Let c be (32578 + 165/(-15))*(-2)/8140 - -8. Is c > 0?
False
Let n = -0.2512 - 62.7488. Let l = -27 + -34. Let a = l - n. Is a != -13/2?
True
Let i be (1 - 1)/(-3 + 4). Suppose -3*d = 4*d - 7560. Let o be (-2)/(-12) + (-114)/d*3. 