- 5*s + 67 = 0, 0 = 3*a - m*a + 2*s - 36. Let g = -22 - a. Which is greater: g or -1/19?
g
Let j = 5819 - 5818.8. Let p = 4 - 21. Let q = p + 5. Is q != j?
True
Let o = 130.078 - 0.078. Let s = o - 129.972. Which is smaller: s or -1/2?
-1/2
Suppose -4*i = -2*i. Suppose 2*j = -4*r + j - 16, i = -4*r - 3*j - 16. Let s(w) = -w**3 + w**2 + w + 1. Let k be s(0). Is r greater than or equal to k?
False
Let l = -61.3 + 72. Let m = -1097 - -1107.8. Let b = l - m. Does -2 = b?
False
Suppose 12*v - 6 = -126. Let q be (-2)/(-4) + v/(-4). Suppose q*s = -s. Do 2/17 and s have the same value?
False
Let m = -3418 - -23927/7. Which is greater: -1/40 or m?
m
Let s be (130/(-52))/(((-3)/1)/18). Suppose -31*g + 46 = s. Is 14 greater than g?
True
Let x be (-20)/(-4 + 2)*(-4)/(-8). Suppose g = -g + 2. Which is bigger: x or g?
x
Let n = -8.313 - -1.007. Let f = n - -7.4. Let v = -1.906 - f. Which is smaller: v or 0.23?
v
Let r be (-1)/(2/(-100)) - (-136)/(-136). Suppose 0 = -4*d + 3*l - r, 0 = l - 4 + 9. Is -11 at most d?
False
Let c(n) be the second derivative of n**4/12 + 4*n**3/3 - n**2 - 6*n. Let b be c(-8). Suppose -19*t - 5 = -24*t - 3*h, -8 = -t - 2*h. Does t = b?
True
Let a = 4296 - 4297. Which is greater: a or -2/1845?
-2/1845
Let u = -24901 + 20934. Is u greater than -3969?
True
Let c(i) = -i + 17. Let s(v) = -v**2 + 8*v + 18. Let k be s(9). Let h be c(k). Let t be ((-3)/h)/((-30)/140). Is t equal to 1?
False
Let r be (-3)/(-7) + (-5 - 149391/630). Let k = -241 - r. Is k smaller than 0?
False
Let b be (3/153)/(5465208/2732589 - 2). Let k = b - 1786. Which is bigger: k or 0?
k
Let o be ((10404 - 5)/(-1))/((-105)/(-21)). Let v be (-842)/6*(4 - -11). Let z = v - o. Is z bigger than -24?
False
Let z = 6048.5 + 28.5. Which is smaller: 1/3 or z?
1/3
Suppose -4*m = -g + 8, 0 = -10*m + 7*m - 3. Let n = 10 + -4. Let b be (0 - -22)*(g - 12/n). Which is smaller: 45 or b?
b
Let p be -27*(-30)/1080 + 17/(-12). Which is smaller: -0.05924 or p?
p
Suppose -d - 3*k - 423 = 0, -10*d + 4*k = -12*d - 836. Is -410 at most as big as d?
True
Suppose -112 = 110*s - 118*s. Let g = 5 + 4. Let c be -21*1*(-6)/g. Is c not equal to s?
False
Let w = 2 + -3. Let r be (-4 - -3)*-1 + 45484/(-120). Let o = r + 378. Which is smaller: w or o?
w
Suppose 129*c + 65*c - 123 - 71 = 0. Is 2/24333 at most c?
True
Let l be (-4 - -1) + 433890/28 - (-4)/(-56). Do l and 15493 have the same value?
True
Let d = 15/52 - 37/156. Which is greater: -0.036 or d?
d
Let a be 6 + (-3 - (90/(-5))/6) - -85. Which is greater: a or 94?
94
Let p = 8.872 + -0.072. Let u = p + -11. Let t = -2.8 + u. Which is bigger: t or 2/3?
2/3
Suppose -878*f - 37362 = -904*f. Which is smaller: f or 1439?
f
Suppose 516 = q - 4*g, 5*g + 2520 = q + 4*q. Suppose q = -11*p - 160. Is p < -60?
False
Suppose -93*d + 76*d = 0. Do 1/923 and d have different values?
True
Let p = 20 - 8. Let z be 3 - 2/p*32. Suppose -4*m + 19 = -5*f, -2*f - 58 + 57 = 5*m. Which is smaller: z or f?
f
Let o be (80/(-15))/8 - 1088/(-1668). Let j = 475655365/417 + -1140662. Let f = o + j. Which is smaller: -1 or f?
f
Let r(z) = 4*z - 7*z + z**3 + 0*z + 25 + 2*z - 14*z**2. Let i be r(14). Is -5 at most as big as i?
True
Suppose -3*x + 3*u - 12247 = 13778, -4*u - 4 = 0. Which is smaller: -8674 or x?
x
Suppose 5*z + 5 = -o, 28*z - 26*z + 4 = 0. Suppose 15 = -o*x, 6*k + 8 = 4*k - 2*x. Is -111 < k?
True
Suppose 40*o + 191*o + 133*o - 364 = 0. Is o at most as big as 10/1081?
False
Let w = -6 + 18.4. Let n = w - 10.4. Which is smaller: 0.4 or n?
0.4
Suppose 0 = -2*z - 4*c + 22, -3*c + 6*c - 3 = 0. Let d be z/(-2)*2/(-3). Let b be ((-1)/3)/(d/(18/(-80))). Does b = -1?
False
Suppose s = -s + 2, 2*n = 4*s + 12. Suppose 4*k + 3*w - 28 + 0 = 0, -w = k - n. Suppose 0 = 5*c - 1 - k, -c - 3 = 2*r. Is r <= -2?
True
Let s be ((-52)/(-10))/(38/(-22667)). Let y = s + 3117. Which is smaller: y or 14?
14
Let y = 1520 - 1575. Is -61 at most as big as y?
True
Suppose -7*k + 273 = 5*y - 5*k, 5*y + 5*k = 285. Suppose 44*c - y*c - 108 = 0. Is c less than or equal to -24?
False
Let m = 8308 + -8411. Which is bigger: 0.35 or m?
0.35
Suppose -4*b = -35 - 161. Let w = -17 + b. Let t = 10 - w. Which is bigger: -23 or t?
t
Suppose -60*n - 1685 = 3655. Which is greater: n or -25?
-25
Let t = -5012 + 5012. Do 4/2227 and t have the same value?
False
Let y be 14/2 + (-4182113)/4002. Let x = y + 1038. Do x and -1 have the same value?
False
Let p(r) = 7*r + 5. Let h be p(-4). Suppose -812 = 34*g - 166. Which is smaller: g or h?
h
Suppose 3*z + 2*z = -h - 16, -z - 8 = -h. Suppose -5*p = h*v - 94, 4*v - 86 + 6 = 2*p. Suppose -54 = 3*d - v. Is -2 equal to d?
False
Let p(d) = 168*d - 2016. Let a be p(12). Which is smaller: a or -1/2906?
-1/2906
Let o = 459.3 + 16.7. Let y = -477 + o. Are -265 and y non-equal?
True
Let d = 181027 - 2161643409/11941. Which is smaller: d or -1?
-1
Let m = -6372 + 19111/3. Which is bigger: m or -152?
m
Let d = -15.646 + 15.856. Is d at most as big as -52?
False
Suppose -4*h + i = -5 + 20, i - 12 = 3*h. Let s be h/21 + (-4437)/(-31941). Is -1 > s?
False
Let c(h) = -h**2 + 7*h - 4. Let j be c(6). Suppose 15 = j*l + 9. Suppose -5*m = -0*r - 4*r, -l*r = -4*m. Is -2/3 <= m?
True
Suppose 3*g = -3*c + 63, -4*c - 7*g + 9*g + 102 = 0. Let d be (20 - -2) + (0 - -3). Is c equal to d?
False
Let j(u) = -2*u - 21. Let y(t) = 3*t + 21. Let z(f) = -4*j(f) - 3*y(f). Suppose 13*k = 12*k + 5, 0 = -3*q + 4*k + 43. Let b be z(q). Which is smaller: 3/8 or b?
b
Let v(p) = -56*p - 6828. Let x be v(-121). Are -1180/23 and x equal?
False
Suppose 48*r - 20 = 47*r. Suppose b = 6*b - 55. Which is smaller: r or b?
b
Suppose 0 = -5*t + t + 8. Suppose -t*q + 48 = -4*y, 3*q + 2*y = 12 + 60. Let r be (-60)/(-14) + -4 + (-498)/(-21). Does r = q?
True
Let z = -1708 + 1653. Which is smaller: z or -0.07?
z
Suppose -5*b = 3*a - 22 + 12, 25 = -5*a. Let g be (-5652)/9842 - (186/42 - b). Which is smaller: g or 1?
g
Let u = 0.08 - -0.16. Let s = -2.26 - u. Let z = 1218 + -1218. Is z smaller than s?
False
Let d = 2655.4 - 2887.4. Is -3/4 < d?
False
Let l(u) = u**2 - 91*u + 1890. Let y be l(59). Are y and 168/103 nonequal?
True
Let s = 158 - 285. Which is greater: -126 or s?
-126
Suppose -y = 2*n + 82, 38*n = 39*n - y + 29. Is n smaller than -6?
True
Let g be ((-10)/(-25))/(13/65). Suppose g*p - 5*p = 5*p. Is p greater than or equal to 5/77?
False
Suppose -3*j - 15 = 3*u, -3*j - 3*u = -j + 13. Let a be (-1)/(459/594*j*1). Which is greater: a or 2?
2
Let o(y) = 2*y**3 + 6*y**2 - 9*y + 10. Let q be (6/5)/((-16)/10 + 2). Let n be o(q). Is 91 > n?
False
Suppose -49*x + 1093 = 1142. Is x < 2/3091?
True
Let r = 297 - 294. Suppose -227 = -5*c - 2. Suppose -r*i + c = 3. Is i bigger than 14?
False
Let z be 676 + (-14 - (-32 - -12)). Which is bigger: 680 or z?
z
Let d = -11/1728 - -174935/63936. Is d at least 2?
True
Suppose -164 = -12*d - 8. Suppose 15 = 5*i - 5*l, d*i - 14*i - l + 9 = 0. Suppose -a + 1 = c, -4*a + 4*c + 26 = -2*a. Is i greater than or equal to a?
True
Let i = 12541/38 + -330. Let q = i + 33/190. Is q > 77?
False
Let j = -2 - -3. Let k be ((-20)/(-4) - 3)/((-4)/(-10)). Suppose 4*n + k*y + j = 0, 0*n = 4*n + y - 3. Is 7/11 greater than n?
False
Let b = -826.1 + 894. Let w = -68 + b. Let r(p) = 2*p + 9. Let i be r(-6). Which is smaller: i or w?
i
Let w = 67 - 68. Let g = -154 + 85. Is w > g?
True
Let d be (-22)/(-143) - 50814/(-117)*6. Which is smaller: 2609 or d?
d
Let c = -5378 + 15958. Are c and 10581 nonequal?
True
Let d be (13 - 3)/(-5) - -5. Let n be d/(-5) - (-12)/20. Suppose b = 5*b - a - 32, n = 2*b + 3*a - 2. Do -1 and b have different values?
True
Suppose -5*w + 20 = 0, -5*i + w - 1263 = 12066. Which is bigger: i or -2666?
i
Let q(v) = -v**3 + 34*v**2 - 202*v + 18. Let h be q(8). Let i(r) = r**3 + 8*r**2 - 8*r + 2. Let d be i(-8). Do h and d have the same value?
True
Let f = -155 + 204. Let d = -49 + f. Is 3/17 > d?
True
Let s = 512.6593 + 4.3407. Is s greater than -7/4?
True
Let z be ((-19)/12 - 20/(-80)) + (-5)/(-15). Which is smaller: 7/1927 or z?
z
Let r(m) = -6*m + 135. Let z = -115 - -136. Let q be r(z). Which is smaller: q or 3?
3
Let s = -0.014 - 0.236. Let f = -0.45 + 0.7. Let h = s + f. Which is greater: h or -78?
h
Let c = -365 + 360. Let f be (24/70)/((-10)/105). Is f != c?
True
Let o =