Let p = 22 + -5. Let b = p - 37. Let w = b + 15. Which is bigger: w or 2?
2
Let q(j) = j + 1. Let v be q(-1). Let x(t) = t**2 + 11*t + 5. Let d be x(-5). Let l be 1*2 + 10*d/110. Which is smaller: v or l?
l
Suppose -5*c - 3*k = -27, 2*c - c + 13 = 4*k. Suppose -1 + 11 = 2*r + c*w, -4*r = 3*w - 8. Which is bigger: r or -3/32?
-3/32
Suppose -20 = -3*o - 14. Let q be (-1 - o) + 34/7. Which is smaller: 1 or q?
1
Let z(y) = y**3 + 12*y**2 + 3. Let g be z(-12). Let a = 1 - -3. Suppose 0 = -2*p + 3*p - a. Is p < g?
False
Suppose t = 4*g + 9 - 5, -3*g - t - 3 = 0. Let b be (g/1)/(28/7). Which is smaller: 0.72 or b?
b
Let d be -1*(1 + -1)/3. Suppose -4*v = -v - 9. Let w be ((-3)/v*1)/1. Do d and w have different values?
True
Let d be -1*4*(-2)/(-4). Let b be -2*1*5/d. Let h(n) = 3*n - 2. Let l be h(2). Is l > b?
False
Let k = -39 - -44. Suppose 0*t - 23 = -t - 4*n, -t + k*n - 13 = 0. Which is smaller: 9 or t?
t
Let q be (1332/(-30))/(3/10). Is -150 > q?
False
Let v = 95/52 - 1/13. Let w = 43/20 - v. Let x = -29 + 30. Is x at most w?
False
Suppose -11*f - 48 = -23*f. Suppose 0*c = 4*c. Suppose c = 5*n - n. Which is greater: n or f?
f
Suppose 12*h = 9*h - 3. Let i = 0 - -2. Let o be ((-2)/(8 + -2))/i. Which is smaller: o or h?
h
Suppose -g - 9 = 2*l, -4*g - 5*l - 15 = -9*g. Let t(c) = 17*c**2 - 4*c - 4. Let k be t(g). Which is smaller: 19 or k?
k
Suppose 0 = -57*x - 16*x - 2993. Is -14 smaller than x?
False
Let c = 15.5 + -17. Let b = 1.41 + c. Let s = b - -0.29. Is s less than or equal to 0.08?
False
Suppose 22*m = -509 - 503. Which is greater: m or 0.1?
0.1
Suppose 4*v + 217 = 5*x, 2*x - 100 = -v - 4*v. Let c be (-18)/x + (-243)/5. Let k = c + 34. Which is smaller: -14 or k?
k
Let f = -127 - -129. Let p = 18.7 - 18. Let x = p + -1. Which is greater: f or x?
f
Let y = 66/76421065 - 477369689284/55710956385. Let c = y - 2/729. Which is smaller: c or -10?
-10
Let f be ((-42)/(-33) + -1)*(-2176)/(-3). Let l = f + -198. Let t = 0 + 1. Is l greater than or equal to t?
False
Let m(v) = -v**3 - 13*v**2 + 12*v + 7. Let x be m(-14). Let s = -24 + x. Is s >= 9?
True
Let s(o) = -o**3 + 13*o**2 + 2*o + 4. Let f be s(13). Suppose f = 6*b - 6. Is b >= 0?
True
Let a be 2/6 + (-165)/9. Suppose 0 = 4*d - 2 - 98. Suppose -3*m - 32 = d. Which is bigger: a or m?
a
Let k = -3002 + 3001.7. Let x = -12.82 + -0.18. Which is smaller: x or k?
x
Let v(t) = t**2 + t - 4. Let y be v(-3). Let m be 1 + (-2)/(0 + y). Let d be (m + 3/(-6))*-2. Which is bigger: d or 2/7?
d
Let b = -0.4 + 2.4. Let r = 0.043 + -94.043. Let o = 90 + r. Is b greater than or equal to o?
True
Let t(l) = -3*l + l**3 + 2*l - 86 + 7*l**2 + 88. Let i be t(-7). Is i less than 9?
False
Let h(a) = -a**3 - a**2 + a + 13. Let g be h(0). Let z = 15 - g. Let n be 19/(-19)*(0 + 0). Are z and n equal?
False
Let y(u) = u**2 - 9*u + 4. Let c be 41/(-4) + (-21)/28. Let z(a) = a**3 + 10*a**2 - 13*a - 14. Let i be z(c). Let s be y(i). Is -1 < s?
False
Let g(c) = c**2 + 12*c - 18. Let z(a) = a**2 + 11*a - 18. Let f(o) = -4*g(o) + 5*z(o). Let q be f(-9). Let x be ((-8)/(-55))/(2/5). Which is smaller: x or q?
q
Let f = -27 - -33. Is -6 less than f?
True
Suppose -149*o = -4*m - 151*o, -4*o = 4*m. Let v be 1 - (23/(-20) + 2). Is m > v?
False
Let s = -0.1 + -11.4. Let g = -11 - s. Let t = g - 3.5. Is -2 <= t?
False
Let x = 14 - 15. Let i = -2 + 5. Suppose 2*v - i*v + 5 = 0. Is v < x?
False
Let f(v) = v**3 - 9*v**2 - 20*v - 1. Let q be f(9). Which is smaller: -182 or q?
-182
Let g be ((-6)/375)/((-3)/30). Suppose 0 = 18*r - 14*r + 4. Which is bigger: g or r?
g
Suppose -4*n = -3*z + 8, -2*z + 4*z - 6 = 3*n. Suppose z*g + 256 = -4*g. Let i be 10/(-35) - g/28. Is 2 at least as big as i?
True
Let y be 3*(-2)/20*(-10)/(-1480). Is -1 bigger than y?
False
Suppose -m + 3*j + 16 = 0, -m = -4*j + 9*j - 56. Is 32 less than or equal to m?
False
Let b be 11*18/297 - 92/(-6). Let v = 34 - 17. Which is smaller: b or v?
b
Suppose 3*h = -h - 20. Let r be 114/513 - (-2 - -2). Which is bigger: h or r?
r
Suppose -20 = -4*i - 5*b, i + 2*i = -2*b + 8. Suppose -2*t + 3*x - 8 = i, -2*t + 0*t - 8 = -5*x. Let f be (-2)/t + 13/(-22). Which is smaller: f or 1?
f
Suppose -61 = 4*l - 113. Suppose -3*y + 16 = -2*y. Which is smaller: y or l?
l
Suppose 81*a - 1303 = -53710. Is a at most as big as -647?
True
Let k(q) = -q**3 + 9*q**2 + 11*q - 21*q**2 + 15 + 3*q. Let l be k(-13). Suppose -l*t = -3*t - 9. Is t at least -9?
True
Let k = -598 - -7768/13. Let p be (2*2/4)/1. Suppose 0 = j + 2*h - p, 2*h = 7*h - 5. Which is smaller: k or j?
j
Let l be (-39)/273 + 2876/(-7). Which is bigger: l or -412?
l
Let z = 89 - 44. Suppose 0 = -5*k + c - z, -k - 3 = -c + 2*c. Does k = -2?
False
Let u(x) = -x + 14. Let s be u(-11). Let z = s + -49. Let t be 1*(-2)/(z/(-20)). Do 1 and t have different values?
True
Suppose -62*m = -67*m. Is m > -5/121?
True
Let g be 40/(-102) - (-1)/3. Let y = 0.0132 + -0.1132. Which is greater: g or y?
g
Let y be 5 + 83 - (1 - -1). Suppose 5*i = -y - 64. Which is smaller: -29 or i?
i
Let h = 1117 - 1002. Which is smaller: 1 or h?
1
Suppose -b = -y + 6, -4*y - 5*b + 15 + 0 = 0. Suppose 0*u + y*u = -30. Let w = u + 6. Are w and 1 equal?
False
Let a be 10/(-65) - 1672/(-52). Let k = a - 32. Is k greater than or equal to 4/3?
False
Suppose -t + 48 = 2*t. Let f be t/(-16)*(0 + 1). Is 1/39 less than or equal to f?
False
Suppose 2*b + 0*b - 3*f - 14 = 0, -3*f = 12. Suppose 3*l - 7*l - 4 = 0. Let z be 4*(25/16 + l). Which is bigger: b or z?
z
Let n = -14 - -14.2. Let f = n + -9.2. Let s = 10 + f. Is s greater than or equal to 2/37?
True
Suppose 5*n = -3*b - 84 - 49, 103 = -4*n + b. Is -24 > n?
True
Let d = 29401/156 - 2514/13. Let r = -21/4 - d. Let b = 11.1 - 10. Is b < r?
False
Let h = 97 - 111. Are -4 and h unequal?
True
Let g be (-6)/4 + 6/4. Is g at least 5/27?
False
Let w be 15/(-1821)*36/(-45). Which is bigger: w or -1?
w
Suppose 0*m = m - 15. Let f(h) = 2*h + 23. Let w be f(-10). Suppose 8*t - w*t = m. Which is smaller: t or 1?
1
Let q be (-8)/(-7)*(-2 - (-63)/30). Let i = q + -11/35. Which is smaller: i or 3?
i
Let w(f) = 2*f - 2*f - f - 4. Let i be w(-5). Let o be i*(-1)/(2/8). Which is smaller: -10/3 or o?
o
Let m(o) = 44*o - 902. Let l be m(19). Which is greater: -56 or l?
-56
Suppose -3*g - 2*g + 30 = 0. Let s = g - 5. Is s not equal to -1?
True
Suppose 15*q - 12*q = -2*v + 29, 0 = -3*v + 3. Which is smaller: 13 or q?
q
Suppose 0 = 23*k + 8*k - 23033. Which is smaller: 1483/2 or k?
1483/2
Suppose -q = q + 8. Suppose -3*r - x - 18 = 0, r - 2*x - 18 = -17. Which is smaller: r or q?
r
Suppose 0 = -3*c - 2*c. Suppose c*x = 4*x. Let g be 2/6 - 60/234. Which is bigger: x or g?
g
Suppose 10 = 5*h + 3*n, -10 = 5*h - 5*n + 4*n. Suppose -30 = 3*k + 2*k. Let p be (-33)/63 + 2/k. Is h at least as big as p?
False
Let s = 156 - 772/5. Suppose h + 18 = 5*y, -4*y + 7*y - 5*h - 24 = 0. Which is smaller: s or y?
s
Let g(c) = 3*c**3 - 8*c**2 + 4*c + 4. Let v(o) = o**3 - o**2 - 1. Let l(u) = -g(u) + 2*v(u). Let n be l(5). Let f be (2 - n)*1/3. Are f and 1 nonequal?
False
Let w = 95 - 83. Let y be 169/702 - 2/w. Which is smaller: y or 0?
0
Let b = 32.41 - 32. Let r = 2.41 - b. Is 22/7 greater than r?
True
Suppose -p + 284 + 81 = 2*u, -4*u + 3*p = -715. Which is smaller: 6 or u?
6
Suppose 0 = 7*u - 6*u - 3. Suppose 1 + 2 = u*f. Is f < 1.7?
True
Let s = -8.6 - -9. Which is bigger: s or -1/5?
s
Let a be (1/(-2))/(0 - 2/420). Suppose a - 297 = 6*c. Which is smaller: -34 or c?
-34
Let j = 10106 + -50917/5. Let w(u) = -u - 92. Let d be w(-15). Let f = d - j. Is f != 5/7?
True
Suppose 4*m = -5*r + 3*r + 30, -5*m + 15 = -2*r. Suppose -29 = 4*q - 7*z + 12*z, -5*q = -m*z - 20. Let h = -6 - -3. Is h less than q?
True
Let m = 236 - 283. Is m greater than or equal to -49?
True
Let q = 29 - 28.71. Let c = 0.09 - q. Is 8 at least as big as c?
True
Let h be (-52 + 37)*8/(-6). Which is smaller: 145/7 or h?
h
Let l = 1691308/54242555 - 204/14515. Let u = 1/101 + l. Is 0 bigger than u?
False
Let d = 109 + -71. Let l = -35 + d. Is 3 >= l?
True
Let v(y) = 14*y**3 - y**2 - 2*y + 4. Let w be v(1). Is 2 equal to w?
False
Let y(o) = 2*o**2 + 2*o + 1. Let w be y(-1). Let t(k) = -33*k - 1. Let h be t(-1). Let b be h/(-20) + (2 - 0). Which is greater: b or w?
w
Let r = 12.515 + -12.4. Let j 