n q?
True
Let a be (-141)/94 + -1 + (-103)/(-38). Which is greater: 1 or a?
1
Suppose 0 = 41*y - 27 - 55. Which is smaller: 52/49 or y?
52/49
Let n = -901 - -821. Is -558/7 bigger than n?
True
Let i = -302483/328 + 7355/8. Is i < -2?
True
Let s(o) = -o**2 + 8*o + 3. Let n be s(8). Let g(x) = -x - 5 - 7 + n. Let p be g(-7). Which is greater: p or -2/3?
-2/3
Let o be (-23280)/(-288)*(-54)/(-20). Is o != 218?
True
Suppose -3*q = -2*q - 1. Let a(t) = -t**3 - 3*t**2 + 6*t + 6. Let r be a(-5). Let p be ((-3)/9)/(r/12). Which is smaller: p or q?
p
Suppose 3*u - 3*l + 27 = 0, -u + 3*u + 4*l = -48. Are u and -213/17 unequal?
True
Suppose -2*f - 5*d = -0*f - 41, 5*f - 113 = -2*d. Suppose -7*k = -f*k - 16. Is 45 greater than k?
True
Let g be 1/(-4) - (-9)/4. Suppose -4*w - 12 = -4*o, -4*w - 22 = -g*o - 8. Let h = -337/6 + 56. Which is smaller: h or o?
o
Let n = -3 - 4. Let z(f) = 2*f**2 - 26*f + 8. Let o be z(11). Let v = -42 - o. Do n and v have the same value?
False
Let k = -2 + -74. Let n be (k/(-44) - (1 + 2))/(-1). Which is smaller: 0 or n?
0
Let z = 184 - 184. Is 11 <= z?
False
Let v = 0.023 + 23.977. Let d = -23 + v. Do d and -1/2 have different values?
True
Let a(u) = -u**3 + 9*u**2 - 6*u - 7. Let t be a(9). Let c = t + 60. Do c and -1/51 have the same value?
False
Suppose y + 10 = 3*y. Suppose -11*g + y = -10*g. Which is greater: g or 8?
8
Let l = 253 + -415. Which is greater: -161 or l?
-161
Let m = -2757/143 - -207/11. Are m and -3/4 equal?
False
Let b be (-6)/((-8)/3 + 2). Let q = 18.6 + 3.4. Let k = 21 - q. Is b at most k?
False
Suppose -2*w = w. Let b be 86/(-14) - (4 + w - 3). Which is smaller: b or -6?
b
Let m = -545 + 545.1. Is m > 44?
False
Suppose 0 = 10*z - 8*z - 92. Let m = z + -46. Which is greater: m or 1/85?
1/85
Let d = 196 - 199.72. Let l = -0.28 + d. Is l greater than -1?
False
Let b = 43/52 - 14/13. Suppose -4*w = 0, 0*x - 2*x + 4*w + 6 = 0. Suppose 4 - 1 = -x*i. Which is smaller: b or i?
i
Let n = -64 - -65. Let z be 18 + (n - 2) + -3 - -4. Is 19 smaller than z?
False
Let g = -1254 - -3686/3. Which is smaller: -26 or g?
-26
Let j be (-12)/(-28) - 4 - -4. Let f = -3 + -3. Let m = f - -7. Is j at least as big as m?
False
Let a be (-12)/(-9)*132/8. Let i = -42 - -64. Is a smaller than i?
False
Let r be 165/(-6)*(1 + (-133)/5). Are 706 and r nonequal?
True
Let d be (-3)/(8 - (-248)/(-16)). Is 387 equal to d?
False
Let o = 64 - 62. Suppose 0 = o*j - 5*q + 35, 3*j + 7*q - 4*q + 21 = 0. Which is greater: j or -9?
-9
Let t(w) = w**2 + 6*w - 7. Suppose -3*i = -6*i - 21. Let g be t(i). Let r = -13/28 - -3/14. Which is smaller: g or r?
r
Let r be (-76)/70 - (-82)/287. Let q(y) = -y**2 + 12*y + 10. Let j be q(12). Let w = 9 - j. Do r and w have the same value?
False
Let y = -135 - -141.1. Let v = y + -6.4. Which is greater: v or -0.2?
-0.2
Let z = -59 + 48.3. Let k = z - -10.617. Is k <= 0?
True
Let w(t) = 33*t**3 + 4*t**2 + 8*t + 9. Let d be w(-2). Is -253 > d?
True
Let g be (2/36)/((-813)/(-9)). Is g greater than or equal to 1?
False
Let d(n) = -n**3 + 11*n**2 - 2*n + 23. Let f(q) = -q**3 - 15*q**2 + 11. Let a be f(-15). Let u be d(a). Is u smaller than -1/39?
False
Let z = -183/4 + 49. Let f = z - 43/12. Which is bigger: 0.2 or f?
0.2
Let b = 9.12 - 0.12. Let i = -22.746 + 22.776. Do b and i have the same value?
False
Let s be 4/6 - (-880)/(-198). Which is bigger: s or 2?
2
Let k = 3240 - 3241. Which is bigger: 1254 or k?
1254
Suppose -5 = h - 0. Let a be (12/10)/(8/20). Let s be h - (a + -6 + 3). Is s >= -5?
True
Let w = -658 + 1133. Is 0 < w?
True
Let k be 2/(-3) - (-52)/6. Suppose -3*s + 4*y = -11, 0*y = 4*s - 2*y - k. Let x = 3.8 - 3.7. Are s and x non-equal?
True
Suppose 3*y + 5*z + 4 = 0, -3*z + 7*z + 8 = -4*y. Let o = 60 - 538/9. Is o equal to y?
False
Suppose -17 = -4*t - 4*w - 1, 5*t - 4*w + 25 = 0. Which is smaller: -2/5093 or t?
t
Let l be ((-6)/148)/(12/(-16)). Let i be -13*(-1 - 8/(-4)). Let a = -13 - i. Is l smaller than a?
False
Suppose 5*d + 2*b - 450 = -3*b, 2*b + 8 = 0. Let y = -105 + d. Is -9 <= y?
False
Let x = 2587 + -2569. Do -19 and x have the same value?
False
Let a = 30921/49 + -631. Does -2/5 = a?
False
Let r be (-9)/(-28)*((-5020)/510 - -10). Which is greater: -1 or r?
r
Let u = 72 + -70. Let r be (6/(-726))/(u/1 + -1). Which is bigger: 0 or r?
0
Let l = -3.931 - -6.81. Let w = l + 0.121. Which is smaller: 10/11 or w?
10/11
Let y be (((-2)/(-6))/(-1))/((-7)/1449). Let c = -78 + y. Is c at most as big as -7?
True
Let o = 0.037 + -72.037. Let t = o + 68. Is 2/3 greater than t?
True
Let v = 53 - 38. Suppose -2*k + i = -9 - 1, -3*k + 3*i = -v. Suppose k*m = 8*m - 3. Which is greater: -2/7 or m?
m
Let v = 1/423 + 40841/846. Let z = 97/2 - v. Which is greater: -1/4 or z?
z
Let p(u) = u**2 + 14*u - 43. Let k be p(-21). Is k > 104?
False
Let g = 0.065 + -5.565. Let f = -6.5 - g. Which is smaller: f or 37?
f
Suppose 3*q + 66 = 3*k, -72 = -3*k - 3*q - 24. Suppose -15*p + k*p = 16. Are p and 2 nonequal?
True
Let i = -9.36 + 9. Let q = i + 0.46. Suppose 2*w - 4 = 2. Which is bigger: q or w?
w
Suppose 0*u = 3*u. Let z(c) = c + 8. Let s be z(-10). Let d be 63/(-27)*s/(-4). Is u less than d?
False
Let z = 130.1 - 129.1. Is 425 greater than z?
True
Suppose 0 = -d - 0*d - 4*b - 8, -3*d - 3*b = -3. Suppose -116 = d*p + 4. Which is bigger: p or -0.1?
-0.1
Suppose 0 = -4*q + 8 - 0. Suppose -4*u + z + q*z = 16, -4*u + 4*z - 20 = 0. Which is smaller: u or -13/8?
-13/8
Let c = 401 - 402. Which is bigger: 1/5 or c?
1/5
Let m(r) = r**3 - 26*r**2 + 29*r - 100. Let k be m(25). Are 0 and k non-equal?
False
Let a(z) = -z**2 - 19*z - 71. Let y be a(-5). Is y < -2/4223?
True
Suppose -24*r + 25*r - 1 = 0. Let s be (1 - r) + -4 + (-105)/(-24). Which is smaller: 2/5 or s?
s
Let q(b) = -b + 9. Let w be q(7). Suppose -2*r + 8 = -5*r - x, w*x = -3*r - 13. Which is smaller: 0.3 or r?
r
Let o = -20 + 19.54. Let f = -17.46 - o. Let w = 3.1 - 3. Is f at most as big as w?
True
Suppose -4*r = -4*c + 8, 6*r - 3*r + 8 = 4*c. Which is smaller: -10/109 or r?
-10/109
Suppose 0 = 6*n - 330 + 30. Let y be -2 + 0 - (-94)/n. Are y and 0 equal?
False
Suppose -23*s + 25*s - 776 = -q, -s = 4*q - 3076. Is q less than 767?
False
Let i = 105 - 145. Is -38 less than or equal to i?
False
Let h = 31 + -24. Suppose 5*a - h = s, -3*s - 4*a = s + 52. Is -13 > s?
False
Let z = 8 + 8. Suppose -4*r - 96 = -z. Does -20 = r?
True
Let q(i) = -i**3 + 12*i**2 - 9*i + 2. Suppose 0 = 16*o - 17*o + 11. Let f be q(o). Which is greater: 26 or f?
26
Let w be (-5 - -2)*(-2)/(-4767). Is w less than or equal to -1?
False
Let p = -3526/14157 + -8/1089. Is 0 != p?
True
Let j(u) = 2*u**2 - 11*u + 8. Let a be j(7). Let s = -21 + a. Suppose -4 = -x - 5*q, 2*q - 25 = -6*x + 3*x. Is x at least s?
True
Let n = -298 - -246. Is n <= 0?
True
Let u = 336 - 332. Which is smaller: u or -1?
-1
Let t = -6.637 + 0.637. Is t less than 36/7?
True
Let z be (21 - 16) + (-1 - 3). Let c be 350/8 - 3/(-12). Let y be 18/c*4/6. Is y at least z?
False
Let z = -15.758 - -0.158. Let r = 18 + z. Let j = r - 2.3. Is -0.1 at least j?
False
Let s be ((-9)/(189/91))/(-1). Which is smaller: s or 5?
s
Let y(j) = 3*j - 69. Let n be y(24). Suppose -n*h = 0, -u - 3*h + 112 = 3. Are u and 109 equal?
True
Let b be 169/(-26) - (-14)/2. Which is greater: b or 3.89?
3.89
Let b = 14.3 + -13.3. Which is greater: -53/3 or b?
b
Suppose l = 9*y - 12*y + 8, -14 = -5*l - 2*y. Do 4 and l have different values?
True
Suppose -4*d + 2*y = 5*y - 16, -3*d - 2*y = -11. Suppose 3*g - 10 = -d. Let f be 20/g*18/12. Is f < 9?
False
Let m be (15/35)/((-5)/(-7)). Is 254 less than m?
False
Let o = -27 + 28. Let d = 228 - 452. Let j = d + 4706/21. Is o greater than j?
True
Let x be -1*(56/12 + -5). Let q = -10 - -19/2. Let l = x + q. Is l smaller than 0?
True
Let x be (18/24)/((-6)/(-1032)). Which is greater: x or 130?
130
Let d be 2/(-10) + (-10 - 42/(-10)). Do d and -58/9 have the same value?
False
Let g = -3/26 - -5/494. Let a = -116 + -22. Let q = 138 + a. Which is bigger: q or g?
q
Suppose -730 = -23*n - 1903. Which is greater: n or 2/3?
2/3
Let k = -9 + -25. Let m = 44 + k. Is -1 < m?
True
Let n = 143041/4800 + -1/4800. Is 30 < n?
False
Let j be (15/(-10))/(6/(-280)). Let k = 40 - j. Is -28 less than k?
False
Let v = -21 + 14. Let t = -5 + 1