be 0*(-1)/1 - 1. Suppose -32*f + 27*f = 20. Let j be (-1)/f*-4*21/18. Is j at least as big as w?
False
Let c = 2.03 - 2. Let u = c - -0.37. Let a = -1 + 0. Which is greater: a or u?
u
Let g be 101/9 + (-8)/36. Suppose 24 = -g*v + 9*v. Is -12 at least as big as v?
True
Suppose -17*q + 47*q - 2760 = 0. Which is smaller: q or 93?
q
Let i be (12/10)/((-10)/25). Let s be (-50)/36 + (-4)/(-18). Which is smaller: s or i?
i
Let c(m) = m**2 + 4*m + 7. Let f be c(-3). Suppose -4*b + f + 24 = 0. Suppose -14 = -5*d + 21. Is d greater than or equal to b?
True
Let q(u) = -41*u + 234. Let s be q(14). Which is smaller: s or -339?
s
Suppose -67*q + 71*q - 1 = -3*r, 2*q + 16 = 4*r. Suppose w + 1 = -29. Let g be (q/4)/(w/(-96)). Is -0.1 bigger than g?
True
Suppose -11*n + 12*n - 4 = 0. Suppose 9 = -n*f + 5*m, -m + 1 = f - 2*f. Suppose -f - 1 = x. Is -7 not equal to x?
True
Let o(y) = -38*y**2 - 60*y - 59. Let r be o(-1). Is -40 greater than or equal to r?
False
Let l = 1.2 + -0.2. Suppose 88*w - 192 = 84*w. Let u be (w/(-224))/(1 + 3/(-2)). Is l at least as big as u?
True
Let d = 10.1 - 9. Let x(n) = n**3 - 4*n**2 + 1. Suppose -6*s - 17 = -4*s + 5*t, -3*t - 15 = 0. Let w be x(s). Which is smaller: w or d?
w
Let d be (-28)/(((-65)/75 - -1)*33). Which is bigger: -7 or d?
d
Let y be 153/(-54) + (-1)/2. Let f = -835 - -833. Is f smaller than y?
False
Suppose 245 = -8*z - 2795. Which is smaller: -379 or z?
z
Let q = 51 + -23. Suppose 0 = -5*o - 3*b + 32, -o - 4*b - 8 = -q. Let t be ((-2)/o)/((-6)/36). Are t and 3 non-equal?
False
Suppose -4*f = -1950 + 1574. Which is smaller: 89 or f?
89
Let w = 8 - -27. Let t = w + -17. Which is bigger: 1 or t?
t
Let p(s) = 4*s**2 - 18*s + 0*s**2 - 16 + s**3 - 16 + 11*s**2. Let y be p(-16). Which is bigger: 5 or y?
5
Suppose 0*m = -6*m - 5*m + 3*m. Suppose 856 = 5*c + 3*w - 6*w, -w = 2. Let l be (-2)/(-5) - 58/c. Which is bigger: m or l?
l
Suppose -16*o + 19*o = -4*n + 728, 374 = 2*n - o. Which is bigger: 184 or n?
n
Let t be (-1 + -1)*(-16 - -20 - 24). Is -2 at least as big as t?
False
Let w(u) = 4*u - 7. Let b be w(5). Suppose -4*j = d - 0*d - b, -33 = 4*d - j. Let f = -3 - d. Which is smaller: f or 1?
1
Suppose -10*w - 476 = 264. Let g = w + 74. Which is greater: -3 or g?
g
Let u = 23 - 18. Suppose 0 = u*p + 3*p - 536. Which is greater: p or 68?
68
Suppose -7*k = -3*k - v - 10, -5*k - 3*v = -4. Let f be 102/(35/10 - k). Which is bigger: 0 or f?
f
Let w = -14/159 + 40/53. Are w and -542 equal?
False
Let c be 1*(2 + -3)*-10. Suppose -3*s = -49 + 16. Are s and c equal?
False
Let w = -144.9 + 202. Let k = w + -57. Let n = 8 + -1. Is n >= k?
True
Let b = 183083/23 + -7957. Is 3 greater than or equal to b?
False
Let d = -0.472 + 0.417. Which is smaller: 7 or d?
d
Suppose 15*p - 14*p - 23 = 0. Suppose 3*k - 28 = p. Does 1/2 = k?
False
Suppose 7 = o - 21. Suppose -5*f - 133 = 40*f - 1483. Which is smaller: o or f?
o
Let h be (1 + (-19)/10)*134. Let r = h - -121. Which is smaller: -0.2 or r?
-0.2
Let s(z) = -z - 1. Let n(w) = 2*w**3 + 5*w**2 - 3. Let t(v) = n(v) - 5*s(v). Let i be t(-2). Let l be i/(-1) - (5 - 1). Is l at most as big as -5?
False
Let c(m) = 21*m - 358. Let d be c(17). Let y = -3 + 1. Which is smaller: d or y?
y
Let u = 0.2 + -5.2. Suppose s + y = 2*s + 2, -3*y + 12 = 0. Suppose s*i + 4*h = -12, 0*h + 2*h = -6. Which is greater: u or i?
i
Let p be 2/(-70)*22/(-33). Suppose -6 = 5*f + 3*w, 0*w - 2 = -5*f + w. Which is greater: p or f?
p
Suppose -3*l + 56 = 2*f, 2*f = -l + 3*l + 36. Suppose 3*w - 2*a + 28 = -10, 0 = -w + 3*a - f. Which is greater: -11 or w?
w
Let k be 9/3 + 8 + -1. Suppose k = 3*g - 5*g. Let d(j) = -j + 3. Let l be d(2). Which is greater: l or g?
l
Let m be 8 - (8/6)/((-32)/(-72)). Suppose 88 = -m*u - 47. Is -25 at least as big as u?
True
Suppose -46 = 12*j - 70. Which is greater: 20/19 or j?
j
Let j(g) = 0 - g - 4 + 1 + 1. Let b be j(-3). Which is bigger: b or -0.04?
b
Let l = -323 + 322. Is -1/265 at least l?
True
Let b be (1 - -1 - (-9 - -12))*1. Which is bigger: b or -79/2?
b
Let y be 1076/2178 + 344/(-774). Which is bigger: y or 1?
1
Let h be (9 + 5)*((-9)/(-2))/3. Let z be (10 - -2)*(-14)/h. Is -8 at most z?
True
Suppose -3*o - 1522 = 4*b, -o = -3*o + 2*b - 1038. Let l = 734/189 - 98096/189. Let y = o - l. Which is smaller: 1 or y?
1
Let a = 1566/1661 + -60/151. Let n = -1.9 + 2. Which is greater: a or n?
a
Suppose -119*i - 781 = -108*i. Is i at most as big as -4/9?
True
Let s be (1/(-2))/((-6)/(-12)). Let n = 3337/15 - 222. Which is smaller: n or s?
s
Let p = -1233.29 + 1227. Let v = p + 0.29. Which is bigger: v or -2?
-2
Suppose -3*f + 2*b = -0*f - 68, 4*f = -5*b + 129. Let g = f + -32. Which is smaller: -16/3 or g?
g
Let s = -846 + 413. Is s not equal to -434?
True
Let r = -13.6 - -11. Let k = 2.4 + r. Is -5 < k?
True
Let g = 19653/4247 - 143/31. Let w(i) = i + 3. Let d be w(-3). Which is smaller: g or d?
d
Let z(a) be the first derivative of -a**3/3 - 5*a**2/2 - 5*a + 5. Suppose -2*c + 5*n - 18 = 0, -5 - 13 = 3*c - 3*n. Let o be z(c). Is o < -3?
False
Suppose -3*x + 13 = -8. Let p = x - 29. Let y be (-2)/4 + 143/p. Is y less than or equal to -8?
False
Let d = -12 + -7. Let p = d + 17.7. Which is greater: 2 or p?
2
Let a(u) = u**2 - 2*u + 4. Let s(t) = t - 1. Let w(c) = a(c) + 4*s(c). Let n be w(-4). Which is greater: 5 or n?
n
Let h(r) = r**2 + 26*r + 38. Let t be h(-29). Do 126 and t have the same value?
False
Let j be 2/5*(-33 + 34). Which is bigger: 945 or j?
945
Let s = -417 - -20015/48. Is s smaller than 3?
True
Suppose 2*c = 2*k - 2*c - 20, -2*k - 5*c = 7. Suppose 0 = -k*o + o + 27. Let w be (-30)/1*(-6)/o. Which is greater: w or 21?
21
Let g = 467.9 - 468. Is g <= -69?
False
Let l(c) = -7 + c**3 - 10 + 10*c + 8*c**2 - 13*c**2. Let r be l(5). Is 33 at least as big as r?
True
Let k(h) = h**3 + 6*h**2 - 4. Let o(s) = 2*s**3 + 11*s**2 - s - 7. Let w(g) = 7*k(g) - 4*o(g). Let u be w(-2). Is -9 less than or equal to u?
True
Suppose -1 - 10 = -y - 3*q, -3*q + 16 = -4*y. Is 1/195 at most y?
False
Let u = 5 - 5. Let h be 20/(4 + u) + -1. Let r = -11 + 16. Is r greater than h?
True
Let a(o) = 3*o - 2. Let p = -4 - -5. Let x be (-4 - -3)/(p/1). Let r be a(x). Is r bigger than -4?
False
Suppose v = 63 + 7. Is v less than 68?
False
Let q = -1.475 - -1.4. Let i = q - 0.025. Which is bigger: i or 2/19?
2/19
Let m be (-1)/(-3) + (-5 - (-160)/36). Which is bigger: -134/5 or m?
m
Let y be -2 + (-39)/(-15) + 8824/10. Let g = y + -24721/28. Which is bigger: g or 0?
g
Let l be ((-9)/(-6))/(6/32). Suppose 0 = -2*d + c - 1, -2*d - l*c + 3*c - 31 = 0. Suppose -13*r - 3 = 23. Which is smaller: r or d?
d
Let o = -6861/4984 + 1/623. Let t = -5/8 - o. Let g be (4/(-6))/(4/(-6)). Do g and t have the same value?
False
Let a be -1 + (-60)/6 - -10. Suppose 3*l - 15 = -0*l. Is l at most a?
False
Suppose -3 = -f, -10*f + 699 = -n - 6*f. Do -687 and n have the same value?
True
Let d = -0.02 + 0.02. Let w = -8.232 + 0.032. Let b = w + 7. Does b = d?
False
Let s be (-4 + 3)*(-6 - -1). Suppose -s*o + 9*o + 40 = 0. Is o at least as big as -10?
True
Let t be (-29905)/(-9965) + (-1 - 2). Let a = t + -6025/45839. Which is greater: 1 or a?
1
Let x(a) = -3*a**3 + a. Let z be x(-1). Suppose 5*d = 2*n + 31, -2*n - n = 3*d - 6. Suppose -z*p + 2 = -d*s, -p + 6*p + 22 = -s. Is -3 less than s?
True
Let s = 29 + -12. Let v = -20 + s. Is v bigger than 3?
False
Suppose -3*t - 803 = -14*t. Which is greater: 71 or t?
t
Let i = -0.04 - 84.96. Let v = i + 137. Is v at least as big as 0.1?
True
Let z = 12.3 - 12. Let w = z + -0.09. Is 0 < w?
True
Let w be (-11)/24 + 1/2. Let j(p) = p**3 - 10*p**2 + 9*p. Let n(f) = -f**3 + 12*f**2 + 13*f + 9. Let l be n(13). Let k be j(l). Which is greater: k or w?
w
Let m(g) = g**3 - 22*g**2 - g + 32. Let c be m(22). Let o be 7/(-2) - (-5)/c*1. Let v = 0.98 + -1. Is v at least o?
True
Let f be 2/(-7) - ((-18)/14 - 5). Suppose 0 = -7*w + 5*w - f. Which is smaller: -7 or w?
-7
Let g be (-91)/26 - (-3 + -1). Suppose 4 = 5*f - 1. Which is greater: f or g?
f
Let y be ((-4)/12*3)/1 + 0. Let j be (-4 + 45/10)/(y/2). Which is bigger: j or 10?
10
Let m = 0 + 0.1. Let y = -0.501 - -0.921. Which is bigger: y or m?
y
Let z(y) = -y**2 + y + 2. Let d be z(-3). Suppose -5*j = -0*j. Suppose -2*h - 18 = -j*h. Is h equal to d?
