e
Let v be (0 - -2) + 6/(-2). Let o be 66/55 - v/(-5). Is o less than 7/6?
True
Let t = -11.4 + 11. Is 3 <= t?
False
Let b be (3/(-46))/(-3)*-4. Let q = 21 - 16. Suppose q*j = 10 - 15. Which is smaller: b or j?
j
Let g be ((-2)/(-10)*-53)/(132/(-660)). Is 51 greater than or equal to g?
False
Let t(o) = -o**3 + 95*o**2 - 2 - 6*o + 0 + 8 - 89*o**2. Let g be t(5). Which is smaller: -2 or g?
-2
Suppose 42*w = 47*w + 5. Suppose 4*n - 3*x = 7, 5*x = -n - 3 - 24. Which is bigger: w or n?
w
Let i be 14/4 - (2 + -1). Suppose 0 = -5*m - 5*m - 70. Let f be (m/(-14))/(-1*(-2)/12). Which is smaller: i or f?
i
Suppose 16*l + 904 = 216. Is -42 less than or equal to l?
False
Let z = -1 - -1. Let c(w) = w + 3 + 4*w**2 - 5*w**2 + 3*w. Let l be c(0). Which is smaller: l or z?
z
Let d be (150/(-35))/(1/(-7)). Suppose -2*z - 6*y + 2*y - d = 0, -4*y = 20. Let w(b) = -b - 10. Let k be w(-7). Which is greater: z or k?
k
Let r = 102 + -80. Let x = -11 + r. Do x and 11 have different values?
False
Let w = -10 + 11. Let r(s) = 10*s - 13. Let i be r(4). Let f be (-51)/34*28/i. Which is smaller: w or f?
f
Let o(z) = -z**3 + 10*z**2 + z - 9. Let l be o(10). Let h = -46 - -1792/39. Which is greater: l or h?
l
Let f = 1 - 1.4. Let r = 0.2 + f. Let o(t) = -t**2 - 7*t - 10. Let m be o(-3). Which is bigger: r or m?
m
Let f = 0.4854 + 0.0546. Which is smaller: f or 1/15?
1/15
Let x = 108.1 - 107.6. Which is smaller: -194 or x?
-194
Let f be (-10)/4*98/(-35). Let o(m) = m**3 - 8*m**2 + 7*m - 3. Let x be o(f). Which is smaller: -5/3 or x?
x
Let y = 1/87 - 34/435. Suppose 5*q + 2*o + 3*o + 25 = 0, o - 7 = 2*q. Let f = -5 - q. Which is bigger: y or f?
y
Let q(f) = 7*f + 4 + f**2 + 0*f + 4*f - 4*f. Let y be q(-7). Let k be (-1 - -8) + (4 - y). Are k and 6 unequal?
True
Let h = 6913/10 - 691. Let l = -1 - 0. Is h smaller than l?
False
Let y = -151 - -154. Is y less than or equal to 56/13?
True
Suppose 602 = 2*d + 5*a, -a - 2*a = 2*d - 602. Which is bigger: 299 or d?
d
Let c be 2 - (0 - (1 - 58)). Let k = -56 - c. Is k at most -16?
False
Let x = 2345281/858 - 8201/3. Let n = x - -4/39. Which is smaller: 0 or n?
n
Let m(k) = -k**3 + 15*k**2 - 14*k + 21. Let p be m(14). Suppose -2*i + 0*i - p = -5*h, 0 = h - 3. Let x be 18/27 + (-16)/i. Do x and 6 have the same value?
True
Suppose 0 = 5*o + 5*s + 1300, -3*s + 589 = -4*o - 451. Is o greater than or equal to 1?
False
Suppose 8 = 4*i - 4. Let w be ((-3 - -4)*3)/i. Let j be -1 + w/(-4)*1. Does j = 0?
False
Let y = 2.729 + -0.329. Do 0.4 and y have the same value?
False
Let b(t) = -t**2 - 8*t + 12. Let q be b(-9). Suppose 2*r = -q*r. Let c = 397 + -5957/15. Is r less than c?
False
Suppose n = -6 + 11. Let u be (-22)/(-12) + n/(-45)*3. Is u less than 2/17?
False
Let z = -3 + 3. Let n = -13591527/26 - -522688. Let s = -63 - n. Which is bigger: s or z?
s
Let v(w) = -2*w**3 + 3*w**2 + 6*w - 23. Let h be v(3). Suppose -f = -3*f - 66. Is h at least f?
True
Suppose -50 = 5*v + 235. Which is smaller: v or -55?
v
Let y = 8.4 - -1.5. Let s = 5.9 - y. Let a = -0.04 + -1.96. Which is greater: a or s?
a
Let u = 468123/749 + -625. Which is bigger: u or 1?
1
Let m = 10.8 + -20.7. Let k = 9.7 + m. Is -17 at most as big as k?
True
Let w be -3 - -3 - (-4)/54. Let b = 69 + -142. Let j = -72 - b. Is w equal to j?
False
Let w = 9.92 + 0.08. Let r = -0.0226 + 0.2226. Do w and r have different values?
True
Let d = 1312 - 1236.9. Let p = -75 + d. Which is smaller: 1/2 or p?
p
Let v be (-16)/(-4)*3/8. Let n be -1 - 30 - 0 - -2. Let x = n - -30. Do x and v have different values?
True
Let o = 1539 + -1588. Is o at most as big as 5?
True
Let j = 22 - -6. Let y = j + -28. Let b = 1/47 + 87/329. Are y and b equal?
False
Suppose 3*b + 32 = 47. Let u be (-2 - -1)/1 - -5. Let q = 2 + u. Which is smaller: q or b?
b
Let p = 18.9 - 19. Let a be (-4)/(-126)*(-6 - -165). Let w = a + -16/3. Is w equal to p?
False
Let j be 2/8 - (-1195)/20. Let z be (-6)/(-4) + j/(-80). Which is smaller: 1/8 or z?
1/8
Let t = -11917.9 - -12484. Let l = 601 - t. Let d = 35 - l. Which is smaller: d or 0.06?
0.06
Let z = 7/2 - 3. Suppose a + 4*i = -0*i - 18, 60 = -4*a - 4*i. Let w be -5*(-3 + a/(-5)). Which is smaller: z or w?
z
Let m = 92.95 - 93.4. Which is bigger: m or -0.1?
-0.1
Suppose -3*b - 15 = 2*b. Let w(n) = -n**3 + 51*n**2 - 100*n + 94. Let l be w(49). Which is smaller: l or b?
l
Let p = -1801/7 + 256. Let n be 9 + (17 - 3 - 24). Is p less than n?
True
Let v(n) = n**2 + 5*n - 204. Let h be v(12). Which is smaller: h or -18?
-18
Let r(z) = z**2 + 5*z - 4. Let d be r(-8). Which is smaller: -5 or d?
-5
Let k = 46 - 30. Let l be k/4*4/(-14). Suppose 2*d = 1 - 3. Is l at most d?
True
Let m(b) = -6*b - 12. Let l be m(-4). Let k be (l/(-18))/(1*(-2)/3). Is -42 greater than k?
False
Suppose -4*n + 19 = 3*u, 2*n + u - 9 = -0*u. Let h = n + -4. Let f be (-3)/(-4)*6/(-9). Which is smaller: h or f?
f
Let k = 58 + 519. Which is smaller: 578 or k?
k
Let x = -2.4 - -1.4. Let s = -89 - -88.99. Are s and x equal?
False
Let f be 210/150 - 6/(-10). Let y = 292 + -2040/7. Is f bigger than y?
True
Let b = -6 + 7. Let z be -3*((-4)/6 + -2). Let l = -14 + z. Is b at least l?
True
Let z be -5 - (2/(-4) - (-102)/(-10)). Which is greater: 5 or z?
z
Let f be ((-4)/(-5))/((-4)/(-10)). Let j = -118 - -124. Let i be ((-30)/70)/(j/(-4))*14. Which is greater: f or i?
i
Let j = -174 - -95. Let x = -82 - j. Which is greater: x or -0.02?
-0.02
Let j be (-12)/35*10/(-4). Suppose 0 = 3*c + 3*s, c = 2*c + 2*s + 4. Suppose 0 = 3*i - h - 2, -2*i + 2*h = -5*i - c. Do j and i have the same value?
False
Let b = 1/3840 + 6971/2722560. Is b at least as big as 1?
False
Let a = -352 + 353. Does 2/199 = a?
False
Let b be (-92)/6 - 1/(-3). Let q(w) = w**2 - 3*w - 8. Let n be q(4). Let t = n - 10. Is t != b?
True
Let g be 1 + (54/(-10))/3. Let n = -78.845 + -0.155. Let x = 79 + n. Is g greater than x?
False
Let u = 232418/9 - 25855. Let d = u - -31. Let b = -2.7 + 2.9. Is d greater than b?
True
Suppose -7470 + 7668 = 6*y. Which is bigger: y or 7?
y
Suppose -4*m + b + 22 = 4*b, 24 = 4*m + 4*b. Suppose c = 4*y - 0*y + 42, -3*y - 22 = m*c. Let n be 9/(81/y)*3. Which is smaller: -2 or n?
n
Let n = -627/119 - -126/17. Which is greater: n or 1?
n
Let v = 0.2849 - 0.1849. Is 223 bigger than v?
True
Let r(z) be the third derivative of -7*z**4/24 + 4*z**3 + 14*z**2. Let o be r(5). Let f(n) = n**3 - 5*n**2 + 2*n - 3. Let s be f(4). Is o bigger than s?
False
Suppose 12*n - 7*n - r = -5, 0 = -5*n - 3*r + 15. Are 9/7 and n non-equal?
True
Let q be 4/(-14) + (-348)/(-42). Suppose 0 = -5*g + q + 12. Let y be 6*(g + (-5)/2). Which is bigger: 8 or y?
y
Let z be (-80)/15*(-20)/(-16). Let m = z + 50/9. Is -1 > m?
True
Let w be (-1 + 43)/(6/4). Let y be -10*85/(-30) - (-12)/(-9). Is y != w?
True
Suppose 3*b + t - 2 = 0, 2*t = 5*b - 2*t - 9. Let g = 8 - 7. Let r be 7 + -3 + -1 - g. Which is greater: b or r?
r
Let y = -18.12 + 16.12. Do 8.6 and y have different values?
True
Let k be ((-8)/1)/(11/(-2)). Let s(g) = g**2 + 45*g + 267. Let x be s(-7). Is x > k?
False
Let v = -289 - -866/3. Is 4 greater than or equal to v?
True
Let j = 6.93 + -7.3. Let t = -5/12 - -1/12. Is j at most t?
True
Let v = 11394/19 - 600. Suppose 13*q - 16*q - 28 = -5*x, -23 = 3*q - 4*x. Do q and v have the same value?
False
Let c = -547/9116 + -7/212. Does c = -1?
False
Let n = -514 + 4600/9. Is -0.2 < n?
False
Let u = 213.35 + 5.65. Do 2 and u have different values?
True
Let s = -1 - 0. Let w be (3 - -4) + s - -1. Which is bigger: w or 1?
w
Let b(m) = m**2 + 10*m - 14. Let v be b(-11). Let g be ((-36)/(-54))/(50/v). Which is smaller: g or 0?
g
Let h = -181 + 103. Let q be 24/h*(-3)/3. Let j = 4 - 5. Is j < q?
True
Let b be (14/4)/((15/(-2))/5). Which is greater: 2 or b?
2
Suppose -3*b - 15 - 12 = 0. Let g be (-2 - -1)*(b + 14). Let k = -4 - g. Is k smaller than -8?
False
Let w be (-1)/1*(11 + -16). Let l be -9 + 6 - 1/(2/(-18)). Which is greater: w or l?
l
Let p = 55.4 + 1.6. Let j = 46 - p. Is 0.1 equal to j?
False
Let f = -0.1 - -1.9. Let n = -6.2 - f. Let p = n - -1. Is p greater than -0.1?
False
Let q = -449 - -426. Is q < -23?
False
Let s be 1/7 + (-1)/7. Let x = 775/8 - 97. Let c = x + -1/8. Is s at most c?
False
Let z be ((-780660)/(-368))/(-9) - 2/8. Let x = -236 - z. Which 