02 - t. Is i smaller than u?
True
Let u(g) = -g**2 - g. Let a(b) = -2*b**2 - 19*b - 1. Let i(j) = -a(j) + 3*u(j). Let v be i(16). Which is smaller: v or 4/9?
4/9
Let f = 0.55 + -0.05. Let l = f + -0.5. Is l greater than or equal to -0.5?
True
Suppose -2*u - 8 = -4*x, x - 2 + 0 = -4*u. Let t = 117 - 111. Let b be 18/(-27)*t/4*-1. Is u <= b?
True
Let l = 406 - 241. Which is bigger: 164 or l?
l
Suppose 8*i = 5*i - 18. Let z = -1 - i. Let y = -12 + z. Does -7 = y?
True
Let g = -939/68 + 55/4. Let j(n) = n**2 + 2*n - 2. Let m be j(-4). Suppose -w = -4, f - m = -w - 2. Does g = f?
False
Let c be 5/30 - (-100)/(-456). Let t = c - -3/19. Suppose -11 = -g - 2*n, g + 0*g - n + 4 = 0. Which is smaller: t or g?
t
Let d = -2578/103037 + 2/551. Which is greater: -1 or d?
d
Let d(o) = o**2 - 13*o - 369. Let k be d(-14). Is k equal to 44/5?
False
Let f(v) = v. Let g be f(6). Let w be 4/g - (31/6 + 1). Which is smaller: -5 or w?
w
Let y = 76/33 - 1126/231. Which is bigger: 0 or y?
0
Let q = -9.75 - 0.25. Let r = 110 - 108. Which is bigger: r or q?
r
Let d be ((-6)/(-9))/((-1)/3). Which is smaller: d or -18/19?
d
Let o(u) be the third derivative of u**4/8 + 16*u**3/3 - 14*u**2. Let z be o(-10). Is 9/8 smaller than z?
True
Let l = 126 - 125. Which is smaller: l or -117/5?
-117/5
Let v be ((-35)/(-3))/5 - 6/18. Suppose -2*x + 32 = -q - 19, -v*x - q = -41. Do x and 21 have different values?
True
Let u be ((-9)/(-3))/1 - -5*3. Let s(d) = -2*d**3 - d**2. Let o be s(1). Let x = o - -20. Is u bigger than x?
True
Suppose -2*z + 4*z = 4. Let x be (z/(-7))/(24/(-56)). Which is greater: x or -2?
x
Suppose -75 = -u + 6*u. Let h be 18/u - (-2)/10. Let x be 686/(-84) + h/(-6). Is -8 not equal to x?
False
Suppose 3*d + 15 = -3. Let g(k) = -k**2 - 9*k - 8. Let o be g(d). Let v = o + -6. Which is smaller: v or 6?
v
Let r = -22 - -38. Let x = r + -14.6. Let c = 33.9 + -32.9. Which is smaller: x or c?
c
Let b = -24 - -16. Is -9 greater than b?
False
Suppose 3*z + 0*z = 12, -3*d + 5*z = 35. Let r = -3 - d. Suppose r*y - 10 = -8. Is -2/13 smaller than y?
True
Suppose -4*m + 18 = 5*z - 19, 2*z + 4*m = 22. Suppose z*y = -0*y. Let k be (3/4)/(2 + (-54)/24). Are y and k nonequal?
True
Suppose 0 = 4*i + q - 11, -5*i + 1 = 4*q - 21. Let f = i - 1. Let n = 7/2 - 151/42. Which is greater: f or n?
f
Let v be 2*((-52)/(-60)*6 - 5). Let d = 31 + -51. Is v at least d?
True
Suppose o + 4*h - 10 + 4 = 0, 4*o + 5*h - 35 = 0. Are o and 7 unequal?
True
Let a(x) = -2*x - 10. Let u be a(-7). Suppose -2*d = -5*s - 33, -2*d - 13 = d + 5*s. Suppose -15 = -7*f + d*f. Is u not equal to f?
True
Let k = -41182/31255 - -3/1645. Which is greater: k or -2?
k
Suppose -5*o = 2*y - 630, -o - 3*y + 2*y = -129. Suppose -3*z = -2*f + 112, -3*z + f - o = 2*f. Is z not equal to -40?
False
Suppose -12*w = -11*w + 32. Let r(v) = -4*v**2 + 5. Let y be r(-3). Which is smaller: y or w?
w
Let x = 48 + -38. Let i = -0.28 + -0.02. Which is bigger: x or i?
x
Let s = -131.378 + 0.378. Is s at most -0.1?
True
Let c(p) = 128*p**2 - 10*p + 2. Let v be c(-2). Which is greater: 533 or v?
v
Let j = -1167 - -101528/87. Is 1 != j?
True
Let b = -404 + 451. Suppose 196 = 4*s + 4*k, 0 = -3*s + 5*k + 154 - 23. Is s > b?
False
Let a = 1 + -6. Let f = -282 - -277. Let g = a - f. Which is smaller: 2 or g?
g
Let g(r) = -3*r**2 + 32*r + 11. Let a be g(11). Let t = 0.7 - 2.1. Which is smaller: t or a?
t
Suppose 5*y - 2*l = -0*l - 5, -2*y - 13 = -3*l. Let h be (-2)/(-4)*-2 - y. Let a be (h/21)/((-1)/3). Which is smaller: -1/4 or a?
-1/4
Let l(o) = o**3 + 15*o**2 - 20*o + 11. Let h be l(-16). Let w = 74 - h. Which is greater: 3 or w?
3
Let m = 46 - 39. Let y be (m - 1)*4/(-42). Is y >= 0?
False
Suppose -4*a + 3*a = 0. Let n(l) = l**3 + 10*l**2 - 4*l + 4. Let r be n(-10). Let b be (r/(-12) + 3 + 0)*-2. Is b bigger than a?
True
Let g = 5 - 1. Suppose -g*h - h = 0. Which is bigger: h or 3/16?
3/16
Let h be 1/((-4)/16)*(-3)/42. Which is bigger: -175 or h?
h
Suppose 8 = 3*t + v, 4 - 23 = -5*t + 4*v. Suppose -2*y = 5*d + y + 3, 3*y + t = 0. Let c be (2/4)/(2/8). Are c and d nonequal?
True
Suppose 3*y - 6 = 2*l, 5*l + 15*y + 4 = 17*y. Let u = -47.96 - -42. Let w = 0.04 - u. Which is bigger: l or w?
w
Let i be -3*(-10)/(-15) + 1 + 27. Suppose 5*q = -v - i, -5*q + q - 20 = 0. Let h be ((-6)/(-9))/((-62)/3). Is h greater than or equal to v?
True
Let k = -14 + 14.12. Let t = k - -1.88. Is t greater than -5?
True
Suppose h + 2*i - 76 = -1, 0 = -5*h - 5*i + 370. Is 73 <= h?
True
Suppose -149 = 4*s - 25. Let o = 45 + -75. Is s <= o?
True
Let s be (-8 - -4)*11/4. Let w(l) = l**2 + 9*l - 21. Let b be w(s). Is b >= 2?
False
Let m be (8 + (-5 - -2))*1. Suppose m*r - 8*r - 3 = 0. Which is bigger: r or 0?
0
Let s(v) = -v**2 + 4*v. Let z be s(3). Suppose 3*i - 6*i - z = 0. Do 6/23 and i have different values?
True
Let z be (-31644)/(-85) - (-8)/(-20). Let d = z - 372. Suppose 3*u - 4*w + 23 = 0, 5*u - 2*u + w - 2 = 0. Which is greater: u or d?
d
Let b(r) = -r**2 + 8*r + 6. Let h be b(9). Suppose -24*v - 4 = -20*v. Let d be 0/(2 - v) + -1. Is h at least d?
False
Let i be (0/2)/(-8)*-1. Which is smaller: i or 1/1499?
i
Let u = 585 + -613. Which is smaller: 1 or u?
u
Let r be (-202)/(2/6*10). Let f = 2448 - 4773/2. Let b = f + r. Is 0 != b?
True
Suppose r + 95 = 10. Let l be (-2*3)/((-34)/r). Let d = 14 - 30. Which is smaller: d or l?
d
Suppose -3*v + 30 = -3*b, 2*v = -2*b + v - 11. Suppose 4*n = -4*z - z - 14, n - 10 = z. Is z != b?
True
Suppose 0 = 10*b - 63*b + 6201. Is 115 smaller than b?
True
Let g = -1025686/16341 - -816/13. Is 0 greater than g?
False
Let u(c) = -3*c**2 - c + 11. Let o be u(-5). Let i = o - -179/3. Which is smaller: i or -7?
-7
Let s = 269 - 269. Let m be (-2)/3 + 12638/66. Let h = m - 191. Which is greater: s or h?
s
Let i = -0.815 - -0.885. Let a be -1 - 10*2/(-14). Which is smaller: a or i?
i
Let q(v) = v + 4. Let o be q(-6). Let s(u) = -u**2 - 10*u - 10. Let r(c) = c**3 + 8*c**2 + c - 1. Let a be r(-8). Let z be s(a). Is o at most z?
True
Let h = -818/21 - -268/7. Is h equal to 43?
False
Let o = -9521/28 + 2200/7. Which is smaller: o or -27?
-27
Suppose -10*o - 16 = -26*o. Which is smaller: -2/85 or o?
-2/85
Let u be 1/20*30/(-12). Let d = -6 + 6. Suppose -m - 2*l = 5, 5*m + l - 4 + 11 = d. Is u greater than or equal to m?
True
Let c be (-313)/(-11) - (76 + -65). Which is greater: c or 18?
18
Let p be 771/15 + (-4)/10. Let t be 17/p + (-2)/6. Which is smaller: t or -1/3?
-1/3
Let n = 99 - 108. Let s be -7 + 1 - (-2 + 1 + 3). Which is smaller: s or n?
n
Let u(a) = -23*a - 15. Let r be u(1). Do r and -41 have different values?
True
Let m be 1/(-6)*4/(-3). Suppose 0 = -3*p + w - 2, -p + 3*w + 8 = p. Let k be 2*1/(-2) - 0/p. Is k > m?
False
Let g(j) = j - 4. Let p be g(5). Let m = p - 2. Let y be -1 - (2 + (-8 - m)). Is 5 at least y?
True
Let o = 12 - 14.5. Let m = o + 2.5. Which is smaller: m or 10/11?
m
Let r be (-65)/(((-2)/(-10))/(3/15)). Let g = r + 65. Which is smaller: -39 or g?
-39
Let y(q) = q**2 + 2*q + 26. Let v be y(0). Suppose v*n - 1 = 27*n. Which is smaller: n or 0?
n
Let o be (-9)/20 + 1/4. Suppose -3*b = -20 - 10. Let f be 28/(-20) - (-4)/b. Is o bigger than f?
True
Let z be 10/15*-3*1. Let r = -105 + 100.1. Let d = r + 0.9. Are z and d nonequal?
True
Let s be ((-5685)/(-40) - -6) + (-4)/32. Which is smaller: s or 147?
147
Let a be ((-8)/12)/(4/198). Is a < -31?
True
Suppose 2*r = -t - 218 + 105, 3*t = 3. Suppose 5*j + 4*s + 284 = 3*s, -3*s = 2*j + 111. Is r > j?
False
Let f(z) = -14*z + 103. Let l be f(8). Let x be ((-2)/(-22))/(4/(-180)*l). Let u(m) = -m**2 - 4*m + 6. Let h be u(-5). Is h >= x?
True
Let b = -0.007 + -0.051. Which is greater: -1 or b?
b
Let r be (-1 - 89/(-77))*518/148. Suppose 2*t = -0*t. Is t at least as big as r?
False
Let w be (-6)/2 + 113/3*-1. Let c = -40 - w. Suppose 8*p = 4*p + 48. Which is greater: c or p?
p
Suppose 2*d = 10, 3*w - d - 36 = 16. Is 17 greater than w?
False
Let c = -3.12 + 3.12. Which is smaller: c or -169?
-169
Let b be (-87)/(-360) - 12/60. Suppose -4*j + 252 = 88. Suppose 5*y - j = 5*u - 16, -12 = 4*y + 4*u. Which is smaller: b or y?
b
Let d(w) = 2*w + 1. Let p be d(-6). Suppose t + 2*u - 8 = 0, -2*t - 9 = -2*u - 1. Let m = -12 - t. Do p and m have different values?
True
Let y be (0