 4*d - 13. Is -3/901 at least m?
True
Suppose -15*t + 44*t - 27 = 2. Which is smaller: t or -20/1109?
-20/1109
Let y = -4968 + 4967. Let q = 75 - -16. Let b be 14/q - (0 + 0). Which is greater: b or y?
b
Let l be 87570/2650 - 4/(-8)*-3. Let c = -12/265 + l. Is 31 greater than c?
False
Let m be -3*1*(-12)/(-9). Let q = -1021/635 + -126/127. Is m at least q?
False
Let u(q) = -5*q**2 - 12*q - 4. Let i be u(-2). Let x be -2*78/12*(-7)/1. Which is greater: x or i?
x
Let a(z) = 13*z**2 + 12*z + 6. Let x be a(-2). Suppose -x*p + 60*p = 4836. Which is smaller: 188 or p?
p
Let h = -67525/588 - 195/196. Which is smaller: h or -117?
-117
Let g = 4.238 - 39.238. Is g greater than or equal to 20?
False
Let k(u) = u**3 - 14*u**2 - 28*u - 28. Let b be k(16). Suppose 14*v - 22 = b*v. Is v equal to 6/131?
False
Let c(t) = 10*t - 3. Let p be c(1). Suppose -9*s = -p*s - 6. Suppose -s*g + 2 = -5*g. Which is smaller: g or 1/47?
g
Suppose 4*n - 207 + 631 = 0. Is 9 greater than n?
True
Suppose 54 = 4*k - 2*p, -3*k = -2*k - 5*p - 9. Let x = k - 57/4. Let o = 0.94 + -6.94. Is x greater than or equal to o?
True
Let u = -115.01 + 254.84. Let a = u - 3.83. Which is smaller: a or -2?
-2
Let t be 25/6*(-9)/20. Let l(c) be the second derivative of -c**5/20 - 7*c**4/3 - c**3/6 - 31*c**2/2 - 91*c. Let k be l(-28). Is t greater than or equal to k?
True
Suppose 2*t - 9*t = -5005. Suppose 7*u - 5*z = 9*u + 321, -t = 5*u - 5*z. Let w = u + 131. Is 2/3 equal to w?
False
Let o = 759 + -603. Let r = 283 - o. Which is greater: r or -2/3?
r
Let p = 4152 - 12610/3. Let l(m) = 50*m - 1. Let k be l(-1). Let i = k - p. Is i at least -3/10?
True
Suppose -161 = -5*k + 49. Suppose 22*z - 3871 = 133. Let p be 1/2*k/z. Which is bigger: p or 0?
p
Let g be -3 + 1*(-290 - -5). Let d = g + 289. Is 4/73 at least d?
False
Let u be ((-14)/(-42))/(1/9). Let o = 289277/7 - 41227. Let d = o + -98. Are u and d equal?
False
Let f(b) = -b**3 - 16*b**2 + 108*b + 68. Let a be f(-21). Which is greater: -1.28 or a?
a
Let q(r) = -3*r**2 + 17*r + 8. Let x be q(6). Let k be x/(-6)*14/84. Do 1 and k have the same value?
False
Let r be ((-9009694)/(-5610) + 3 + -1)/2. Let i = 804 - r. Which is smaller: i or -1?
-1
Suppose 0 = 967*o - 971*o + 2*r - 12064, 5*o + 15113 = -3*r. Which is bigger: -3021 or o?
o
Let l = 145 - 131. Suppose -k = 6*k + l. Is -1 != k?
True
Suppose 0 = 68*w + 2856 - 544. Which is smaller: -3 or w?
w
Let g = 578.7 - 588. Let n = -8.3 - g. Which is smaller: 0.519 or n?
0.519
Let x be 2/24 - (6 - (-876)/144). Let j be (-7 + 5)*3*1. Is j at most x?
False
Suppose -q + 20 = -2*c, 0*c - c + 3*q = 10. Let r = -9 - c. Let s = 415 + -409. Which is greater: s or r?
s
Let o be (4 - (-414)/(-15)) + (-3)/(-5). Suppose -3*k = 6*k + 171. Is k smaller than o?
False
Let t = -26.453 + 0.453. Let u = 5.5 + 21.5. Let p = u + t. Does 2 = p?
False
Let m be (-327112)/(-390) - 312/351*6/40. Which is smaller: 839 or m?
m
Let k = 1682 - 1684. Are 128.5 and k unequal?
True
Suppose 4*f = 4*j - 9456, 12*j - 11*j - 2372 = 3*f. Which is greater: 2361 or j?
2361
Let c = -3050 - -768599/252. Let v = 83/252 - c. Which is bigger: 2/67 or v?
v
Suppose 2*b + 5*f + 411 = 421, 4*b - 20 = 4*f. Which is greater: -426 or b?
b
Let v = 256 + -131. Let m = v - 122. Let r(x) = -x**3 - 6*x**2 + 6*x - 1. Let a be r(-7). Which is greater: m or a?
a
Let k = 2946 - 2945. Which is bigger: k or 1202?
1202
Let x = 824 + -1519. Which is smaller: -682 or x?
x
Let y = 6 - 6.4. Let f be 3420/81 + 4/(-18) - -4. Suppose -49*o = -f*o - 27. Is y at most as big as o?
True
Let x be 25860/32 - (527/(-68) + 8). Which is smaller: x or 808?
x
Let i be 1/(2*(-11)/22)*(0 - -1). Which is greater: -8/1107 or i?
-8/1107
Suppose 4*s - 4*l - 60 = 0, -5*s - 5 = -4*s - 5*l. Suppose -2*n - 4*o + 22 = 0, 5*n + o - 72 = n. Which is greater: s or n?
s
Let g(i) = 5*i + 76 + 2*i - i**2 - 10*i. Let j be g(0). Suppose c = -4*v + v + 61, -4*v - 248 = -3*c. Is j bigger than c?
False
Let b(y) = y**3 + 20*y**2 + 17*y - 26. Let p be b(-19). Let v = -14 + p. Let t = -2396/803 - -32/73. Are v and t non-equal?
True
Let a = -3187 + 3361. Is a at most 171?
False
Suppose -483*w + 16 = -484*w, -2*w - 153 = k. Let u be 0 - 40*(1 + 2). Do u and k have the same value?
False
Let f = -29 - -46. Suppose -k - 2*q - 12 = -2*k, 2*k = -2*q + 36. Which is bigger: k or f?
f
Suppose -t + 0 - 1 = 0, 3*d - 2*t = -1. Let a = d - 26. Let o be 5/3 - (9 + (-1848)/(-99)). Which is greater: a or o?
o
Let g(w) = 4 + 2 + w + w**2 - 4 + 4*w**3. Let b be g(2). Let q = 28999 + -29000. Which is smaller: q or b?
q
Suppose -10862*d = -10859*d - 490 - 1154. Which is greater: 545 or d?
d
Let q be ((-4)/(-7))/(10 - 77656/(-119)). Is q <= 0?
False
Let m(d) = -d**2 - 3*d - 3. Suppose a + 4 = -4*p + 2, 2 = p. Let q be (-12)/60 - (-18)/a. Let y be m(q). Which is smaller: 0 or y?
y
Suppose -1572 + 392 = 4*u. Suppose 3*q + 5*g = -14, -12 + 0 = 4*q + 5*g. Let h be (-1)/5*(u/160 + q). Is -1 != h?
True
Suppose 0 = b - 3 + 2. Let d be (-1 + (-85)/(-20))*-4*b. Which is bigger: -18 or d?
d
Let z(q) = q**2 - 5*q + 2. Let l be z(-3). Suppose 0 = l*j + 18 - 304. Is j bigger than 9?
True
Let j = -0.282 - 534.718. Let z = 518 + j. Which is greater: 0.07 or z?
0.07
Let k = 1 - 0.9. Let f be 741852/(-972) - (-21)/(-27). Do f and k have different values?
True
Suppose 0 = 15*g + 12*g. Suppose 2*m + 4*j + 168 = m, 0 = 5*m - j + 840. Let q = m + 2188/13. Do q and g have the same value?
False
Let d(m) = m**2 + 218*m + 2857. Let x be d(-14). Is x at most as big as 7/649?
False
Let j = -31 - -35. Let f be j/(4180/2085) - 2. Let w = f - -635/1672. Which is bigger: 1 or w?
1
Suppose -49*w = -36 - 13. Is w greater than or equal to -25/137?
True
Let c(q) = q**3 + 8*q**2 + q + 10. Let f be c(-8). Suppose 8 = -3*x - 3*s + 2*s, 0 = -f*x - 5*s - 14. Let i be (0/x)/((-1)/(-2)*6). Which is greater: i or 2/15?
2/15
Let f = -13 - -16. Suppose -4*l - 923 = 5*x, 0*x - 2*l - 370 = 2*x. Let s be x/(-105) - (-1)/(-7). Which is greater: f or s?
f
Let v(i) = 191*i**2 - 70*i - 381. Let p be v(-6). Is 6915 greater than p?
False
Suppose -o = 2*b - 26, -b - b = 4*o - 20. Suppose -946 = b*f - 3*f. Which is greater: -259/3 or f?
f
Let k = 29.9 + -85.1. Let b = k - -55. Let j = 135.3 + -135. Is b greater than or equal to j?
False
Let m = 0.24 - -0.06. Let i = 36.14 - 36.342. Which is greater: i or m?
m
Suppose -29*d - 45*d = 7178. Are -50 and d non-equal?
True
Suppose 6*a - 6*a = 2*a. Suppose a = 127*i - 122*i - 200. Is 38 not equal to i?
True
Let q = -16.708 - -27.708. Is 820 less than q?
False
Suppose 24*a = -18*a + 168. Let v be (-23)/a + (68/8 - 9). Which is smaller: v or -5?
v
Let f be 882/(-3)*(-47)/1598. Which is smaller: 9 or f?
f
Let n = 3/137 + -1796/685. Let m(s) = s**3 + 28*s**2 - 181*s - 523. Let u be m(-33). Which is smaller: n or u?
n
Let h(g) = 31*g**2 - 2*g + 6. Let l be h(-5). Let w = -771 + l. Is 10 not equal to w?
True
Let q = -4.4062 + -405.7738. Let n = 407 + q. Is 0 greater than n?
True
Suppose -1785411 + 575169 = -248*k + 6*k. Is 5001 bigger than k?
False
Let l = -625 + 16. Let q = 77340/127 + l. Which is bigger: q or 0?
0
Let w(n) = -67*n - 1003. Let a be w(-15). Suppose 0 = k + 1 - 0. Is a < k?
False
Let i(z) = 2*z**3 - 4*z**2 + 4*z - 3. Let l be i(2). Suppose 11*n - l*n - 24 = 0. Suppose n*w = 2*w + 3*v + 5, -2*v - 5 = -3*w. Is 0 less than w?
True
Let d be 3/(-21) - 75306/49 - -6. Let y = d - -897. Which is greater: -633 or y?
-633
Let g be (22 - 30) + (0 + 1)*9. Is g bigger than 2/3165?
True
Let d(u) = -5*u**2 - 5*u - 11. Let t be d(-2). Let x be 2/((-32)/12 + 2). Let l(y) = 10*y + 10. Let v be l(x). Is t <= v?
True
Let j = 701 + -298. Suppose -3*s = 4*c + s - 368, -4*c + j = -3*s. Which is smaller: c or 96?
96
Let f = 36 + -85. Let a = 2518/51 + -828/17. Is a bigger than f?
True
Let w be (-96334)/294 + (0 - (-1)/(-3)). Let b = w + 330. Is b greater than 12/17?
True
Let p = -2215.6 - -2229. Which is greater: p or -5/3?
p
Let g = -1.9 - -2. Let y be 54/108 + (-1146)/(-4). Suppose 43 = 22*r - y. Which is bigger: r or g?
r
Let v = -89/12 - -4013/540. Is 3 greater than v?
True
Let d = -19 + 33. Let n(t) = 3*t**3 + 27*t**2 - 31*t - 27. Let f(b) = b**3 + 14*b**2 - 15*b - 14. Let p(u) = 5*f(u) - 2*n(u). Let w be p(15). Does d = w?
True
Let p = -5 