
q
Suppose -194 = -2*k + 3*r - 29, -k + 7*r + 66 = 0. Which is bigger: 88 or k?
88
Let q be (-2)/(-17) - 151/(-17). Let o(t) = -2*t**2 + 18*t - 4. Let p be o(q). Let s be (-3)/2 + (-10)/p. Is -1/226 less than or equal to s?
True
Let u be (-2)/3*(6 - -6). Let x be u/(-28) + (-40)/(-7). Let c(d) = d**2 - 6*d - 4. Let n be c(x). Is n at most as big as -9/2?
False
Let a be (-1)/4 + 132/144. Let g = 5834.74 - 5834. Which is greater: g or a?
g
Let m = -26 + 23. Let p be 6/(-24) + -9*m/12. Suppose -60 = 3*f - 5*g - 6, -f = -p*g + 17. Which is smaller: f or 2/7?
f
Let m(o) = 4*o**2 + 29*o - 14. Let u(b) = -b**2 - b + 1. Let y(s) = -m(s) - 6*u(s). Let j be y(10). Let l be (j/33)/((-2)/(-33)). Is l >= -10?
False
Suppose -2*f - 4 = -5*a, -4*a + f + 2 = -0*f. Suppose -2*s - y - 3*y + 12 = a, -2*s - 2*y + 8 = 0. Suppose s*d - 5*d = 63. Which is bigger: d or -22?
d
Suppose -2*n + 7*n - 30 = 5*v, -2*v + 2 = 5*n. Suppose 4*t - 2*t = -c + 8, n*t - 16 = -5*c. Suppose -3*x + 3*x = -c*x. Is -8/11 not equal to x?
True
Let a be (327155/15575 + -21)*15/2. Is -1 bigger than a?
False
Let h be (-37328)/700*(7485/(-6))/1. Let f = h - 328467/5. Let j = f - 829. Is j > 2?
False
Let u(c) = -c. Let s be u(1). Let h be 1/(-4) - (6629/(-196) + -2). Let r = h + -13183/371. Is r equal to s?
False
Let v = -656 - -747. Let s be (v/(-26))/(7/14). Which is greater: 17 or s?
17
Suppose -30*p - 28 - 302 = 0. Let b be -4 + (11/p)/(1/(-4)). Which is greater: b or -455/4?
b
Suppose 5 = 3*l + 4*m - 5*m, 0 = -4*l + 2*m + 4. Suppose -2*d = l*r - 2, 4*d - 1 = 3*d. Which is smaller: -1/12 or r?
-1/12
Let f = 3 - 3. Let g be (-44)/(-80) + (-2 - 240/(-125))*10. Which is greater: g or f?
f
Let f = 2.1 + -2. Suppose -3 = 2*i - 65*s + 60*s, 0 = -5*i - 2*s - 22. Let b be 40/48*-3*(2 - i). Which is greater: f or b?
f
Let v = 1 + 1. Suppose -44 = 8*d - 19*d. Suppose 4*r = u - 2, -d*r = 2*u - 4*u. Which is bigger: v or u?
v
Let i be ((-9)/(277830/168))/(76/10 - 0). Which is bigger: -1 or i?
i
Let v = -67 - -338/5. Let p = 0.162 - -8.938. Let b = p + -10.1. Is b greater than or equal to v?
False
Let w = -17 + 14. Suppose 0 = -16*u + 40 + 232. Suppose l - 4*c + 27 = 6*l, 2*c = -3*l + u. Which is bigger: l or w?
l
Let q(a) = -5*a**2 - 13*a - 187. Let f be q(-9). Is f < -472?
True
Suppose -3*i - 593 = 2*x, 5*x - 2*i = -1079 - 413. Let r = x - -298. Which is smaller: r or -1/464?
-1/464
Let r(s) = 15*s + 212. Let p be r(-14). Is 86/33 at most p?
False
Let f be (15/(-6) + 2)/(6/(-120)). Let v be 1/((1 + -6)/f) - 228. Do -230 and v have different values?
False
Suppose 11*g - 245 - 129 = 0. Is 834/25 != g?
True
Let a = 322 - 325. Let n(c) = 2*c**3 + 2*c**2 - 13*c - 2. Let s be n(a). Which is bigger: -7/22 or s?
s
Let d = -0.0839 - -0.0835. Let m = 0.1996 - d. Let h = 0 + 0. Is h not equal to m?
True
Let t = 50 + -75. Suppose 36*d + 152 = 38*d. Let b = -102 + d. Do b and t have the same value?
False
Let c = -3540 - -205321/58. Let q = 12 - 9. Suppose -q*m = 3*m. Which is bigger: c or m?
c
Suppose -83*o + 2800 = -87*o. Is -701 bigger than o?
False
Let n = 44845/3 - 14948. Is n less than or equal to -1381?
False
Suppose 8*a - 101 = 83. Suppose -2*y - a - 16 = 3*v, 0 = -5*y + 5*v - 135. Let b = -214/21 - -76/7. Is y at most as big as b?
True
Let m = 56.4312074 + 0.0800926. Let x = 0.0113 - m. Is 1 at most as big as x?
False
Suppose -22*y + 7212 = 29146. Does y = -997?
True
Suppose 5*x - 5 - 180 = 0. Suppose -8*t + x = -91. Suppose -36 = t*w - 19*w. Is w > 11?
True
Suppose -j + 4*m = -0*m + 4, 0 = -5*j + 3*m - 3. Let r be 4 + (-6)/(-8982)*-3 + -4. Which is greater: j or r?
j
Suppose 148 - 407 = -7*o. Let l = 372 + o. Which is smaller: l or 1?
1
Suppose 2800 = -36*h + 28*h. Let d = h + 9446/27. Let g = 0.3 + -0.4. Is g greater than d?
True
Let m be (102/(-9))/(65/45*6). Do m and -0.3 have different values?
True
Let g(x) = x**3 - 19*x**2 - 23*x + 22. Let f be g(20). Let a be (0/1)/(-5 + 8). Suppose -b + 3*d + 12 = a, -4*b - 4*d - 17 = -1. Which is smaller: f or b?
f
Let h = 15.4241 + 0.3059. Let y = -15.8 + h. Which is greater: y or -1.9?
y
Suppose 5*i + 25 = -3*r, -25 = -r - 3*r + 5*i. Let z be ((-25464)/(-5094) + -5)/((-2)/12). Let u = 1429/1981 - z. Is r >= u?
False
Suppose -10*t = -6*t - 16. Suppose -t*w = -12, -2*w + 0*w - 21 = 3*r. Let u(i) = 2*i + 17. Let o be u(r). Which is smaller: o or 1/21?
o
Let p = 0 + 0.5. Let z = -484 + 484.4. Let b = z - p. Which is greater: -30 or b?
b
Let o = 43.52 + -0.52. Let a = o - 0. Let r = a - 44. Is -1 smaller than r?
False
Suppose -3*v + 2*v + 3*j - 32 = 0, 3*v = 3*j - 114. Let a = v - -108. Let q(n) = -59*n**2 - 1303*n - 42. Let o be q(-22). Which is smaller: o or a?
a
Suppose 57 = -3*o - 3*u, -2*o - 25 - 5 = 4*u. Let g be (-3)/(-12) + o/188. Let f = 1970 + -1971. Which is smaller: g or f?
f
Suppose -5*d = -325 + 175. Suppose -110 - 340 = d*q. Is -65/4 at most as big as q?
True
Let m = 1138 - 721. Let s = m - 267. Is s < 151?
True
Let z be (6/5)/(8/(-100)). Let p be z/10*(-98)/21. Which is bigger: p or -6?
p
Let d be -1 + -1 - 1485/(-744). Let p = -4944 - -4944. Which is bigger: p or d?
p
Let u be (0 + (-1)/(-27))*(-189)/(-1701). Let l be 0 + (10/(-5) - -1). Is u bigger than l?
True
Let p be (1 - (-6)/(-3))/((-1)/4). Suppose p*r + 195 = 215. Is r < 2?
False
Let s = 11373/2 - 5687. Which is smaller: s or -1445?
-1445
Suppose -984*c = -917*c - 335. Is c >= 1380?
False
Let w = -12.8 - -8. Let d = w + 38.8. Let h = 33 - d. Which is greater: h or 36/7?
36/7
Let d = 0.4 + 7.6. Let r = 9.4 - d. Let f(a) = -a**3 + 11*a**2 - 18*a + 1. Let c be f(9). Which is greater: r or c?
r
Suppose 0 = o + 3, -4*m + 2*o + 16960 = 4182. Which is smaller: m or 3189?
3189
Suppose b + b - 14 = 0. Suppose 8*s - 12*s = -8. Suppose 4*n - s*t = 18, 4*n + 2*t = t + 15. Does b = n?
False
Let j be 12327/3522 + 18/(-4). Let u be (-4 - -2) + 4120/2058. Do u and j have different values?
True
Let f = -515.3112 - -3.3112. Which is smaller: -0.1 or f?
f
Let h be 4*(-7)/13 + 2. Let n be (9/(-52))/((-14)/(-28)). Let i = h + n. Which is greater: 0.01 or i?
0.01
Let h = -14 + 22. Let c(o) = 8*o - h*o + 2*o. Let j be c(-2). Is -17/5 bigger than j?
True
Let k be -4*((-6)/(-65))/(3464/(-5)). Which is greater: k or 1?
1
Let f(p) = -892*p + 1690. Let d be f(2). Which is smaller: d or -18?
d
Let k = 0.07834 + 0.12166. Are 28.7 and k equal?
False
Let o = 36020/2220037 + -22/2069. Are o and -1 nonequal?
True
Let i be (-37236)/(-15312) - 10/4. Is -0.28 bigger than i?
False
Let a be (-144)/7 - (-48)/112*-1. Let v be 1/3*(3 - 0). Let c(d) = -20*d**3 - d**2 + d. Let w be c(v). Is w greater than a?
True
Let g be (-119650)/(-16500) + 4/22. Are 8 and g non-equal?
True
Let m be -5 - -3 - 7 - -1. Let l be m/((-24)/9) - -6. Let f(y) = y**3 - 6*y**2 + 3*y - 9. Let r be f(6). Is r greater than l?
False
Suppose -3*w - 5 = -r - 4, 0 = -2*r + 2*w + 18. Let u = r + -10. Suppose -2*s + 53 = -u. Which is smaller: 27 or s?
27
Let m = -1 + 1. Let u = 2979 - 32761/11. Which is greater: u or m?
u
Let w be 60*-11 - -12*13/52. Let d = 636 + w. Which is smaller: d or -0.2?
d
Let n(a) = -a**3 - 10*a**2 - 15*a + 6. Suppose -7*w = -2*w + 40. Let q be n(w). Let l be (1/q)/(1*3/(-228)). Are l and 37 non-equal?
True
Let f = 18049 + -18050. Let q = -13 + 11.5. Which is greater: q or f?
f
Let g = -3920 + 1990. Let m be g/15 - (-15)/9. Is m smaller than -127?
False
Let y = -276244034/1275 - -216662. Which is smaller: 1 or y?
y
Let y = 547.7596 + -548. Let v = 0.0404 + y. Which is smaller: -7/2 or v?
-7/2
Let q = 83024/961113 + 4/4197. Is 1 less than or equal to q?
False
Let a(g) = -12*g + 16 + 13 + 17. Let o be a(5). Which is smaller: o or -12?
o
Let l = -0.3 - -0.5. Let w be (770/66)/(115/138). Is w greater than l?
True
Let d = -6938/11 - -630. Let c(v) = -v + 1. Let n(f) = 7*f - 17. Let j(s) = 6*c(s) + n(s). Let o be j(10). Do o and d have the same value?
False
Let o be 8902/36 + (44/36 - 1). Let r = o - 247. Is -50 greater than r?
False
Let z(w) = -27*w - 558. Let y be z(7). Are y and -746 equal?
False
Suppose 3*l = -0*l - 21. Let k be 90/(-35)*1*l. Suppose -12 = -5*t + k. Is t bigger than 4?
True
Let t = -25 + -9. Let v = -10 - 38. Let g = v - t. Which is smaller: g or 2/5?
g
Let r = -1.2 + 4. Let j = -0.157 + 0.111. Let p = j - 0.954. Is p < r?
