. Is x < y?
False
Suppose -14*n = -8*n. Suppose n = 5*r + 16 - 1. Which is smaller: -8/5 or r?
r
Let s = 81 + -26. Suppose -107 - 73 = -4*g + 4*q, -3*q - s = -g. Let z be ((-1)/(-1))/(8/g). Is 5 less than z?
False
Suppose 5*l - 21 = t - 5*t, -t - 1 = 0. Suppose -l*i = -5*k - 30, 2*i - i = 2*k + 8. Let r be 2/(-5) + (-230)/50. Which is smaller: r or k?
r
Let j(n) = n**2 - 4*n - 2. Let p be j(4). Let f be ((-91)/(-26))/(1/p). Let m be ((-2)/f)/(36/21). Is 1 greater than or equal to m?
True
Let d be (-9)/(-2)*(-8)/(-12). Let n be (2 - 0)*(d - 2). Suppose -n*k - 3*k + 25 = 0. Which is smaller: k or 7?
k
Let j = 75 - 73. Let y(k) = -k**3 - 7*k**2 - 6*k + 1. Let m be y(-7). Which is bigger: j or m?
m
Suppose 0 = b + w - 4 - 4, 3*b = 3*w. Suppose -6 - b = -5*a. Suppose 2*f = -2*f - 3*i - 5, i = 4*f - 7. Is f equal to a?
False
Let c = 929 - 917. Which is smaller: 54/5 or c?
54/5
Let v be (-16)/24*6/(-4) + 1. Suppose -g = -3 - 1. Is v equal to g?
False
Suppose -17 = -5*u + 3. Suppose -4*k - u*c + 9 = -3*c, -13 = -4*k - 5*c. Let g be (-2)/(-6)*(52 + k). Which is bigger: g or 19?
19
Suppose 44*i = -268 + 4. Which is smaller: 20 or i?
i
Let f(l) = 2*l**2 + 4*l - 6. Let g be f(-5). Let p = g + -25. Let q be 1/(-4) - (3 + -1). Which is smaller: p or q?
q
Let t = -789 - -787.94. Is t smaller than -1?
True
Let n = -50.2 + 50.4. Is 139 < n?
False
Let j(n) = 5*n**2 + 5*n + 13. Let r(c) = -c**2 - 1. Let m(h) = -j(h) - 4*r(h). Let a be m(-4). Let w be 48/(-32) + a/(-2). Which is smaller: w or 0?
0
Let m = -0.7215 - 0.0965. Let k = 0.118 + m. Which is bigger: k or -0.1?
-0.1
Let w = 43 + -31. Let x(t) = 43*t**2. Let d be x(-1). Suppose 2*o - 38 = 3*p, 4*o - 5*p - 115 = -d. Is o equal to w?
False
Let n(w) = w**2 + 7*w + 347. Let k be n(0). Is 348 equal to k?
False
Let g be -2*2 - 2765/(-693). Let k = 3551/1287 - g. Which is greater: k or 3?
3
Suppose -12*c - 7952 = 16*c. Is -285 greater than or equal to c?
False
Suppose 14*j - 20 = 9*j. Which is smaller: -0.71 or j?
-0.71
Let p be ((-162)/(-15))/(3/10). Let f = -35 + p. Which is bigger: 5/9 or f?
f
Let i = 748 + -742.73. Let g = -0.07 + i. Let j = g - -0.8. Is 0 bigger than j?
False
Suppose 5*i + 0*i = 0. Suppose i*s = 3*s + 5*f - 23, -4*s = 4*f - 20. Suppose -2*p + 1 = -s. Is -2 less than or equal to p?
True
Suppose -112*z + 6*z = -31906. Which is smaller: z or 305?
z
Suppose -4*f - 16 = -2*y, 3 = 2*y + f + 7. Which is bigger: y or 139?
139
Let z(c) = c**2 - 3*c + 3. Let i be z(4). Let g(n) = -9 + 4 - 10 - i - 2*n. Let r be g(-11). Is r at most 2/17?
True
Let n(h) = h**2 + 3*h + 2. Let q be n(-1). Is -4/77 at most q?
True
Let a = 216.9 - 215. Let g = -3 + 2.9. Let p = a - g. Which is greater: -2/17 or p?
p
Let r(k) = k**2 + 18*k - 4. Let c be r(-12). Let l be 57/c - (-37)/28. Which is smaller: 0 or l?
0
Let c be (-1)/(0/1 - 1). Suppose 5*a = -898 - 677. Let r be (-265)/a + (-6)/21. Is c at least as big as r?
True
Let j = 19331/740 + -33/148. Let h = 26 - j. Is h at most 0.8?
True
Suppose 605 = -5*x - 10*n + 5*n, -3*n + 519 = -4*x. Which is smaller: x or 7?
x
Let q = -88 - -61. Let i = q + 26.9. Are i and -0.006 equal?
False
Let w be (-49)/(-272) + 20/(-170). Suppose -9 = -3*o, -18 = 3*u + 5*o - o. Let c be ((-2)/u)/(20/50). Is c at least w?
True
Let x = 25 - 13. Suppose -x*w = 5*w + 136. Which is smaller: -9 or w?
-9
Let x = -120 + 147. Let z be 3/(15/(-10)) + x. Is z at most as big as 25?
True
Let u be (-12)/(-42) - (-9)/(-7). Let b(h) = -29*h**2 + 1. Let i be b(u). Let v be 1 - (i/(-12) + 0). Is -0.1 at least v?
True
Let k be (-2456001)/32 - (-2 - -1). Let v = -76829 - k. Let o = 80 + v. Is o equal to -1?
False
Let m = 1.7 - -0.3. Let b be (-1)/((-1)/3) - (-5 - 28). Let h = b + -28. Which is smaller: m or h?
m
Let y be (77/(-462))/(1/(-6)). Is -3/811 greater than or equal to y?
False
Let j = 20/19 - 338/285. Let x = -85 - -138. Let n = -58 + x. Is n bigger than j?
False
Let c = -2754 + 2527. Which is smaller: -228 or c?
-228
Let j = -139.8 - -140. Is -6/11 greater than j?
False
Let d be 2/(-10) + (-18)/(-15). Let r be 3 + 1 + 0 + d. Is 1 bigger than r?
False
Let d(h) = 2*h**2 - 18*h - 85. Let m be d(-4). Let z be (-1)/(5/(840/(-9))). Which is greater: m or z?
m
Let f = 9 - -9. Let b = 17.8 - f. Which is greater: b or -6?
b
Suppose 5*z - 354 = -4*o, -2*o - o + 62 = z. Is z at least as big as 78?
False
Suppose 5*w + 4*j - 36 = 0, -w - 5 - 11 = -5*j. Suppose w*x - x - 9 = 0. Which is smaller: x or 4?
x
Let h be 4*6/15 - 2. Let i = 0.1 + 35.9. Which is smaller: h or i?
h
Let d be -3*(64/(-12))/(-4). Let b be (d/8)/((-1)/(-4)). Let r(o) = o**3 + 3*o**2 + 2*o. Let k be r(-2). Do k and b have different values?
True
Let d = 0 + -0.1. Let a = 0.1 + d. Let f = 443 + -443.06. Which is greater: a or f?
a
Let n = 104 - 101. Is 4 < n?
False
Let w = -24 - 29. Let o = w - -211/4. Let q = 31 - 30. Which is smaller: o or q?
o
Let u(y) = -y**3 + 23*y**2 + 15*y + 44. Let x be u(23). Let i = x + -1186/3. Is -7 >= i?
False
Let t(n) = -n**2 + 7*n + 4. Let u be t(6). Suppose -5*y - 2*x + 56 = 0, -3*y + 9 = -5*x - 6. Let g = u - y. Which is greater: 2/5 or g?
2/5
Suppose -p + 2*p + 9 = 3*o, -5*p + 2*o = 6. Suppose -h + w = p, -6*h = -h + 2*w - 7. Is 0 > h?
False
Suppose 15*q - 8*q = 105. Is 12 at least as big as q?
False
Let a(c) = -c**2 - 24*c - 19. Let m be a(-23). Suppose b - x + 39 = 0, m*b + 0*x + 132 = -2*x. Which is bigger: -37 or b?
b
Let b = -429 + 437. Which is smaller: b or -2/3?
-2/3
Let z be (-9)/(2/(2 - (2 - 2))). Let p be z/27 - 6/9. Is p greater than -1/53?
False
Suppose x + 21 = 7*a - 4*a, -4*x + 14 = 2*a. Is 6 less than or equal to a?
True
Let b = -135 - -138. Is -1.4 at least as big as b?
False
Let p be (-10)/(-8)*(9/(-120) + 0). Which is smaller: 2/3 or p?
p
Let h be ((-4)/(-21))/(54/(-21)). Which is smaller: h or -4/3?
-4/3
Let n = 66 - 96. Let p be (-15)/6 - n/(-36). Is -4 > p?
False
Let j(r) = r**2 + 48*r + 247. Let n be j(-42). Let x(t) = -t + 3. Let c be x(7). Is c smaller than n?
False
Let t be -28*14/(-147)*3/36. Is 0.035 at most t?
True
Let t = 0 - -6. Suppose 36 - t = 5*u. Let g be 2/u*6/20. Do 0 and g have different values?
True
Let z(g) = -g + 2. Suppose 0 = -5*b - 19 + 14. Let l be z(b). Let j = -0.6 + 3.6. Is l at most j?
True
Let c = -8.54 + 7.94. Which is smaller: c or 26?
c
Let v = 121358 + -2058922/17. Let d = 245 - v. Is -2 smaller than d?
True
Suppose 0 = -2*v + 3*k + 4, 4*v - 19 = 3*k - 5. Let s = v + -9/2. Let c = -9 + 17. Is c smaller than s?
False
Suppose 4*q + 8*r = 4*r - 12, 2*q + 5*r = -18. Let o(b) = -b**2 - 14*b - 14. Let u be o(-13). Let z be (-3)/(-171) - u/(-3). Which is smaller: z or q?
z
Let a = -53 + 53. Suppose 2*i + 7 - 69 = a. Are 30 and i equal?
False
Let l = -293/6 + 49. Let p = -5/42 - l. Which is bigger: p or 13?
13
Let p be 2/(-8)*98/(-329). Let i = p - -1093/470. Are 2 and i unequal?
True
Suppose 2636 = 19*s - 404. Which is smaller: 1287/8 or s?
s
Let c = -0.06 + -1.94. Let r = 0.406 - 0.496. Which is bigger: r or c?
r
Let h = 872593/24 - 57972833/1560. Let y = h + 804. Are 1 and y nonequal?
True
Let m be (-141)/660 - 1/(-4). Let a = 8545 + -8545. Is a greater than m?
False
Let d = -1.82 + 1.72. Which is smaller: d or 209?
d
Let o = 158 + -187. Which is smaller: o or -30?
-30
Let h be ((-7)/(-14))/(1/(-4)). Let y be h - 2 - (12 - 17). Is -1/37 greater than or equal to y?
False
Let n(c) = -6*c**2 + 4*c + 71. Let s be n(-6). Is s at most as big as -170?
False
Suppose 4*d + 4*m = d + 8, -3*d - 3*m + 3 = 0. Let x(q) = 4*q - 20. Let k be x(4). Are d and k nonequal?
False
Suppose -4*p - 2*l + 66 = 0, -5*l = -3*p - 2*p + 105. Let v = -17 + p. Which is bigger: v or -2/7?
v
Suppose 4*r = 5*x + 37, 0*x + 2*r = -5*x - 19. Let b(n) = -n**3 - 3*n**2 + 6*n + 6. Let u be b(x). Let j = 17 - u. Which is bigger: j or -11?
j
Let a = -490 - -492. Is a greater than or equal to 50/39?
True
Let y = -1061/9 - -118. Let v(g) = -12*g + 168. Let o be v(14). Are y and o equal?
False
Let n = -23 + 5. Suppose -2*f + 4*d = 22, f - 3*d + 7*d = -35. Which is greater: f or n?
n
Let h = 0.17 + -0.27. Let z = h + 0.06. Is z at least 1/2?
False
Suppose -31 = -s - 2*s - v, 0 = s - 2*v - 1. Let z = 5 - s. Let u be 2/(52/(z/(-2))). Is u != 0?
True
Let g = 93 - 98. Which is smaller: g or -19/5?
g
Let q = 4953/