er: o or f?
f
Let z be (-25)/(-75)*(-128 + -1). Is z >= -39?
False
Let i(u) = 3*u - 69. Let x be i(24). Let d = 73 - 45. Let c be 6/d + x/(-6). Are 0 and c equal?
False
Let a be 15*(4 + 30/(-9)). Let p(u) = u**2 - 10*u - 5. Let i be p(a). Suppose 3*n + 12 + 3 = 0. Is n not equal to i?
False
Let n(c) = -448*c - 129. Let a be n(2). Is -1024 < a?
False
Let z = -7.6 + 9.2. Let o = -5.9 + 4. Let v = z + o. Is v less than 1?
True
Suppose 0 = 4*j + 3993 - 297. Let d be -1 + (-5036)/j + -4. Let f = d + 4/33. Is 1 >= f?
True
Suppose 1 = 2*y + 15. Suppose -31 = s + 5*h, 5*s + 33 = -3*h - 12. Which is bigger: y or s?
s
Let f = -1 + -35. Let r be 2/(-3) + (-276)/f. Is r smaller than 7?
False
Let u = 0.34 + -0.14. Which is greater: u or -1.6?
u
Let y be 16/(-72) + (-83)/(-252). Suppose -2*r - t + 1 = 6, -10 = -4*r + 2*t. Is r <= y?
True
Let w(k) = k**3 - 13*k**2 + 14*k - 6. Let d be w(12). Let z = -14 + d. Suppose 5*r - z*s = -14, -r + 6 = -6*r - 4*s. Do r and -9/8 have different values?
True
Let a = -14 + 18. Let v = a - 5. Do v and 1/16 have the same value?
False
Let z = 91.8 - 26.8. Is z < 1/5?
False
Suppose 4*h = h - 27. Suppose -7*w - 590 = 3*w. Let r = w - -50. Is h greater than or equal to r?
True
Let r = -16477/8 - -269621/136. Let i = r + 77. Let m = i + -20/119. Is m >= 3?
False
Let z = -707/123540 + -1/852. Is 0 != z?
True
Suppose -10 = -t + 5*v, 0 = -3*t + 3*v - 9 + 3. Let k = t - -3. Let o be k - 18/(-15)*2. Are -0.2 and o nonequal?
True
Let n = -1/21 + 19/21. Let w(p) = 3*p**2 + p + 2. Let s(a) = -4*a**2 - 2*a - 3. Let z(u) = -2*s(u) - 3*w(u). Let y be z(1). Is n >= y?
True
Let t be ((-256)/12)/(4/(-6)). Suppose -5*f - t = -4*a, -2*f + 4*a - 17 = 3. Let m be 0 - 2/(-2 - f). Which is smaller: m or 5?
m
Let m = -6.9 + 6.28. Let a = -0.02 - m. Do -6 and a have the same value?
False
Let y = -840 + 830. Which is smaller: y or -69/7?
y
Let o = -2213/18 + 123. Suppose 48 = -7*l + 41. Is l >= o?
False
Let m = 95 - 31. Let f be 13/m - 7/28. Which is smaller: f or 0?
f
Let o = -0.112 - 0.188. Is o bigger than 6?
False
Let n = 5.136 - 5.05. Is -2 < n?
True
Let v be -1*212/(-12)*-3. Let n = 81 + v. Suppose -t - 4 = -5*b - n, 3*t + 4 = -4*b. Is 2/5 > t?
False
Let p(n) = n + 17. Let z be p(-12). Suppose 4*b + 3*g = -50 + 1, -4*b = z*g + 47. Let a = -12 - b. Which is smaller: -2 or a?
-2
Suppose 287 + 2403 = 10*t. Is 270 less than or equal to t?
False
Let z = -1475 + 134223/91. Suppose -118*l - 2 = -120*l. Is l < z?
False
Let p be (-57)/627 - 2342/(-25278). Is -1 bigger than p?
False
Let o = -36.6 - 0.4. Is o <= 1/5?
True
Let a = -525364/141 - -3726. Are 1 and a unequal?
True
Let q be 2/10*52/169. Is q < -1?
False
Let l = -10 + 7. Let f = -482/3 - -160. Which is greater: l or f?
f
Let k(m) = m**3 - 11*m**2 - m + 5. Let f be k(11). Let u(p) = p**2 + 8*p + 14. Let g be u(f). Which is bigger: 0 or g?
g
Let z(p) = p - 1. Let i be z(1). Suppose 3*n + 0*u - u = 0, 5*u + 15 = i. Is 1/28 bigger than n?
True
Suppose -b + 1 = 4*p + 9, -2*p - 26 = -5*b. Suppose b - 2 = -v. Let f = 46/153 - 24/17. Which is smaller: v or f?
v
Suppose -v - 13 = -2*v + 3*p, -p = -4*v + 85. Let x = -7 + v. Let b be (-16)/12 + (-85)/x. Is -7 equal to b?
True
Let b be -4 + -1 + 1395/(-15). Let f = -77 - b. Do f and 21 have the same value?
True
Suppose -z + h = -5, z + 0 = -3*h - 3. Let v be 1*z/(-6)*0. Suppose -3*n + 6 + 0 = v. Is 8/3 < n?
False
Let f be 6/((-6)/33 + (-58)/(-198)). Let o = 1 - -15. Let l be (-33)/(-44)*o/f. Do 0 and l have different values?
True
Let r = 341 - 340. Let i be ((-24)/140)/((-9)/10). Is i smaller than r?
True
Let i = -1391 + 9747/7. Is i at most -0.5?
False
Let y be (-168)/(-5) - (-8)/8. Let n = y + -35. Does n = -19?
False
Let f = 26.78 + -27. Let y = -5.83 + 0.05. Let o = y + f. Is o <= 1?
True
Suppose u - 14 = 5*s, 0 = -2*s + u - 5*u + 12. Let l be (-6 - -5)/((-3)/s). Let b = 1 + -2. Which is smaller: l or b?
b
Let r be -102 + (2 - 6) - -2. Let c be 80/r*(-1)/(-2). Which is greater: -1 or c?
c
Let h be (10 - 7)*(-8)/(-3). Let x = 7 - 1. Let m = -7 + x. Is h at least as big as m?
True
Let c be 572/6 - (-21)/(-63). Suppose -197 = -x + 6*x + v, 0 = -2*x + 5*v - c. Is 1 less than or equal to x?
False
Let c = 14 - 24. Let u = 15 + c. Suppose -u*v = -56 - 14. Which is smaller: v or 15?
v
Let l(w) = -3 - w - 2 + 14 - 2. Let f be l(5). Suppose -8 = -f*b + 3*k, 0 = -b + 3*b + 4*k + 6. Which is greater: 3/2 or b?
3/2
Suppose -u = -50 - 58. Let y be u/14 + 8/28. Suppose 5*g = -2*h + y, -7 - 1 = -4*g. Is -1/7 less than h?
False
Let g = 833 + -836. Is 0.16 at least as big as g?
True
Let k = -618 + 1015. Let u = 7545/19 - k. Is u greater than or equal to 0?
True
Let s be (20 - 4)/(-3 - 2) - 2. Which is smaller: s or -5?
s
Suppose -3*j = -n + 1 + 2, 4*j = 4. Suppose n*f - 3 = 3*f. Let b be 5/(-4 - 6)*-2. Is f <= b?
True
Suppose -2*j - 2*j = 0. Suppose 4*i - 3*i = j. Are i and -1/8 non-equal?
True
Let a be (-4 + (-3650)/(-905))*(-1)/2. Which is smaller: 0 or a?
a
Let x = -46 + 106. Let y = x - 65. Do y and -1 have different values?
True
Let c(l) = -2*l - 2. Let u be c(-4). Let w be 3*4/(-18) + 34/6. Suppose -4*b + w + 9 = v, -2 = -v. Is b < u?
True
Let w be -4 + 1 + 3 - (-1 - 1). Suppose 5*g - 20 = 0, 6 = w*l + 2*g - 2. Is 4/43 > l?
True
Let q = -3/2 + 21/16. Let a = 21/16 - q. Let k = 89 + -86. Which is bigger: a or k?
k
Suppose 0*n - n + 2*q = 37, 3*q - 42 = n. Let m = 107/4 + n. Which is smaller: -6 or m?
-6
Let j = 104.5 + -108. Let c = 299 - 302.58. Let a = c - j. Which is smaller: 2 or a?
a
Let c = 151/14 - 1307/42. Which is smaller: c or -21?
-21
Let h = -27 - -27. Suppose -4*s + s + 3 = h. Do s and 6/25 have different values?
True
Let y(k) = k**3 + 13*k**2 - 2*k - 12. Let j be y(-13). Let d(a) = a**3 + 5*a**2 - 24*a + 14. Let x be d(-8). Is x at most j?
True
Suppose -4*b + 5*z = 21, -3*b + 2*z = 5*z - 18. Let y be 0 - (9/(-15) + b). Let q(m) = -m - 10. Let o be q(-9). Is o smaller than y?
True
Let j = -504.8 - -503.8. Let z be (((-25)/(-6))/1)/2. Let h = 4/3 - z. Which is bigger: h or j?
h
Let w = -243 + 241.7. Let h = -3.61 + -0.39. Which is bigger: h or w?
w
Suppose 3*f - 4*f - 3*t = 138, 0 = -4*f - 3*t - 525. Let r = -42 - f. Which is greater: -0.1 or r?
r
Let p(m) = m**3 + 3*m**2 - 2*m + 4. Let k be p(-3). Suppose 10*b + k = -0*b. Which is smaller: -10/9 or b?
-10/9
Let h be (814/(-6) + 1)*(-75)/(-50). Is -204 at least h?
False
Let c be (-10)/6 - 12/(-18). Let p be (c + 3)*(460/(-8))/(-5). Is 0.1 >= p?
False
Let k = 2098 + -1092. Let b be 4 + -1 - k/84. Let s = b - 11/21. Which is smaller: -9 or s?
s
Suppose d - 3*d + 242 = 4*q, 4*d = 5*q - 309. Let h(c) = -50*c + 61. Let i be h(0). Is i smaller than q?
False
Let v = -2119 - -2118.8. Which is greater: v or -21?
v
Let r be 5/(-758*(15/6 + -2)). Is r smaller than -1?
False
Let l = 2.4 - 2.2. Which is smaller: l or 47?
l
Let f be (-4)/(-22) + 279/99 + -23. Let i be (-30)/(-4)*(-32)/f. Is i > 10?
True
Let n = -1.3 + 1.23. Let v = -0.06 + 0.33. Let z = n + v. Are z and 2 non-equal?
True
Suppose 51*a = 53*a - 6. Is 14 less than a?
False
Let y be ((-28)/(-4) - 4) + -3. Is y equal to 6/95?
False
Let w be 28/(-238) - 1130/(-646). Which is bigger: w or 3?
3
Let b be 620823/(-155205) + 3 - -1. Let j = b - 23091053/103470. Let g = j - -224. Which is greater: 1 or g?
1
Let w = -0.998 - -5.998. Let c = 1.1 - 1. Is w smaller than c?
False
Let s = 3/8660 + 82789/1732. Let i = -173/5 + s. Which is bigger: i or 12?
i
Let t be 3/3 + (324/(-159) - -1). Is 0 less than or equal to t?
False
Let o(g) = 2*g**2. Let d be o(-1). Let b = d - 2. Let x = 14.2 + -35.2. Is b <= x?
False
Let o be 3/(-4)*136/(-1275). Is o >= 1?
False
Let k be 455/(-220) - (-3 - (-140)/44). Is k != -1?
True
Let l = 729 + -726. Which is smaller: -49 or l?
-49
Suppose 4*r = -5*x - 374, -4*x = 2*r - 2*x + 186. Which is smaller: r or -2?
r
Suppose -193 = -5*k - 43. Suppose 4*p = -6*l + l + k, 2*p = -5*l + 30. Let h be (-16)/120*l/8. Which is greater: 1 or h?
1
Suppose 9*c - 2*c = 0. Suppose c = -10*m + 7*m. Does m = 2/51?
False
Let c = 27 + -159. Is c at least -132?
True
Suppose -h = -5*m + 1556, -1249 = -4*m + 104*h - 99*h. Which is smaller: 1239/4 or m?
1239/4
Let v be 5/(-1)*4/(-10). Let t be v/(3*2/(-9))*5. Is -14 at most as big as t?
False
Let q(m) = m + 12. 