*s = -3*k + 61, 0 = 4*k + 6*s - 2*s - 88. Let j = a + k. Do 10 and j have the same value?
False
Let c be 0/(-2) + 4/(-10). Let k be ((-28)/(-105))/(-1 + (-31)/(-33)). Which is smaller: c or k?
k
Suppose 2*x - 13 = -3*i + 2, 2*x = 2*i. Let r be 6/(-9)*x/7. Suppose -47 = -u + 5*c, -3*c - 2*c - 3 = u. Which is bigger: u or r?
u
Let g = -4125/2 - -2062. Are -510 and g nonequal?
True
Suppose x + 5*w = -34, -4*x - 34*w = -30*w + 152. Is x equal to -41?
False
Suppose -6*u - 12*u + 342 = 0. Which is smaller: u or 37/2?
37/2
Let i(k) = 4*k + 22. Let m be i(-12). Let q = -1.6 - -1.6. Is q not equal to m?
True
Let o be 127/(-30) + -4 + (-63)/(-14). Which is bigger: o or -4?
o
Suppose -m - 9*r + 11*r = 553, 0 = -5*m + 3*r - 2751. Is m < -548?
True
Let i = -168 - -223. Let a be (i/(-30))/11*2. Which is smaller: a or -0.18?
a
Let v be (28/(-49))/(3/(-21)). Suppose -v*j = -3*q, -5*j = -0*j - 3*q. Which is bigger: j or -4/5?
j
Suppose m = 19 - 250. Let f = m + 235. Let v = 1551/20 - 291/4. Is f bigger than v?
False
Let t(u) = -159*u - 16. Let c be t(7). Let j = 3599/3 + c. Let b = 70 - j. Which is smaller: 2/5 or b?
b
Let n = -0.0324 + -11.9676. Is 4/3 less than or equal to n?
False
Let a be (-1)/(-6)*(-8874)/4. Suppose 4*x - 1104 = 7*x. Let l = x - a. Do 1 and l have the same value?
False
Let h = -621/50 - -25/2. Let a(f) = f**3 - 7*f**2 - 3*f + 2. Let i be a(7). Let g = i + 20. Which is bigger: g or h?
g
Suppose 3*j + 0*j = 6. Suppose -4*z - j + 14 = 0. Let k be 2/(-6) + 4/z. Which is smaller: k or 1/4?
1/4
Let c be 6/33 - 4/22. Suppose c = 7*j - 5*j - 14. Let x(y) = -9*y - 1. Let s be x(-1). Are j and s non-equal?
True
Let s(y) = -2*y**2 + 23*y + 14. Let o be s(14). Let p be (-8)/(-20) - o/10. Which is greater: p or 1?
p
Let v = -29 - -10. Let w = v + 16. Let u be 3*1/((-5)/1). Which is bigger: w or u?
u
Let h = 2/21 + -37/21. Let f be (-18)/(-4)*8/12. Let a(w) = w**2 - 4*w. Let n be a(f). Is h <= n?
False
Let y(k) = -3*k - 19. Let v be y(-8). Suppose -2*l + 4*o - 8 = 0, 7 = l - 3*l + v*o. Let u(b) = -3*b + 24. Let s be u(9). Which is greater: l or s?
s
Let u = -15 + 1934/129. Which is smaller: u or -1?
-1
Let v be -5 + (123/(-963))/(5/(-195)). Let y(d) = d**2. Let n be y(0). Which is smaller: n or v?
v
Suppose -17 = -4*b + 3. Suppose b*f + 4 = q, -q + 2*f + 2 = -2. Suppose 0*r + 2*r - q*w - 24 = 0, 3*r - 4*w = 34. Is r greater than 2/5?
True
Let n(z) = -z + 4. Let x be n(3). Let u be (1 - x/4)*12. Which is smaller: 33/4 or u?
33/4
Let r = -381/2 + 190. Which is smaller: -8.8 or r?
-8.8
Suppose 29 = 5*k + 129. Are -18 and k equal?
False
Let h = 1 + 0. Let k = 21 + -39. Which is smaller: k or h?
k
Suppose 5*a + 14 = 2*v, 6*a + 8 = a - v. Let n be -1 + (-2)/a + 0. Let o = -24768/17 + 1457. Which is smaller: o or n?
n
Let p = 27 + -38. Let w = p + 24. Let n = 13.05 - w. Which is smaller: n or -2?
-2
Suppose 3*q = 6*q + 5*d + 23, -4*q - d = 8. Let h = -490 - -24994/51. Is h at least q?
True
Let t(a) = -a**3 + 9*a**2 + 18*a. Let x(w) = w**2 + w + 1. Let m(o) = -t(o) + 5*x(o). Let y be m(6). Which is bigger: -30 or y?
y
Let d be 12 - 11 - 2/2. Let i = d + 1. Let u be -8 + i - (5 - 3). Is -8 > u?
True
Let p = -98 - -46. Let a = 75 + p. Is a greater than 0.2?
True
Let h = 698 + -695.07. Let o = h + 0.07. Let g = -1.07 + 0.97. Do o and g have the same value?
False
Suppose 4 - 14 = -5*x - 5*y, 0 = -5*x + 5*y - 10. Which is smaller: x or 5/97?
x
Let h be (8/3)/(3*(-4)/(-36)). Suppose 2*m + 3*j + h = 0, -2*m + 4*j - 7 = 15. Let b be 1/4 + (-33)/4. Is b bigger than m?
False
Let b be (384/15)/(6/(-90)*3). Is -2 bigger than b?
True
Let b = -283 + 504. Is 221 not equal to b?
False
Let c be (-2)/(-20)*(-126)/(-6). Let x = 262 + -260. Which is greater: c or x?
c
Let v = -231 + 230. Which is bigger: v or 186?
186
Let j be 66/(-180) - (-3)/15. Is j at least as big as -1?
True
Let s(m) = 162*m**3 + m**2 - 3*m + 1. Let o be s(3). Let z be o/9 - 14/(-63). Let w = z + -492. Is -5 greater than w?
True
Let l = -319 + 224. Let o = -113 - l. Is -18 != o?
False
Suppose 16371 = -129*v - 187*v - 7645. Suppose -2*j + 6*j - 387 = 5*h, 4*h - 5*j = -315. Is v greater than or equal to h?
False
Let s(c) = 68*c**3 + c**2 - 2*c + 3. Let o be s(1). Let g = o - 72. Which is bigger: g or -2/3?
-2/3
Suppose -11 - 29 = -5*h. Let p be h*(20/(-8) + 4). Let s be p/7 - 12/8. Do -1 and s have the same value?
False
Let b = -1284.4 - -1279. Which is bigger: b or 0.7?
0.7
Let c = 57 - 59.4. Let u = c + 5.2. Is 2 less than or equal to u?
True
Let g be ((-5)/(-885))/(-2 - 245/(-120)). Is g < 0?
False
Suppose 4*j + 20 = -4*q + 48, -j + q = -7. Let o(x) = -x**3 + 2*x**2 - 1. Let f be o(1). Is j equal to f?
False
Let z = -2262.06 - -2262. Do z and 22 have different values?
True
Let t = -53 + 17. Let u = t - -20.8. Let p = u + 15. Which is bigger: -1 or p?
p
Suppose 0*d + 8 = a - 5*d, a - 2 = -d. Let r be (1 + 1 - a) + 6. Suppose -8 = w - r*w. Which is smaller: w or -7?
-7
Let k be 2*1*2/4. Let d(f) = -f**2 + f + 8. Let q be d(3). Are q and k non-equal?
True
Let v = 858.583 - 859. Is 1/4 greater than or equal to v?
True
Let y = 16 + -12. Suppose 14 = -3*r + y*r. Suppose v = 2, 0*w + 5*v - r = -2*w. Is w equal to 2?
True
Let d = 308 + -1233/4. Which is greater: -27 or d?
d
Let c = 5 - -1. Let f = -35 + 31. Let o = c + f. Which is smaller: -2 or o?
-2
Let n(a) = -3*a**2 - 23*a - 3. Let l be n(-4). Is l <= 38?
False
Let u = 20 + -12. Suppose 4*i + 2*c + 13 = 1, 0 = -3*i - c - u. Let t be 4/(-3) + (-2)/(-4). Which is greater: t or i?
t
Let l be (-2077517)/692505 - (2 - 5). Let d = -11864891/9695070 + l. Let x = d - -32/21. Which is greater: x or 0?
x
Let y = -30 + 32. Let s be y/(-4)*(6 + -8). Are 2/5 and s equal?
False
Let r = -134 - -134. Let k = -899 - -20673/23. Is k at least r?
False
Suppose 2*d - 1 = 3*r - 2*r, 3*d - 19 = 5*r. Is r bigger than -4?
False
Let j(b) = b - 5. Let f be (7 + -9)*14/(-4). Let r be j(f). Suppose r*s = -2*s + 12. Is 4 less than s?
False
Let g be -1 - 7119/(-4401) - 4/6. Is g smaller than 1?
True
Let q be 9 + (1 - 2 - 3). Suppose 0 = -0*u + q*u. Suppose 33*a - 28*a + 10 = u. Is a greater than -4?
True
Let u be -1*3*3/9 + -1. Let n be 76/216 + 1/u. Which is smaller: 1 or n?
n
Let u be -4*-1*9/198. Is u > 1?
False
Let o be ((-1 - -3) + -4)/(1/(-29)). Let j be 234/o - (-3 + 7). Is 0 equal to j?
False
Suppose 38*y - 122 - 448 = 0. Are 15 and y non-equal?
False
Let g = 0.51 - 5.51. Let o = g - -17. Is o bigger than -1?
True
Suppose -90 = -2*j + 4*j. Let a = 38 + j. Is -5 greater than a?
True
Suppose l + 0*z = -z - 8, 36 = -5*l - 3*z. Let y be -3 + 2/(l/(-9)). Which is smaller: -4/11 or y?
-4/11
Let k(w) = 3*w - 25. Let b be k(9). Let t be (-1*1)/((-6)/(-72)). Let x be 177/90 + b/t. Is 3 at most as big as x?
False
Suppose 0 = 2*g - p + 137, 2*g + 125 = -0*g - 3*p. Let x be 4/(-8) - g/(-69). Let v = x + -2/69. Which is bigger: 0 or v?
0
Let f be 34/(-16)*(-8)/(-60). Let l = f + -35/12. Which is smaller: -3 or l?
l
Let g = -2.06 - -2. Let z be (-4*6/(-72))/(-1 - 0). Is z at most as big as g?
True
Let t = -2307671 + 4772263747/2068. Let s = t + -3/44. Is s <= 1?
True
Let y(u) = -u**2 + 5*u - 4. Let k be y(4). Suppose 0*v + v + 12 = k. Let j be v/4*(-3)/12. Which is greater: 0 or j?
j
Let a(d) = 20 - 8 - 14*d + 2*d**2 + 0*d**2 - 3*d**2. Let z be a(-14). Suppose 2*t = -4*u + 6, -5*t = 13 + z. Is 8 < u?
False
Let w = 15/74 + 48/37. Which is smaller: 17 or w?
w
Let g be (1 + 46/(-4))*8/(-12). Suppose 2*o + 1 = -g. Is o greater than -11?
True
Suppose 0 = -3*d + 2*b + 12 + 18, -b = 4*d - 51. Let p = -117 + 115. Is d less than or equal to p?
False
Let p be (-2)/(-2) + -1 + 3. Suppose 5*v - p = 2*v. Let m be (-328)/608 + (-6)/(-8). Which is greater: v or m?
v
Suppose 136*k - 130*k = 1086. Which is smaller: 180 or k?
180
Let g(q) = q - 21. Let b(h) = -13*h + 62 + 4*h + 6*h. Let a(c) = -4*b(c) - 11*g(c). Let o be a(12). Which is bigger: o or -4?
-4
Let c = -155 - -7286/47. Let m = -185/141 - c. Which is greater: m or -11?
m
Let w = 51 + -50. Let c = 1/131 - -111/2620. Which is smaller: c or w?
c
Let d = -510 - -540. Is d less than or equal to 22?
False
Let r(n) = 3*n - 3. Let z be r(2). Let b(d) = -d**3 + 6*d**2 + d - 1. Let a be b(6). Suppose 8*g - a*g - z = 0. Is -1/4 less than g?
True
Let r = 122457