 Let j be -4*(-2)/40 + 12/15. Let u be d(j). Is u equal to -121?
True
Let a(y) = -y**2 - 778*y - 40978. Let m be a(-57). Suppose -q - 3*b + 111 = 0, 6*q = 3*q + 5*b + 375. Which is bigger: m or q?
q
Let i = 1.215 + -0.315. Let h = 1.01 - i. Is h < -3?
False
Let r(q) = q**3 - 9*q**2 - 23*q + 14. Let w be r(11). Suppose 3*k + k - 2*g - 10 = 0, 45 = 5*k + 4*g. Which is bigger: k or w?
k
Suppose -4*m = 5*k - 680, 3*k = -333*m + 338*m - 887. Which is greater: 174 or m?
m
Let q = 8777.3 - 9333. Let p = 556 + q. Which is bigger: 8 or p?
8
Suppose 0 = 4*a - 2 - 6, 0 = -2*g + 2*a. Let f be g/(-12)*38 - 0. Suppose -3*y - 17 = j, 0 = -4*y - 0*j - 2*j - 20. Is f at least y?
True
Let p = 27587/335 + 1803091/27470. Let u be 143 + (10*(-1)/(-4))/(17/34). Let s = p - u. Which is smaller: s or -1?
-1
Let l = 1166 - 2855. Let n = l + 1140. Is -548 != n?
True
Let y be 9/(-18)*(-6 + -216). Which is greater: y or 6?
y
Suppose 686*x - 701*x = 17040. Is -1136 not equal to x?
False
Let m be ((-4)/(-36))/(4/(-14)). Let q = -34/99 - m. Suppose 404 = 15*t + 404. Which is smaller: q or t?
t
Suppose -2*m = -h + 11 + 26, m + 2*h + 26 = 0. Which is smaller: 90 or m?
m
Let t = 0.23712 - -0.16288. Does t = 6121?
False
Let s = -3458 - -24204/7. Let i = -1272 - -10189/8. Which is greater: i or s?
i
Suppose -29*m - 5*k - 41 = -27*m, 4*k = 3*m + 4. Let b be 178/(-10) + m + (-195)/(-25). Which is greater: 0.1 or b?
0.1
Let r(m) = -m**2 + 15*m - 32. Suppose 0 = 2*y + 6*y - 80. Let i be r(y). Is i != 15?
True
Suppose -9 = -0*b - 3*b. Let m be 5/(100/(-145)) + (-25)/(-20). Let u be 10368/1890 + m/5. Which is bigger: b or u?
u
Let q = -221 - -150. Let f = -72815/1028 - -21/257. Let z = q - f. Is 1/6 bigger than z?
True
Let w(p) = 8*p**2 + 42*p + 17. Let z be w(-5). Suppose -z*c - 799 = 559. Is c at least as big as -194?
True
Suppose 258552 = 192*r - 40*r. Is r bigger than 1703?
False
Let t(w) = -3*w - 21. Let f(u) = -2*u - 21. Let d be (-258)/(-90) - (-8)/60. Let s(l) = d*t(l) - 2*f(l). Let n be s(-5). Do 3 and n have the same value?
False
Let o be ((-1462)/(-462) - (-14 + 15)) + -1. Let p = o - -1/462. Let u(x) = 9*x - 52. Let i be u(6). Which is greater: p or i?
i
Let t = 73 - 55. Suppose 4*u + 3 = -3*j - 34, 0 = 2*j + u + t. Is -3/4 at most j?
False
Let u(z) = -z**2 + 21*z - 53. Let n be (-4)/(-3)*(-216)/(-16). Let l be u(n). Which is bigger: l or -2/387?
l
Let g(o) = 4 - o**2 - 1 + 2147*o - 2143*o. Let m be g(4). Suppose m*s - 7*s = -12. Which is smaller: s or 9?
s
Suppose -8*c = -5*c. Suppose c = o + o + k + 1, -o - 8 = 2*k. Is o less than or equal to 5/2?
True
Suppose 11*n = 1650 - 88. Is 132 < n?
True
Let d be ((-8)/(-6)*207/(-46))/(-2). Suppose -d*h - t + 36 = 0, -2*t + 9 = -5*t. Is h less than or equal to 13?
True
Suppose -4*c = 4*u, -10*c + 11*u + 8 = 13*u. Which is bigger: c or 2/1939?
c
Suppose 2*z + 91 - 21 = -4*f, 5*z = -2*f - 39. Let m = -718 + 715. Let q be 20/75*m + (-36)/(-20). Is q greater than f?
True
Suppose 8*q - 3*i - 19 = 3*q, 5*q - 5*i = 25. Suppose q*n + 5*z = 2 - 35, -4*n = 2*z + 26. Let w be -2 + -1 + (92/(-7))/n. Which is greater: w or 5?
5
Let x be 66 + (5/(405/36))/(1/9). Is x at most 64?
False
Let i = -281.718 - -281. Let k = 0.758 + i. Which is greater: k or 2?
2
Let j = 13.8 + -0.3. Let w = -13.47 + j. Is w at most as big as -5?
False
Suppose 2*o + o + 84 = 0. Let m be o/(-8) + (-3)/(-6). Suppose -5 + 1 = m*q. Is -2/25 less than or equal to q?
False
Suppose 0 = 5*a - s + 6826, 2*a - 3*s - 6822 = 7*a. Let u = -25924/19 - a. Which is smaller: u or 1?
u
Let h = -2032 + 2246. Do -0.09 and h have the same value?
False
Let m = 154 + 132. Suppose 8*a - 90 = m. Which is greater: a or 4?
a
Let r = 84.65 + -84. Let u = 0.577 - r. Let t = u - 0.027. Which is smaller: -10/11 or t?
-10/11
Let t be (-506)/121 + 10*(-2)/(-110). Which is smaller: t or -362?
-362
Let o = -5447/2474120 + -2/28115. Which is smaller: o or 2/17?
o
Suppose -2*s - 79 = -3*d - 7*s, 141 = 5*d - s. Suppose r + 3 = 6. Suppose 4 = 4*z, -2*i = i + r*z - 87. Is d smaller than i?
False
Let y = -1548 + 1542. Let x(m) = m - 3. Let z be x(0). Is y less than z?
True
Let l(w) = -2*w - 30. Suppose 2*f + 2*f + 64 = 0. Let u be l(f). Suppose t = 5*q, u*q + q = -4*t - 23. Which is smaller: 2 or q?
q
Let t be (-73 + 75)/(4/20738). Is t >= 10370?
False
Let j(p) = 2*p**2 - 4*p. Let a be j(-4). Suppose 17*r - a = 13*r. Suppose 2*q - r = -4*q. Is q != 2?
False
Let a = -1554.9 + 1494. Let n = a + 61. Which is greater: n or 1.2?
1.2
Let c(h) = 237*h**2 - 2365*h - 48. Let t be c(10). Let m = 24 + -16. Which is bigger: t or m?
m
Suppose o - 35 = 6*o + 3*p, 15 = -3*p. Let c be 987/(-1284) + o/16 + 1. Let q = -21 - -22. Which is bigger: q or c?
q
Let z = 71 - 69. Let p be ((-21)/(-448))/(z/(-104)). Let q = p + 911/400. Is 1 != q?
True
Let x = 9 + -10. Let y = x + -9. Suppose 5*l + 1 + 50 = 2*m, -21 = -7*m. Do y and l have the same value?
False
Let c = -3.54652 + -0.05348. Which is greater: -2/27 or c?
-2/27
Let y = 54 + -23. Suppose 0 = -2*q - b + 94 - 38, q - 39 = 5*b. Which is smaller: y or q?
q
Let w = 4340 - 3306. Is 1 equal to w?
False
Suppose -3*l = -3*k, 0 = 3*l + 2*k + 2*k - 14. Suppose -10*y = -6*y + l*b - 318, 2*b + 2 = 0. Is y < 82?
True
Let d = 10/399 - -4/57. Let v = d + 32/105. Let g = 26 + -42. Is g > v?
False
Let g(y) = -y**2 - 34*y - 62. Let n be g(-32). Which is greater: n or -138?
n
Suppose 4*x - 4*b + 1467 = 71, 0 = 5*x + 3*b + 1705. Which is smaller: -341 or x?
x
Let s(a) = 491*a - 2631. Let b be s(8). Which is smaller: b or 1299?
b
Let g = -109 - -724. Let i = g - 615.2. Let b = 7 - 5.2. Which is bigger: b or i?
b
Let p = -112737.66 - -112738.3. Let b = -0.2 + 0.3. Is b at least p?
False
Let n be (87/(-84390))/((-1)/8). Is 1 at most n?
False
Let z = -71 - -75. Suppose 13*h - z*h = 333. Which is smaller: 39 or h?
h
Let n be 4/(-12)*6/(-4)*2. Let u = -3 - -21. Let a be 392/1602 + (-1 - (-14)/u). Is n less than a?
False
Let d = 0.09 - -0.91. Let v = 1 - d. Suppose -2*c + 16 = -2*m, 74*m + 5*c - 16 = 73*m. Which is greater: v or m?
v
Suppose n - 1949 = 4*a + 2089, 3022 = -3*a + 4*n. Is a > -2/5?
False
Let l(f) = 4*f**2 - 34*f - 11. Let g be l(8). Let h be (-5 + 4 + -2)*9/g. Let o = -0.06 - 3.94. Do h and o have the same value?
False
Let b be 104/(((-1)/5)/((-6)/(-15))). Let g be (b/(-78))/((-2)/9). Is g > -21?
True
Suppose 2*t = 4*o - o + 4, 0 = 2*t + 2. Let i = 43807 + -43809. Do i and o have different values?
False
Suppose 0 = 4*p - 2*a, 5*p + 2329*a - 2325*a - 13 = 0. Is p <= -11/710?
False
Suppose g + 2*f - 10 = 0, 0 = 4*g - 2*f + 5 - 15. Suppose -4*k = -k - 15, 49 = -u + g*k. Let a = u + 29. Do a and 2/19 have the same value?
False
Let w(v) = v**2 - 24*v + 101. Let l be w(7). Let z be (-12)/l*(-4)/(-12). Is z less than -8?
False
Let r be ((-8)/4)/((-1)/(-2)). Suppose -13*t = -17*t + 12. Let m = r + t. Which is greater: 3/7 or m?
3/7
Let c be (-6)/3 + (973 + 1 - 3). Let u be 19/(c/16) + (-2)/(-6). Which is bigger: u or 2?
2
Let r = 13 - 8. Suppose 356*w - 348*w + 40 = 0. Let j be ((-6)/w)/(306/1020). Which is smaller: j or r?
j
Let y = 2112 + -2792. Which is smaller: y or -681?
-681
Let q = 270 - 252. Suppose 106 = q*r - 2. Is r > 8?
False
Suppose 37*r = 38*r - 12. Let t(s) = -16*s + 175. Let u be t(r). Suppose -2*z + 2*w = 32, 4*w = 2*z + 6 + 22. Which is smaller: z or u?
z
Suppose -5*y - 72 = 2*v - 17, -4*v - 4*y - 104 = 0. Let g be 190/(v/(-5)) - -6. Which is greater: g or 1?
g
Let m = 0.549 - 513.149. Let i = 513 + m. Is i less than -22?
False
Suppose 0 = -4*u - 5*m + 209, -10*m + 11*m = -5*u + 256. Suppose 37*k = u*k - 238. Which is smaller: 69/4 or k?
k
Suppose -2*y = -5*y - 48. Let w = y - -10. Let v(p) = -11*p + 62. Let c be v(6). Is c at most w?
False
Let c = 74459373/155623 - -19/11971. Do 479 and c have different values?
True
Let u be 11 - (2 - (-1)/(-1)). Let o = 240 - 146. Let f = o + -93. Is u < f?
False
Suppose -200*d + 199*d = -j + 13376, -4*d + 53480 = 4*j. Is 13373 equal to j?
True
Let h = -4.8386 + 3.4386. Which is smaller: h or 578?
h
Let w = -5 + 11. Let f = 774129/7 - 110589. Which is smaller: f or w?
f
Let z = 12.93 - 13. Let r = 5.1 + -9.8. Let d = -0.7 - r. Which is smaller: d or z?
z
Suppose f - 5*k = 100, -2*f - k + 215 = -6*k. Let g = -117 + f. Let p be ((-8)/(-3)