et t be (-4)/((-8)/(-6)) + -1. Let x be (-2)/52*t/(-2). Let m = -1874 + 1873. Which is smaller: m or x?
m
Let q be -11 + 4 + 18*(-4 - 4). Is q > -151?
False
Let k = 103 + 2. Let n = -242 + k. Let w = n - -137.05. Does w = 2/9?
False
Suppose -4*s = -18*n + 22*n + 8620, -2*s - 4312 = 3*n. Is 0 at least s?
True
Suppose 0 = 4*v - p + 9, -9 = 13*p - 10*p. Let o be ((-70)/v)/(52/(-78)). Is -33 > o?
True
Let d = 0.03 - 0.16. Let r = d - -0.08. Let q = -135 + 132. Which is greater: r or q?
r
Let h be 174388/(-318) - (7 + (-133)/21). Let w = h + 549. Which is smaller: w or 0.1?
w
Let d be -377 - (8 + 12/(-6)). Let q = d + 497. Is q < 117?
True
Suppose -6*o - 2*i + 84 = -9*o, i + 23 = -o. Let y = 6 - 2. Suppose 0 = y*n + 112 - 12. Which is greater: o or n?
n
Let z = -2195 - -2155. Do -46 and z have different values?
True
Let w = 50887/8 + -6353. Let y(h) = -h**2 - 6*h - 1. Let p be y(-4). Is w >= p?
True
Suppose -22 = 5*r + 13. Let v be 364/(-6) - (-2)/42*r. Is -61 > v?
False
Let d be 9 + 128/16 - 4407. Do d and -4389 have the same value?
False
Let r be (0 + -4 - 0)*((-25)/(-8))/5. Which is smaller: 1 or r?
r
Suppose -3*g + 235 = 2*g. Let h(i) = 49 + 11*i - 65 + 40. Let s be h(2). Is s != g?
True
Let a = -133.102 + 2.102. Does 0.2 = a?
False
Let t(z) = z**3 - 9*z**2 + 9*z + 9. Let c be t(9). Let p be ((64/c)/(-4))/(2/20). Which is greater: p or -3?
p
Let u = -315 - -441. Let j be u/56*(-2)/3. Is j greater than 2.8?
False
Let d(n) = -17*n**2 + 12*n + 48. Let a be d(-4). Let v be (-5)/((-330)/a) - -4. Does v = 0?
False
Let j = 169 + -169. Let u be -3 - j - (30 - -1). Which is smaller: u or -37?
-37
Let w = -8 + 7. Let n be 7*2/98*(-1)/(-1)*-1. Is n >= w?
True
Let d = -10677 - -10678. Let s(a) = -a**2 + 5*a - 2. Let l be s(4). Let f be (0 + -2 + l)/(-2). Which is smaller: f or d?
f
Suppose -119*z - 10 = 109. Are -3/121 and z non-equal?
True
Let d = -4/961 - -771691/1922. Let c = 388 - d. Which is smaller: c or -15?
-15
Suppose -37*r = 162*r + 68*r. Is r bigger than -48/425?
True
Let t be (-5)/(-15) + 2/30. Suppose -42*u + 1071 = 3717. Is t equal to u?
False
Let w(f) = -20*f**3 + 3*f + 2. Suppose 64*u = 68*u - 5*z - 16, 5*u - 4*z - 11 = 0. Let l be w(u). Let k be (-5)/33 + 3/9. Which is smaller: l or k?
k
Let t(l) = -l**2 + l + 4. Let j be t(0). Let n be ((-3456)/(-10080))/(4/10). Which is smaller: j or n?
n
Let n = 362416768/1309171 + -11350/41. Which is smaller: n or 0?
n
Let a = -19.615 - -0.315. Let t = 20.3 + a. Which is bigger: t or 20?
20
Suppose 5*p - 967 = -4*h, -2*h + 89 = -4*p - 427. Which is smaller: h or 1489/6?
h
Let b be ((-64)/(-7) + -4)*((-160)/24 - -5). Is -0.027 at most b?
False
Suppose -4495 = -4*m + 91*m + 89*m - 32655. Suppose 2*w - 234 = 4*n + 80, -3 = -n. Is w at most m?
False
Let h = -2333995429679/35 - -66680428258. Let u = 5154907 + h. Let b = u + 540. Which is greater: -1 or b?
b
Let i be (-3)/(-3) + 3 + (-6 - 11). Let u be (9 - i/39)*(-6)/4. Is u greater than or equal to -15?
True
Suppose 17383 - 8004 = -12*n - 11537. Are -1742 and n nonequal?
True
Let z = -238 + 238.22. Let m = z - 0.12. Is m greater than -5/7?
True
Let m = -5990.2 - -5990. Is m bigger than 1939?
False
Suppose 4*r + 56 = -3*p, 0 = 4*p - 3*r + 35 - 2. Let g(y) = -2*y - 1. Let d be g(5). Which is greater: d or p?
d
Suppose 5*u + 3*p = -4, 5*u - 6*p = -5*p + 8. Is 3/1822 smaller than u?
True
Let s = 29.9273 + 0.0727. Which is bigger: s or 5/8?
s
Let w = 11364/23 + -494. Let n = -31382 - -31382.9. Are n and w unequal?
True
Let b = 9238.565 - 9521.6. Let c = b - -283. Which is bigger: 3/7 or c?
3/7
Let m be (4/3)/2*1584/2112. Which is bigger: m or -0.049?
m
Let k = 5695 + -96785/17. Suppose -4*d + 3*x + 12 = 0, -3*d = -8*d + 3*x + 15. Do d and k have the same value?
False
Let t = 115 - 77. Let h = 37 - t. Let q be (3/(-9))/(h/3)*6. Is 7 != q?
True
Let g(h) = -357*h - 2865. Let j be g(-8). Do j and -197/26 have the same value?
False
Suppose 79 = -3*z + 67. Let t = 3.77 - 3.14. Do z and t have the same value?
False
Let b = 0.1 - 0.17. Let z = 114990 + -344963/3. Are b and z equal?
False
Let w be (63/35)/(11/55). Let c(f) = 17 - 2*f + f - f. Let j be c(w). Is j less than or equal to 5/24?
True
Let j = 4062/203 - 282/29. Is j less than 9?
False
Let c = -508.3 - -535. Let s = -44.7 + c. Is -2 != s?
True
Let l be ((-162)/(-140))/1*70/100. Are 1 and l equal?
False
Let s(d) = d**2 + 19*d + 28. Let m = -338 - -338. Let p be s(m). Which is smaller: 11 or p?
11
Let h be (-3)/(-9) + (-150)/432. Let o = h + -35/72. Which is greater: o or 1/2?
1/2
Let t(y) = y + 29. Let h be t(-17). Let x be ((-8)/h)/((-6)/(-18)) - -1. Is x bigger than -1/408?
False
Suppose 1382 = 27*c - 1534. Which is smaller: 105 or c?
105
Let c = 0 - -0.01. Let p = -22747 - -22892.93. Let w = -146 + p. Which is greater: w or c?
c
Let u(s) = -31*s**3 - 62*s**2 + 65*s - 4. Let k be u(1). Which is smaller: k or -762/23?
-762/23
Let l = 5 - 0. Suppose 4*i = -l*a + 16, -a + 3*i = 3*a - 19. Suppose x - 4 = 0, 4*c - a*x = -3*x + 36. Are 31/3 and c unequal?
True
Let g = -31744 - -32171. Which is greater: 442 or g?
442
Let s = 4276 - 4262. Is -66 at most s?
True
Let j(f) = -f + 6. Let y be j(5). Let d = -171.1273 - -171.2. Let z = d - 0.2527. Which is smaller: z or y?
z
Suppose 177 = 4*w - 515*z + 512*z, 2*w - 91 = z. Is 31 less than w?
True
Suppose -815 = -6*z - 4685. Let m = 1137 + z. Is m bigger than 492?
False
Let h be 1/(-2)*((-2130912)/264)/(-21). Is h bigger than -193?
True
Let l = 19698032 + -669661391/34. Let y = l + -2109. Which is greater: -1 or y?
y
Suppose 0 = 5*l + n - 266, -3*l - 2*l + 274 = -n. Let z = -51 + l. Let w(c) = -2*c + 5. Let k be w(z). Do k and 4/13 have different values?
True
Let s = -180 - -68. Let k = 79 + s. Let n = k + 31. Which is greater: 0.09 or n?
0.09
Let g be 10/(((-238)/(-9605))/7). Which is smaller: 2827 or g?
g
Let q(a) = -a**2 - 16*a + 3. Let v be q(-14). Suppose v = 8*w - 9. Suppose -3*x + 5 = -2*x. Is x less than or equal to w?
True
Suppose 5*w - 45 = 2*m, -20 = -m + 5*m. Suppose w*a = 2*a + 10. Suppose -n - 42 = a*n. Which is greater: n or -15?
n
Let n = -7888 - -7892.2. Is 10 bigger than n?
True
Let j(n) = -n**2 + 15*n - 57. Let q be j(7). Which is greater: q or -7/703?
-7/703
Let p = -405 + 520. Let s = -102 + p. Which is bigger: -0.1 or s?
s
Let d = -125.4 - -131. Let j = 2.6 - d. Is 10 greater than or equal to j?
True
Let c = -106 + 108. Suppose c*l + 58 + 2 = 0. Which is smaller: -28 or l?
l
Suppose -42 = 161*s - 168*s. Let h = -306 + 2451/8. Which is greater: s or h?
s
Let y be (30 + 0)*(806/65 - 10). Suppose 2*s - 204 = -s + 5*t, -s = -5*t - 58. Is y greater than or equal to s?
False
Let d be ((-9)/(-15))/(16/(-70) - (-1)/5). Let n be 396/(-16) - (-1)/(-4). Which is smaller: n or d?
n
Suppose -2*d - 71 = -77. Suppose d*q - 15 = 9. Is 7 less than or equal to q?
True
Let b be (-24104)/(-66) - -2*(-2)/6. Let s = b + -364. Which is smaller: 1 or s?
s
Let w be (13/(-11) - -1) + (-984)/(-451). Suppose -2*o + 3*u - 20 = 3*o, u - 7 = w*o. Are 5/54 and o equal?
False
Let j = 0.2 + -0.199. Let o = -16 + 10. Let n be ((-80)/(-360))/(2/o). Are j and n nonequal?
True
Let g(c) = -c**2 + 6*c + 9. Let b be g(7). Let r be b/(-3)*(-21)/(-14). Is 0 < r?
False
Let t be (-2)/(-7) + 42822/(-427) + 29. Let w = -5 + -68. Is t not equal to w?
True
Suppose -5*z = -10*z + 15. Suppose 0 = z*r - 4*r. Let c be (-14)/(-8) + 3/(r - -3). Is c != -3?
True
Let h = -240 + 193. Let w = -95 - h. Is w at least -0.1?
False
Suppose 5*b + 5*d - 11 = 4, d - 9 = -3*b. Suppose o = -19*f + 16*f - 11, -4*o + b*f = 74. Which is greater: o or -13?
-13
Let o = 4695581/235 + -19981. Which is smaller: o or -1?
-1
Let y = 15743 - 15742. Let j = 0.05 - -0.01. Let t = j + 4.94. Which is smaller: y or t?
y
Let p be 16 + 24255/(-728) + 17. Which is smaller: -1 or p?
-1
Let v(j) = -12*j + 98. Let r = -320 + 328. Let d be v(r). Let i be 4/14 + (-92)/(-70). Is i bigger than d?
False
Let z = -2.124 + 3.124. Does z = 367?
False
Let k be (-9)/(-7) + (0/14)/(-19). Are k and -67 unequal?
True
Suppose -2*w = -5*b - 281, -w - 2*w + 417 = -3*b. Suppose 125*j - w*j = 2821. Is j at least -216?
False
Suppose d = 4*a - 63, -4*a + 830 = 4*d + 762. Which is greater: a or 21?
21
Let x be ((-70)/30 + 2)/((-1)/(-4)). Let u = -4 - x. Which