ch is smaller: -1/5 or q?
-1/5
Suppose 4*v = -5*c - 2269, -3*v = 2*c + 2*c + 1703. Let l = -5161449094/109 - -47353305. Let u = v + l. Which is smaller: u or 1?
u
Suppose -33 + 59 = -13*b. Which is bigger: -41 or b?
b
Let q = -4531/66 - -702/11. Suppose 917*a - 8 = 919*a. Which is smaller: q or a?
q
Let v be 3/(-18) + 429/990. Which is bigger: v or 0?
v
Let a be -3 + 1 + 64 + 3. Let h be 425/(-68)*4/10*-26. Is a at most as big as h?
True
Suppose -2*c = -5*c + 9. Suppose x - c*x = -6. Let f be 6/2 - ((11 - 8) + -1). Are x and f unequal?
True
Let g be ((-26)/7)/(8 + -6). Let v = -5/7 - g. Let u be (6/9)/(2/3). Which is smaller: u or v?
u
Let r = 173 - 170. Which is smaller: 4/3 or r?
4/3
Let i be (-2)/7 + 15/(-21). Let p be ((-2)/(-40))/((-135)/(-54)). Which is bigger: i or p?
p
Let s = 355 + -355. Is 4/219 >= s?
True
Suppose -96 = -99*m + 101*m. Is m at least -67?
True
Let t = -126/11 + 2602/231. Is t greater than 4/7?
False
Suppose -5*c + 3*k - 8 = 30, 2*c - 3*k = -17. Let v = c - -16. Let b = 9 - v. Are 6/13 and b equal?
False
Suppose 2*y - 684 = -2*h, -2*h - 3*h + 1680 = -y. Let c be -3 - (h/(-170) - 0). Let x = c - -9/10. Which is greater: 1 or x?
1
Let h = -6/23 - -153/322. Let w = h + -1/21. Is -1 less than or equal to w?
True
Let i be (-8)/(-2)*(-69)/12. Let b = i + 24. Which is smaller: -7 or b?
-7
Suppose -4 + 24 = 5*f. Let v be (4/3)/(f/9). Suppose -s + 0 + 4 = 0. Which is smaller: s or v?
v
Let a be ((-16)/(-10))/((-16)/(-40)). Suppose 3*d = a*w + 3 + 1, 5*d - 5*w = 15. Which is bigger: d or 7?
d
Suppose 2*z = -3*s - 0*z + 43, 5*z + 80 = 5*s. Let q be (-9)/(-18)*102/s. Is q bigger than 2?
True
Let d = 8/145 - -8153/2030. Let o = -89/22 + d. Is 0 equal to o?
False
Let a(q) = -q**2 + 3*q + 4. Let t be -1 - ((-2)/(-4) - 22/4). Let l be a(t). Is -15/11 at most l?
True
Let j be (-132)/20 + 18/3. Do j and 0 have different values?
True
Suppose -31*j = -27*j - 308. Which is smaller: j or -9?
-9
Let y = 12 - 0. Suppose 2*j - b + y = -3*b, 4*j + 3*b + 24 = 0. Which is bigger: j or -5?
-5
Let d = -16 - -26. Let r(o) = 3*o - 36. Let b be r(15). Suppose -b = -7*v + d*v. Is -2 less than or equal to v?
False
Let q = -192 - -119. Are q and -72 unequal?
True
Let l = -4028 + 60454/15. Which is greater: 2 or l?
l
Let n be (2 + 10)/(15/10). Suppose 3*i - i = n. Suppose -4*x + 4*f - 2 = -14, i = -2*f. Is x not equal to -1?
True
Let o = 48 - 16. Let v = -23 + o. Is 0 != v?
True
Suppose -2*l + 7*l = -20. Let a(c) = c**3 + 3*c**2 - 2*c - 2. Let b be a(l). Let h be (-135)/(-117)*4/b. Is 1 >= h?
True
Let g be (6 - (-5 - -10))*-1. Let y be (2 - 1) + 175/(-155). Is g < y?
True
Let b = -0.9 - 0.1. Let h = 1 - 5. Let g be (30/18)/((-10)/h). Is g less than b?
False
Let t be 85/(-75) - (-2)/15. Let q = t + 3. Suppose -3*n - 5*v = 1 + 3, 4*n = -q*v + 4. Is 2 < n?
False
Let a be (1/(-3))/((-8)/(-24))*-28. Let j = a - 53. Which is bigger: j or -26?
j
Let d be 1/3*3*-1. Let q = -16275 + 81659/5. Let i = -57 + q. Which is smaller: d or i?
d
Let r = -4/19 + -64/57. Let o = 6 - 8.4. Let d = o + 5.4. Which is greater: r or d?
d
Let k be (-6396)/10 - 0 - (-4)/(-10). Let h = 5141/8 + k. Are h and 4 unequal?
True
Let u = 0.36 - -22.64. Let z = u - 23.24. Let f = -0.06 + z. Is 0.02 >= f?
True
Suppose 71 = -23*j + 94. Let n = -133/1912 + -4188843/32504. Let u = 129 + n. Which is smaller: j or u?
u
Let a = 0.013 - -21.987. Let w = a + -12. Is w less than or equal to 2?
False
Let j be ((-20)/(900/27))/(1/45). Is j less than or equal to -27?
True
Let c be (16 - 2 - 11) + (2 - -131). Which is greater: 137 or c?
137
Let n = 1004 + -1401. Is n bigger than -397?
False
Let u be (-274)/(-1572) - (-24)/(-144). Which is bigger: u or -1?
u
Let a = 16.4 + -16.3. Suppose 0*x + 165 = 5*x. Is a bigger than x?
False
Suppose 9 + 29 = -2*t - 4*j, -5*j = -t - 26. Suppose -3*y = -3*c - 54, 11 = -5*c - 4*y - 106. Is t less than or equal to c?
True
Let b(q) = q**3 - 4*q**2 + q + 8. Let u be b(3). Let d be u/(-3) - 3/9. Is -1/37 equal to d?
False
Let t be -1*-1*1 + (-41)/(410/10). Let w be 0 - (1 - (-201)/(-199)). Which is greater: t or w?
w
Let j = -0.12 + 0.07. Let l = j + -0.25. Let q = 199 + -598/3. Are q and l equal?
False
Let a = -202199/10 + 5075393/270. Let y = -1422 - a. Let j = -2596 + 2597. Which is smaller: y or j?
y
Let f = -0.47 + -0.53. Let d = 2 + -5. Let k = d - -4. Is f at least as big as k?
False
Let m = 85518 + -15991786/187. Let s = m - 6/11. Suppose x - 2*p + 5 = 6, -3*p = 0. Which is greater: x or s?
x
Let u = 487659/2170 - 2247/10. Which is smaller: -1 or u?
-1
Let v(q) = -q**2 + 14*q + 33. Let f be v(15). Suppose 7*x - f = 3. Are 28/9 and x equal?
False
Suppose 0 = -7*p + 8*p + 5*m + 2, -2*p = m + 31. Are p and -18 unequal?
True
Let c(j) = j**2 + 2*j + 3. Let x be c(-4). Suppose -4*u = -x + 59. Let r = -10 - u. Is r at least 2?
True
Let i be ((-1)/2)/((-9)/(-18)). Are 2/1273 and i equal?
False
Suppose 0 = a - 5*k + 11 + 12, -4*k = -2*a - 16. Let g = a + -3. Suppose 0 = 50*s - 40*s. Is g bigger than s?
False
Let t be (-6 - -9)*1/(12/(-248)). Is 1 bigger than t?
True
Let r = 1.13 + -1.23. Are r and -2/409 non-equal?
True
Let z be (-46 - (5 - 3))*-1. Which is smaller: 49 or z?
z
Let h be 4 - (-2 + 1 - -3). Let v be -3 + -1 + h + 2. Which is greater: v or -6/11?
v
Let y(c) = c**2 + 6*c - 10. Let i be y(-7). Let o be i/(-2) - 5/(-20)*2. Let b = 7 - 5. Is o at least b?
True
Suppose -k - 8*j = -12*j - 22, -4*j = -20. Is 42 smaller than k?
False
Suppose -2*s = -5*r + 104, 16 + 12 = r - 4*s. Suppose -5*t - r = j, -16 = j + 4*t - 0*t. Let f be j + 88/(-42) + 2. Which is smaller: 0 or f?
f
Suppose -5*y + 128 = 18. Let k = y + -26. Let c be (-1)/((-15)/3 - k). Which is greater: c or 2?
2
Let r be 325/2 - 4 - 2/(-4). Suppose 0 = r*o - 158*o. Is -1/22 not equal to o?
True
Let p = -261.4 + 261.3. Which is smaller: p or 1544?
p
Suppose -5*d - 2*f + 280 = 0, d = 2*f - 0*f + 56. Do d and 55 have the same value?
False
Let f = -171/716 + -2/179. Suppose -b + 0*b - 1 = 0, -4*d - 3*b = 295. Let m = 74 + d. Is f <= m?
True
Suppose 3*n + 0*n - 270 = 0. Let i be (18/15)/(27/n). Which is smaller: 5 or i?
i
Let y be 4/(-5) - (-36)/45. Suppose -2 = -3*q + 1. Suppose -q = -2*o + 3*o. Which is smaller: y or o?
o
Let u = 37 + -35. Suppose 3*v = -u*v + 420. Do 84 and v have the same value?
True
Let d = 3 + -14. Let r = 22.12 - 11.26. Let a = d + r. Is 1 at least a?
True
Suppose -16 = 3*n + y, 4 = n - 4*y + 5. Which is bigger: n or -11?
n
Suppose k + 2 = 2*m - 0*k, 0 = -3*m - 4*k + 25. Suppose -2*u - m*a - 8 = 0, 0 = -3*u - 3*a + 4*a + 10. Suppose 1 = -p - 1. Are p and u non-equal?
True
Suppose 0*k = -2*k + 3*t - 13, -5*k - 10 = -3*t. Which is greater: 9 or k?
9
Let u(s) = -44*s - 188. Let p be u(-4). Which is smaller: p or -14?
-14
Let b be (-4)/(-26) - (-13468)/338. Is b <= 118/3?
False
Let o be 2/(3/(-8) + 33/216). Suppose 0 = -2*m + 6*m + 16. Let r = -6 - m. Which is bigger: r or o?
r
Suppose 0 = 5*h - 25, h = -5*r + 32 - 7. Suppose 5*n = -2*j + 62, -n + 58 = r*n - 2*j. Let g be (1/n)/((-7)/(-14)). Is g > 0?
True
Let i be 1/(12/(-268) - 0). Let q = -18 - i. Let s = q + -11/3. Which is smaller: s or 0.1?
0.1
Let b = -8/1447 - 765439/4341. Is b at least as big as -176?
False
Let w = 160 - 330. Let t be 58/w + (-16)/(-40). Is 0 less than t?
True
Suppose -15*s + 16*s - 4 = 0. Let c be 82 + (-16 + s)/(-3). Let r be 2/3*(-6)/c. Does 0 = r?
False
Let i = 2197 - 24191/11. Let w be 13*(-8)/(-104)*-3. Which is bigger: w or i?
i
Let s be (-317)/(-9) - -1*10/(-45). Which is smaller: 39 or s?
s
Let o = -116 + 75. Let k = 38 + o. Let w = -3.2 - -3. Which is greater: w or k?
w
Let f be (0 - 0)/(4/(-2)). Let l be (1 - -111) + 6/(-2 + 4). Let o = 1037/9 - l. Is o at least f?
True
Let l = 61.3 - 80. Let d = l + 19. Let b = d - 1.3. Is -1/6 greater than b?
True
Let u = -0.068 - 20.932. Does u = 0.05?
False
Let a be -1 - (0 + (-2 - -2)). Let i(q) = -2*q**3 + 2*q**2 + 3*q + 2. Let g be i(3). Let b be 24/(-65) + (-15)/g. Is b bigger than a?
True
Let r = 22 + 40. Let t be 0 + r - ((-4)/(-1) + -5). Which is greater: t or 64?
64
Suppose z + 4 - 5 = 3*q, 4*z = -4*q - 28. Which is smaller: q or -45/13?
-45/13
Let q = 122 - 612/5. Which is smaller: 3 or q?
q
Let d = 0.05 + -0.06. Is d at most -9?
False
Let f = -5 + 8. Let w be 