*y + 2*g + 3*g. Suppose -2*j + 44 = 2*j. Which is smaller: y or j?
j
Let f = 49 - 45. Suppose -q = -k - 8 + 2, 2*q + 6 = -f*k. Suppose -3*d + 17 = -2*i, i + 3*d + d = -q. Is i not equal to -9?
True
Suppose -109*o + 178 = 38*o - 263. Which is greater: o or -953?
o
Let p = -33909/8 - -4250. Is p at most 12?
True
Let n = 0.71 - 0.93. Let f = -4.78 + n. Is f equal to -4?
False
Suppose p + 2*z = 2*p - 13, 5 = -z. Suppose 3*n + 3*s = 9 - p, -2 = 2*s. Let m be (-2)/((-524)/790) - n. Is 0 at least m?
False
Let o = 10953 - 10715. Do 2371/10 and o have the same value?
False
Let w be (1395/(-165) - (-24)/(-44) - -7)*-6. Suppose 4*y - 2*y = 5*x - 50, -x + 10 = -5*y. Is w > x?
True
Let m = -29503 - -33027. Which is greater: 14101/4 or m?
14101/4
Let y = 11717.1 + -11717. Let z = -57629/37545 - -4/2503. Is y less than or equal to z?
False
Let q be (-3)/(-15) + 18/10. Suppose -7*c + 144 = q*c. Suppose b + 15 - c = 0. Is b at most as big as 2/35?
False
Let d = 7423/6 + -8603245/6954. Let w be ((-7 + (-100)/(-15))*3)/1. Which is bigger: d or w?
d
Let o = 9230 + -9246. Which is smaller: o or -934/59?
o
Suppose 7 = 2*b - c + 884, -3*b + 4*c - 1313 = 0. Is b > -3078/7?
True
Suppose -84 = 32*x - 16*x - 28*x. Which is greater: x or -572?
x
Suppose 0 = -4*h + 4, 1 = -x + h. Suppose -2*i + x*i = -4*a + 58, 3*i + a = -73. Is i equal to -132/5?
False
Let v be 4*6/(-12) - (-66)/3. Suppose 0 = -s - 2*o + 258 + 146, -v = -4*o. Is s != 394?
False
Let p be -6 + (-4384)/(-729) + (-26 - -26). Which is greater: 1 or p?
1
Let m = -0.04 + -0.06. Let r = -0.842 - -0.885. Is m >= r?
False
Suppose -3504 = -163*h + 167*h - 2*n, 5*n + 2615 = -3*h. Which is greater: -5257/6 or h?
h
Suppose 2*u + 228 = -144. Let n = -199849 - -199663. Is u <= n?
True
Let t be 6/9 + 100/12. Let m(z) = -8*z + 110. Let a be m(t). Is a less than 38?
False
Let x = -25181 + 25184. Which is greater: 2/1847 or x?
x
Let v = 2936 - 9646. Is -6709 equal to v?
False
Let c(l) = -7*l**3 + 11*l**2 - 11*l - 21. Let o(y) = 8*y**3 - 11*y**2 + 13*y + 22. Let j(m) = -7*c(m) - 6*o(m). Let p be j(11). Do 4 and p have the same value?
True
Let m(x) = 4*x + 1212. Let p be m(86). Which is bigger: p or 1559?
1559
Let c = -23 + 38. Let b be 3/((-135)/66) - 2/c. Let k be (-4)/2*18/36. Which is bigger: b or k?
k
Let t(l) = -4*l**2 - 611*l + 3995. Let p be t(-159). Suppose c - 23 = -4*n, 5*c + 3*n - 94 = 4*n. Is p smaller than c?
False
Let m be ((-2)/(-12))/(20/(-6)). Let q be (-1 + 1)*((-2)/(-16))/(24/96). Which is bigger: q or m?
q
Let n = 132 - 132.1. Let p = -1/329 + 48/329. Is p at most n?
False
Let n be (55 - 56)/(4 - 2). Which is smaller: -6/293 or n?
n
Let w = 2.1 - 2. Let y = -77.57 - -0.57. Let i = y + 77.28. Is i < w?
False
Suppose 2*m + 255*p + 22 = 253*p, -3*m - 5*p = 35. Which is smaller: -97/9 or m?
-97/9
Let q be (-2 - (-444)/(-42)) + 4. Suppose 173 = -17*a + 37. Which is smaller: a or q?
q
Let f = 2.695 - 1.695. Which is greater: f or 410?
410
Suppose 32*f = 30*f + 8 - 52. Is f not equal to -600/29?
True
Let o(u) = -91*u**2 - 239*u - 2492. Let c be o(-11). Is c greater than or equal to -10873?
False
Let b(g) = -g**3 + 28*g**2 + 98*g + 73. Let t be b(32). Which is smaller: t or -1/3?
t
Suppose -z - z - 8 = 0. Suppose 0 = -2*n + 2*y + 158, -n + y - 249 = -4*n. Suppose n*u - 85*u = 60. Is z greater than or equal to u?
True
Let n = -0.6 - -0.42. Let v = 239196/5 + -47840. Are v and n equal?
False
Suppose -4*x + 12 = u, -2*x + 24 = -3*u - u. Suppose -2*o - x*n + 324 = 0, 7*o - 4*n - 316 = 5*o. Which is smaller: o or 159?
159
Suppose -22*y + 278 = 14. Let m be (174/y)/((-9)/(-6)). Which is bigger: 11 or m?
11
Suppose -19*i = 916 - 5609. Let m = i - 253. Which is smaller: -4 or m?
m
Let d = 20626 - 20626. Which is smaller: d or -78/373?
-78/373
Let m(o) = 42 - 2*o + 35 - 69. Let j be m(-4). Suppose -9*z = -j*z + 21. Which is smaller: 0.5 or z?
0.5
Let q = 1533.4 - 1363.34. Let m = 170 - q. Is m not equal to 5/4?
True
Let x be (-21)/15 + 2/5. Let h = 915/8 + -2713/24. Which is smaller: h or x?
x
Let m be (-684)/(-5)*-1 - 7 - -5. Is -2/3 greater than m?
True
Let b = 2207 - 2206. Is -4 bigger than b?
False
Let s = -2053 - -2263. Let h(c) = -71*c - 2. Let v be h(-3). Which is smaller: s or v?
s
Let y = -1056227/406 - -5203/2. Which is bigger: y or -1?
y
Let r = -4214 - -3887. Which is smaller: 0.4 or r?
r
Let d be (1/2)/(((-6)/(-72))/1). Let i(w) = -w**3 + 7*w**2 - 12*w + 27. Let a be i(d). Do -8 and a have different values?
True
Suppose -4*o = -5*p - 21, -o + 0 + 6 = -2*p. Suppose -o*j + 5*i = j - 600, 4*i - 222 = -2*j. Which is bigger: j or 118?
118
Let u = -11776 + 11776.1. Let p be (6/58)/((-27)/6). Which is smaller: u or p?
p
Let m = 22479 + -22530. Which is smaller: 2/3 or m?
m
Let y(j) = j**2 + j. Let u(i) = -5*i**2 - 5*i + 10. Let a(f) = -u(f) - 4*y(f). Let x be 0 + -6 + (-9)/(-3). Let r be a(x). Which is greater: -6 or r?
r
Let b = -164 + 170. Suppose -3*u = -u - b. Is 2 equal to u?
False
Suppose 4*g - 2*b = -0*b - 22, 2*g = -5*b - 5. Let t be (12/152)/(g - 2/(-1)). Which is smaller: 2 or t?
t
Suppose 0 = 2*v - 3 - 7. Let z be v/(15/12) - 4. Suppose -2*d = -3*n + 9, z*n + 1 = -n. Which is smaller: -23/5 or d?
d
Let t be ((-39)/(-351))/(2/(-87)). Suppose -6 = -3*y + 54. Suppose -y = -g + 5*g. Is t bigger than g?
True
Let d(x) = 3*x. Let q be d(-1). Let g = -361581/202 - -1790. Let b = -554/303 + g. Which is smaller: b or q?
q
Let o be ((-54)/21)/(5/35). Let k = -39 + 29. Let d be 3/(-24)*-6 + k/(-40). Does d = o?
False
Let g = -7517 - -7516.95. Is g at least as big as -4/313?
False
Suppose -4*j = j + 2*n + 108, 106 = -5*j - 4*n. Suppose 3*r = -86 + 8. Let u = j - r. Is 6 <= u?
False
Let k be (-109)/1 - (45/(-3))/3. Let b = k - -9461/91. Which is greater: 0 or b?
0
Let y = 0.0244 + -0.0244. Let v = -30.3 + 30.433. Is y bigger than v?
False
Let o = -1810.616 + -7.384. Is 0.1 at least as big as o?
True
Let c = -1/869 - 7814/6083. Suppose 2*k - 1 = -f, 7*f - 8*f + 4 = 5*k. Is c greater than f?
False
Let n(w) = -49*w + 23. Let x be n(-3). Let k = -52 + 52. Is k equal to x?
False
Suppose 0 = -3*d, 3*v - 2*d - 10 = 8. Suppose -14 = 5*z + 2*x, -5*z - 4*x = v + 2. Is z bigger than -1/5?
False
Let t = 450 - 592. Which is smaller: -2/3 or t?
t
Suppose 0*y - 5*y = -35. Let f be y - ((-2)/7 + (-90)/(-70)). Suppose 0 = 2*q - 4*q - f. Which is bigger: q or -1?
-1
Let h(v) = 114*v + 6037. Let m be h(-53). Let z be (-2 - -2) + 0 - -6. Let y be (-32)/6 + (-4)/z. Is m smaller than y?
False
Let d(c) = 2*c**2 + c - 10. Let v be d(-3). Suppose 16*h - 80 = 11*h. Let a be h/2*(-2)/(-4) + 0. Which is greater: a or v?
v
Let n be (-30 - -17) + (-11961)/33. Is -376 smaller than n?
True
Suppose -18 = -2*n + 6*p - p, -4 = -2*n - 2*p. Suppose -143 = -5*a + 4*f, 3*a - 90 = -4*f - 17. Suppose z - a = n. Is 0 at least z?
False
Suppose -131*i - 12219 = 25735 - 1929. Which is greater: i or -233?
-233
Let a = 0.5067 - 22.6167. Let h = -22 - a. Let u = 8501/132 + -775/12. Which is greater: h or u?
h
Suppose -4*j = -7 - 17. Suppose -3*z = -21 + j. Suppose -6*p = -p - z. Is -1/9 greater than or equal to p?
False
Let m be (-60)/(-70)*1148/9594. Suppose 5*f - 2 = 4*f. Let j = 3 - f. Which is greater: m or j?
j
Let y = 0.128 - 0.1. Suppose 72 = -12*u + 9*u. Let i be u/(-21) - 2/14. Is i at most as big as y?
False
Let w = 9143 + -9134. Let s(f) = -f + 5. Let u be s(6). Let c be 27 + w/3 + u + 1. Is c at most as big as 31?
True
Let g(x) = x + 8. Let c be g(-7). Let w = -3/4 + 13/12. Does w = c?
False
Suppose o - 34 = 5*m, 0 = 8*o - 5*o - 4*m - 69. Let n = o + -47. Which is smaller: n or -26?
n
Suppose -3*g + 5*k = -g + 11, 2*k = -2. Let y be g/(-15)*3 + (-1 - 1). Which is smaller: 0.43 or y?
y
Let w be (-9)/6*((-6)/27 - 28/63). Which is smaller: w or 1/1138?
1/1138
Suppose -3 = -2*a + 3*a. Let k be (55/(-10))/(a/6). Suppose 8*f + k = 19. Is f > -3/32?
True
Let v be (-11)/(-3)*(-160)/2640. Which is smaller: v or 17?
v
Let y = 199 + -198. Let z = 41 + -14. Which is smaller: z or y?
y
Suppose 2*o + 34 + 110 = 0. Let h be ((-28)/(-140))/(o/35). Which is bigger: h or 1?
1
Suppose -4*x + 30 = 18. Suppose q = 2*s + 2, 0 = -s + x*q + 3 - 14. Which is greater: s or -3/89?
s
Let v = -0.534 + 0.239. Let w = v + -0.365. Which is smaller: w or 0.2?
w
Let m = 230803/10758