+ 7. Let y = -8 - m. Let n = -1035 + 1021. Is n less than y?
False
Let f = -38.69 + 31.69. Are 0.21 and f non-equal?
True
Let s = -135 + 134. Let m be -2 + ((-60)/4)/s. Which is greater: m or -1?
m
Suppose 224*n + 11937 = 227*n + 4*x, 5*n + 7*x = 19897. Which is smaller: 7939/2 or n?
7939/2
Let h be ((-94)/(-18) - 5) + 10686/(-1836). Let l = h - -64/17. Which is bigger: -3 or l?
l
Suppose -256*c + 94*c = -104*c - 116. Which is smaller: 129/119 or c?
129/119
Suppose -29*w + 4*w + 12*w - 26 = 0. Do 786 and w have the same value?
False
Let o(i) = 281*i + 46. Let c be o(-1). Is c at most -9?
True
Suppose 12*p - 10*p = -62. Let r = p - -30. Let v be (-7 - -6)*r/(-5). Is 0 != v?
True
Let u = -1.19 - 78.81. Let j = 79.961 + u. Let h = 0.043 + j. Is 2/5 smaller than h?
False
Suppose -2*g + 2*r - 6 = 0, r + 0 = -4*g + 13. Let c be ((-774)/27)/g + 2/6. Let k(a) = -2*a - 5. Let y be k(4). Which is bigger: y or c?
y
Let d = -27.2 + 27.431. Let m = d - -0.769. Does -86 = m?
False
Suppose -7*v - 7*v - 9415 + 9443 = 0. Is 20031 less than v?
False
Suppose t + 27 = -4*k, 2*t - 30 - 4 = 3*k. Let p be 2/k + 1032/32. Suppose 4*z = -z + d + 160, 0 = -4*d + 20. Which is greater: z or p?
z
Let p(i) = i + 5. Let y be p(-4). Let u = 113.6 + -113.5. Which is greater: y or u?
y
Suppose u = -u + 8. Let g be (u/(-90))/((-24)/2850). Let y = g - 11/2. Is y > -1/2?
True
Suppose -138 = 4*l + 102. Let r be ((-3530)/l)/((-17)/117). Let x = -405 - r. Which is greater: x or 1?
1
Suppose 3*p - 6 = 0, 5*m + 5*p - 1072 = 28. Suppose -c = -5*b + m + 191, -c = 4. Let j be (2 - 159/b)*2. Which is bigger: j or 1?
1
Suppose 0 = 2*h - 3 + 37. Let o = 47 + -49. Let b be (o/(-4) + 49/14)*-4. Do h and b have the same value?
False
Suppose 117 - 87 = 6*s. Let y be 51/85 + (-24)/(-10). Let m be (-6 + 4)*(-5 + y). Which is smaller: m or s?
m
Let a be 6 + 3 - 0 - -799 - (-2)/(-1). Is a smaller than 805?
False
Suppose 0 = 3*w + 4*a - 16, 11*a + 12 = -3*w + 14*a. Is w > 65/69?
False
Suppose 2*z - 2*c = 228, -3*z = 3*c - 457 + 139. Suppose 0*p + p + 4*m - 31 = 0, -3*p = -5*m - z. Let q = -30 + p. Which is bigger: 17/3 or q?
17/3
Let g = -43.7 + -179.7. Let b = 220 + g. Is 0 > b?
True
Let i = 55 + -164/3. Let x be (3/(-12))/(1/3). Which is smaller: i or x?
x
Suppose -373 = p + 126. Let k = p - -588. Which is greater: 90 or k?
90
Let t(r) = r**3 - r**2 + 2*r - 1. Let b be t(1). Let k(f) = 46*f - 38. Let w be k(4). Suppose 5*j = -251 + w. Which is bigger: b or j?
b
Let u = 37 - -408. Let k = 2671/6 - u. Which is smaller: k or 4/5?
k
Suppose 299*g - 248 = 330*g. Is -194/21 at most g?
True
Let o = -0.5526 + -508.4474. Which is bigger: -6/5 or o?
-6/5
Suppose 0 = 2*f - 0*f + 4*p - 100, -5*p = 5*f - 235. Suppose a = -1, 0*a = -4*u + 4*a + 200. Suppose -n + 3*i = -u, -7*n + 2*n + 207 = 4*i. Is n smaller than f?
True
Suppose -5*d + 0*d - 30 = 0, 2*d + 5300 = -2*m. Which is greater: m or -2646?
m
Let x be 100/(-80) + 3/(-4). Let l(p) = -13*p**3 - p**2 + 2*p + 4. Let i be l(x). Is i smaller than 102?
True
Suppose -3*h + 5*p = -378, 0*h = -4*h - 2*p + 504. Let j be 1/(-4) + (-1527)/(-12). Is h greater than or equal to j?
False
Let x be (0 - 42/172)*29260/(-3990). Is x bigger than -1?
True
Let r = 3976/5 - 143291/180. Which is bigger: r or 0?
0
Let h = 4936 + -14810/3. Suppose 0 = -8*l + 3*l - 770. Which is smaller: l or h?
l
Let a = 383.57 + -438.57. Is a != 28?
True
Suppose 4*x - 716 = 4*q, -x + 2*q + 0*q + 182 = 0. Let r = 876/5 - x. Let y be 0/((-2210)/85)*((-3)/(-3) - 0). Is y <= r?
False
Let j be 1 + 0*4/16. Let t be (j - 161) + (-16 - -18). Is t > -160?
True
Let c = -7005 + 6942. Which is smaller: c or -72?
-72
Let v = 1458 + -107899/74. Which is smaller: v or 0?
v
Let u be -1 - (0 + 146/(-148)). Let o(h) = 3*h - 73. Let l(x) = x**3 + 6*x**2 - 3. Let b be l(-3). Let n be o(b). Which is bigger: u or n?
u
Let d = 235.496 + 4.504. Which is smaller: d or -3/8?
-3/8
Let v(u) = u + 23. Let k be v(12). Suppose r + k = -3*d, -d - 22 = d + r. Let q be (29 - (d + 7)) + 0 + 0. Which is smaller: 33 or q?
33
Let x be (-26)/(-65) + 24963/21505. Let b = x + -6/391. Which is smaller: 3 or b?
b
Let d = 4784 - 4782. Which is smaller: d or 803?
d
Let t be (-1)/(-3)*(-5 - -2). Let a be (-123397)/366 - 7/210*-5. Let f = -337 - a. Which is bigger: t or f?
f
Suppose -13 = 11*k - 13. Suppose 5*d + 1 = 4*x, k*d + 3*x = -5*d - 8. Is -1/153 bigger than d?
True
Let j(h) = 14*h + 254. Let s be j(-19). Let q be 3/(-5) + 208/(-20). Which is smaller: s or q?
s
Let m = 162 + -159. Suppose -2*l = 5*g + 4, -8*l - 10 = 3*g - m*l. Let t = 4.95 - 0.85. Is g smaller than t?
True
Let f(c) = 4*c + 23. Let k be f(-17). Suppose 123*t - 111*t = -492. Which is smaller: k or t?
k
Let w = -68 + 72. Suppose 3*f - 2*d = -w, 0 = -4*d + 1 - 5. Let x(y) = y**2 + y + 1. Let c be x(-1). Which is smaller: f or c?
f
Suppose -2175 - 905 = 11*o. Let f = o + 59. Do f and -221 have the same value?
True
Suppose 0 = 29*k - 32*k + 1005. Let r = 335 - k. Is r at most -1.2?
False
Let a = -0.04977 - 0.95023. Is 4/1137 less than a?
False
Let f = 28 - 14. Let t be 9/(-21) - (-20)/f. Which is bigger: t or 26?
26
Let u be (9/1761)/(1560/208). Is u smaller than -2?
False
Let k be (-12)/(-70)*(-160)/(-12). Suppose 378*p = 375*p + 3. Let j be ((-42)/70)/((p/(-5))/1). Which is greater: k or j?
j
Let y = -201874/29 - -6961. Is -1/3 < y?
True
Let j = 4800.2 - 4800. Is j smaller than 1/47?
False
Let j = -76 + 140. Suppose -4*h + 4*f = 44, 0 = -4*h + 2*f + 16 - 68. Let m be (75/(-1))/h + 61 + -1. Which is smaller: j or m?
j
Suppose 2*x + 3*n = 379, -x - x = -3*n - 373. Let d = -165 + x. Is 23 at most as big as d?
True
Let v = -60 + 60. Let n be ((-100)/(-5))/(v + -1). Is n smaller than -18?
True
Let c(x) = 2*x + 73. Let b be c(0). Let f be 1 + 75 - (-9)/((-90)/(-20)). Let l = f - b. Is l at least 5?
True
Suppose 0 = 1835*q - 1850*q + 570. Is -6 not equal to q?
True
Suppose 0*a - 33*a + 109 = 10. Let h(l) = -l + 1. Let p be h(-3). Suppose -42 = a*t - 2*f - 17, p*t = f - 25. Which is greater: -4 or t?
-4
Let w = 0.525 + 0.439. Let k = 0.036 + w. Let r = k - 4. Is 1/2 at most as big as r?
False
Suppose -5*b + q = 675, 3*q = 5*q. Let s = -143 - b. Let z(r) = -2*r**2 + 3*r. Let j be z(3). Which is smaller: s or j?
j
Suppose 21216 = -72*p - 208320. Is -3189 less than p?
True
Let s = 16 - 12. Let g(i) = -4*i - 5*i + 0*i + s + 5*i. Let k be g(1). Which is bigger: -4/91 or k?
k
Let i be (-6 - 12) + (-11)/(22/(-24)). Is -691 less than or equal to i?
True
Let a = -937 - -935.02. Let u = -2.08 - a. Is 44 < u?
False
Let f(z) = 421*z**2 - 3788*z - 5. Let i be f(9). Let g be (-1*21/(-4))/1. Is g smaller than i?
False
Let v = -25.7 + 3.2. Let k = -27.5 - v. Which is smaller: k or -1/9?
k
Let y be ((-2882)/(-198))/((-1010)/6 + 0). Let r = 4/501 + 598/50601. Let k = y + r. Is k <= -0.2?
False
Let w = -6.11 + -1.89. Which is smaller: -3/8 or w?
w
Let v = 30212 - 32517. Is -2304 smaller than v?
False
Let n(s) = -25*s**3 - 54*s**2 + 98*s + 4. Let t be n(2). Which is bigger: -181 or t?
-181
Suppose 74*n - 97*n = 46. Is n equal to -285?
False
Let x = -1759 - -1714.92. Let a = 43.9 + x. Which is smaller: 1 or a?
a
Let j be 4 - (17 + 1) - 230. Which is smaller: -253 or j?
-253
Let f(u) = -3*u**2 - 2*u + 180. Let h be f(-22). Which is greater: h or -1227?
-1227
Suppose -21 + 109 = 132*t - 44. Which is smaller: t or 4/945?
4/945
Let l(a) = a**3 + a**2 - 46*a - 45. Let u be l(-12). Is u bigger than -1078?
True
Let x = -716/27 + 11465/432. Does x = 106/7?
False
Let t be -2 + 60004/(-35) - (-3 - -3). Let k = t + 1694. Is -21 smaller than k?
False
Let y(b) = b**2 + 6*b - 5. Let p be y(1). Suppose -3*v + 5*t = p*t + 1755, 0 = v + 2*t + 597. Which is smaller: v or -590?
-590
Suppose 0 = -52*i + 55*i. Suppose i = -5*k + 4*q + 30, 2*k - 5*q - 33 = -2*k. Suppose -3*t - t + 13 = 3*h, k*t + 3*h + 1 = 0. Is 0 not equal to t?
True
Suppose 26444*l = 26432*l - 276. Which is bigger: -22 or l?
-22
Let p be (-98)/40 - (-8)/(-10). Suppose 66 - 22 = 2*h. Suppose 19*a - 9 = h*a. Is a less than p?
False
Let c be (-2)/(-7) + 1540/(-5047). Let t be (-6)/(-18) - 10/3 - -13. Suppose -13*h + t*h = -3. Is h < c?
False
Let y = -6510/13 - -48417/91. Suppose l = 2*t - 70, 20*t - l = 15*t + 163. Which is bigger: y or t?
y
Let f = 2446