b, -5*b + 20 = 2*r. Which is smaller: r or 2?
r
Let z be (-2 + 1)*(-51 + -12). Which is smaller: z or 125/2?
125/2
Let n be (-2142)/28*4/6. Let i = 52 + n. Is i >= -2/39?
True
Let i(o) = -2*o**2 - 56*o + 39. Let d be i(-29). Which is smaller: -20 or d?
-20
Suppose -2*u = -8, -11*z - 966 = -12*z - 5*u. Which is smaller: 945 or z?
945
Suppose 40 = -10*f - 0. Is -50/11 bigger than f?
False
Let t(w) = -w - 5. Let d be t(-1). Let m be 8/52 + d/26. Which is greater: -1/18 or m?
m
Suppose 0 = -m - 33 + 22. Let d(b) = -b**3 - 13*b**2 - 22*b + 1. Let c be d(m). Which is smaller: -1 or c?
-1
Let c = 100 - 101. Let y be ((-2 - -3)*(c + 0))/1. Is -3/10 <= y?
False
Suppose -4*p + 3*i = -318, 5*p - i = 3*i + 397. Are p and 82 equal?
False
Let c = 16.92 + -9.99. Let n = 7 - c. Which is smaller: -1/3 or n?
-1/3
Suppose -9*z = -5*z + 40. Let f(p) = -p**3 - 11*p**2 - 11*p - 13. Let l be f(z). Suppose o - 4 = -8. Do o and l have different values?
True
Let p = -5 - -8. Let g be (-52)/(-806) - 50/(-186). Which is bigger: g or p?
p
Let g = 4/421 + -429/842. Is 674 bigger than g?
True
Let z = 3 + -5. Let m = -0.012 + -0.088. Which is smaller: m or z?
z
Let m be 144 + -1 + (17 - 20). Is m <= 142?
True
Suppose 33*s - 57 = 36*s. Which is smaller: s or -37/2?
s
Let v be -7 - ((-108736)/1944)/8. Is 0 greater than or equal to v?
True
Let m = 47 + -47.014. Let r = -0.986 + m. Is r >= -15?
True
Let i = 1047 - 3143/3. Are i and 1096 nonequal?
True
Let h(j) = 19*j**2 + 20*j + 1. Let n be h(-1). Which is bigger: n or 13?
13
Let u = -7/62 + 419/3162. Is u < -1?
False
Suppose 7 = 5*h - 18. Suppose -5*x - 165 = h*s, -2*s = -x - 3*x - 132. Which is bigger: -34 or x?
x
Suppose -130 = 5*i + 2*h, 0 = i - 3*i + 4*h - 52. Is i greater than or equal to -24?
False
Suppose -3*x = 4*g - 39, -g = -x - 5*g + 13. Suppose 0 = 2*c - x + 1. Let w be 9/9 + (c - -1). Is w at least as big as 8?
True
Let f = -183 - -184. Is f at most -1/94?
False
Let z be 8/(-8) - (0 - 1). Let s = 2 - z. Suppose s*u = -u - 18. Which is smaller: -5 or u?
u
Suppose 0 = 5*i - 4 - 11. Suppose -4*k + 83 = i. Which is bigger: 21 or k?
21
Let d = 2 - 8. Let r be d/4 - 6/4. Let u be 4/(2*(r + 4)). Is u >= 2?
True
Let r = 1/7 + 2/35. Let t be (62/186)/(0 - (-28)/(-36)). Which is greater: t or r?
r
Let u(k) = k**2 - 13*k + 40. Let y be u(9). Which is greater: y or -8?
y
Let i = -3.71 - -3.9. Let z = i + 25.81. Is -2/3 greater than z?
False
Suppose 12 = -33*k + 36*k. Is -3.3 not equal to k?
True
Let h be (84/5)/(4/20). Let k be 4/(-14) - (-52)/h. Let f = -10 - -9. Is k less than or equal to f?
False
Let s(l) = -2*l**2 + 9*l - 2. Let w be s(5). Let t(g) = -g**2 + 5*g + 3. Let v be t(5). Suppose 0 = v*b - 5*b - 16. Which is bigger: b or w?
w
Let k be 53644/46914 - (-368)/(-322). Which is smaller: -1 or k?
-1
Let u = -285 - -285. Is u != 3/59?
True
Let g be (1 - 5)*2134/44. Is -197 at most g?
True
Let g be 252/12*24/(-18). Is -31 at least as big as g?
False
Let y be 9*(1 - (-42)/(-9)). Let i = y + 49. Suppose j - 4*j = -3*h + 33, -h + 2*j + i = 0. Are 7 and h equal?
False
Let z be (10/(-5) - -5)/(26 - 1). Which is smaller: z or 1/4?
z
Let g = -680843/4334 - -1728/11. Which is bigger: -1 or g?
g
Let a = -2201/663 - 3/221. Suppose 0 = 3*l + 9. Is l bigger than a?
True
Let x be 58/8 - 12/48. Is 126/19 > x?
False
Suppose 0 = 4*j + 28 - 60. Suppose j - 8 = 3*d. Is 2/15 not equal to d?
True
Suppose 2*t + 12 = -4*d - 80, -4*d = -4*t - 196. Is t <= -51?
False
Suppose 2*i = 4*i - 86. Let q = i + -27. Suppose 0 = -4*k + 3*f - 12, 2*k - 5*k = 4*f - q. Is 0 less than or equal to k?
True
Suppose -u = -8*u - u. Let j be (2 - -1)*(1 - u). Which is smaller: 14/9 or j?
14/9
Suppose 4 = -2*c + 6*c. Let u be (-142)/(-497)*(-2)/4. Which is smaller: u or c?
u
Let h(d) = 3*d**3 - 4*d**2 + 3*d - 3. Let c be h(3). Suppose -4*q - 3*s + 70 = -s, s = -3*q + c. Let v = 6 - q. Which is smaller: 1 or v?
v
Let a = -162 + -112. Which is bigger: -275 or a?
a
Let h be 4/(-26) + 196/260. Suppose -2*f = -4*f. Let c be f/(-1)*5/(-15). Which is smaller: c or h?
c
Let u(c) = c**3 - 32*c**2 - 70*c + 73. Let x be u(34). Which is bigger: x or 9?
9
Let q(z) = -3*z + 3. Let y be q(2). Suppose -c = -4*c + 12. Suppose c*k - 3 + 20 = -a, 3*a - k - 1 = 0. Is y bigger than a?
False
Let z be 0/1 - 1*2. Let u(h) = h**2 + 18*h - 10. Let m be u(-18). Let s = m + 15. Which is smaller: z or s?
z
Suppose -34*q + 31*q - 39 = 0. Let n be (q + 10)/(3/2). Which is greater: n or 4?
4
Let x = -0.049 + 48.049. Let v = x - 51.6. Are 0 and v equal?
False
Let o be (21/4)/((-3841)/92). Let l = o + 5367/2839. Which is smaller: 2 or l?
l
Let s(y) = -y**2 + 2*y + 595. Let p be s(0). Let c = -5350/9 + p. Is c greater than 1?
False
Let d = -349 + 349. Is 6 < d?
False
Suppose 40 = -7*p + 3*p. Let u be (-7)/28*(-16)/p. Which is bigger: -19 or u?
u
Let m(y) = y**2 - 5*y - 1. Let x(p) = -p**2 - 8*p - 6. Let v be x(-6). Let u be m(v). Suppose w + u = -6. Is w less than or equal to -11?
True
Let q = -0.052 + -21.948. Let w = q + 21.4. Do 1 and w have different values?
True
Let r = 9.776 + 0.024. Let a = 6 - r. Let m = 0.2 - a. Is 1 at most m?
True
Let b(w) = -w + 10. Let l be b(5). Suppose -l*d - 8 = -3. Is -3 >= d?
False
Let a be (1 - (-4 + 6))*(-4)/(-118). Does a = 1?
False
Let y(t) = -t**2 + 7*t - 6. Let u be y(4). Let i(w) = 4*w - 7. Let f be i(u). Suppose -3*p - 3*b = -15, -2*p + 5*p = 5*b - f. Which is bigger: p or -3?
p
Let i(b) = -4*b + 0*b**2 + b**3 + 0 - 2 + 2*b**2. Let p be i(-3). Let s = -5351/15 + 357. Is s <= p?
True
Let b be (1*(-4)/60)/((-4)/(-50)). Are -2 and b nonequal?
True
Let f(x) = -x**3 - 13*x**2 + 13*x - 15. Let u be f(-14). Let l = 358/9 - 1417/36. Is u at most as big as l?
True
Let b = -393 - -432. Are 2 and b nonequal?
True
Suppose 0 = 13*x + x - 1834. Is x > 1?
True
Let t be -43 - (2 - (7 + -4)). Let s = 53 + t. Let p(y) = 10*y. Let k be p(1). Which is smaller: k or s?
k
Let a = -94 - -139.4. Let l = -46 + a. Which is greater: -0.5 or l?
-0.5
Let j(l) = -12*l - 209. Let u be j(-16). Is u > -47/3?
False
Let t = 3458/5 + -692. Which is smaller: t or -6/11?
-6/11
Let n = -11514311611890/45031 - -255697444. Let f = -2/919 - n. Let s = 2/49 + f. Which is greater: s or 4?
4
Suppose 5 = -2*t + 3*m + 134, -5*m = -3*t + 191. Which is greater: 0.2 or t?
t
Suppose -4*q = q. Let h = 112 + -72. Let o = h + -27. Which is greater: q or o?
o
Let k be 24/(-60) - (-164)/10. Let s be 60/18*(k - -2). Suppose -5*r = 10 + s. Are -13 and r unequal?
True
Let s = -3 - -8/3. Let r = -34 - -32. Which is smaller: r or s?
r
Let d = 16 + -13. Suppose -380 = d*p - 7*p. Suppose 7*o - 2*o = p. Which is bigger: 18 or o?
o
Let v be 12/9 - 4/(-6). Let a be ((-96)/(-80))/(v/10). Let d be (-6)/(-27)*2/a. Which is greater: 0 or d?
d
Let s = 1.783 - -25.217. Let n = 88 + -442/5. Is s equal to n?
False
Suppose -j - 5*u - 42 = -11, -3*u + 3 = -3*j. Which is bigger: j or -10?
j
Let a = 7666/5 + -1523. Is a less than 9?
False
Suppose 3*d = -7 - 17. Let h(s) = 2*s + 18. Let g be h(d). Suppose -5*c - 3 = g. Which is bigger: 3/8 or c?
3/8
Let a = 101.8887 + 0.2113. Let l = a - 102. Which is smaller: 0.7 or l?
l
Let v be 225/100*(-8)/(-108). Which is smaller: -74 or v?
-74
Let n = 34.013 + -0.013. Let f = -46 + n. Let k = f - -10. Which is smaller: 3 or k?
k
Suppose 0 = 18*x + 5*x + 52*x. Which is greater: -34/23 or x?
x
Let v be (-1 - 86/(-92))*3/(-6). Is 1 smaller than v?
False
Suppose k + 8865 = 5*a, -5*a + 8865 = -0*a + k. Let y = a - 5245/3. Let h = 25 - y. Which is bigger: -1 or h?
h
Suppose -430 = i - 223. Is -209 greater than i?
False
Suppose 3*t = j + 1, 2*t + 11 = 3*t - 3*j. Is t less than 2/575?
True
Let s(w) = -w**3 - 9*w**2 + 6*w + 14. Let j be s(-10). Is j at most as big as 54?
True
Suppose 5*c + z - 4 = 0, z - 12 = -2*z. Does c = 11?
False
Let t = -593 + 2986/5. Is t at least as big as 3?
True
Suppose -30*c + 3*l + 126 = -32*c, 3*c + 163 = 2*l. Which is bigger: c or -56?
-56
Let g be (1/(-1) - 2)/10. Suppose w + 10 = -9*w. Is w less than g?
True
Let j be 11335/(-50) + 8 + 117/(-15). Is -227 less than or equal to j?
True
Let v = 26 + -10. Let w = v + -17. Is -2/7 at least w?
True
Let w = -1078 - -918. Which is smaller: w or -159?
w
Suppose -5*v = 4*z + 355, -112 + 22 = v - 3*z. Is v less than -378/5?
False
