*i - z. Suppose -3*b = -i*b - 2, 5*b - 23 = -f. Which is bigger: n or f?
f
Let f = -1069 - -2. Is -1078 > f?
False
Let q = 231.052 - 231. Let f = q - -0.948. Which is smaller: f or 42?
f
Let g be (12 + (0 - 3))/1. Let j(i) = i**2 - 8*i - 2. Let v be j(g). Let u be (v + -22)/(1*(-2 + 1)). Which is bigger: u or 14?
u
Suppose -5*h + 224 = -h. Let l = 18310 + -18254. Is l < h?
False
Suppose -10*s + 7*s = 3. Let t(l) = 23*l + 3. Let h be t(s). Let q be (h/(-200))/(4/(-10)). Is -3/4 at least as big as q?
False
Let m be (36/315)/((-1076)/10). Suppose -b - 9 = -5*q, 0*b = -5*q - 4*b - 11. Which is bigger: q or m?
q
Let g be (-25)/(-10)*(-12)/15. Let h be -1 + -7 - 504/(-81). Which is greater: h or g?
h
Let c = -4801/2 + 2404. Is -5 less than c?
True
Suppose -541*h + 539*h + 2 = 0, -5*h = 4*w + 31. Which is smaller: w or -530/61?
w
Let o be (540/(-72))/(15/8735). Is -4369 < o?
True
Let l(t) = -2*t + 38. Let c be l(18). Let a be c/12*(-18)/4*4. Let w be (2 + -3)/(2*a/48). Is 7 equal to w?
False
Let d be (21/9 - 2)*-109*(-45)/(-15). Do -94 and d have the same value?
False
Let s be 184/9 - 8/18. Suppose s*a = 30*a - 30. Let g be 2/(-7) - 152/(-42). Is a smaller than g?
True
Suppose -4*h = -229 + 341. Suppose -8*f + 4*f - 108 = 0. Which is smaller: f or h?
h
Let w = 30 - -22. Let u be ((3 - 1) + -3)*w/(-208). Let i = -1.92 + 1.8. Which is bigger: u or i?
u
Let k = -418/345 - -56/69. Which is greater: k or 1762?
1762
Let k(d) = d**2 + 15*d + 6. Let r be k(-13). Suppose -844 - 395 = 59*n. Which is smaller: n or r?
n
Let k = -902 + 909. Suppose -k*a + 1575 + 1232 = 0. Are a and 400 non-equal?
True
Let i(o) = -6*o**3 + 7*o**2 - 32*o - 19. Let s be i(4). Is -422 equal to s?
False
Let l = 144 + -91. Suppose 3*o = -197 + l. Let k be (-32)/(-144) - ((-1248)/(-27) - 1) - 4. Is o at most as big as k?
False
Let a = 205 - 205.089. Let y = -0.089 - a. Is y equal to 0.54?
False
Let f = 1 - 3. Let l(j) = 8*j**2 - 81*j + 12. Let t be l(10). Suppose 2*q - 4*u - 13 - 11 = 0, -t*u = q + 4. Is f less than or equal to q?
True
Let z(k) = 8*k - 79. Suppose -88 = -3*f - 58. Let n be z(f). Which is greater: n or 9/4?
9/4
Suppose -6*t + 15 = 105. Let v be (-32)/(-80) - 4/t. Which is smaller: 0 or v?
0
Let m be 285/(-7) + (-14 - -23) - 2/7. Which is greater: m or -22?
-22
Let x = 0.56 + -0.26. Let k be -1*(-2 + (3 - 2) - -2). Which is bigger: x or k?
x
Let h(z) = 3*z - 1. Let s be h(4). Let p = 71 + -56. Let q = p - s. Which is bigger: 5 or q?
5
Let y be (3 - (-212)/(-68) - 0) + 34/5202. Which is greater: y or 0?
0
Let i = -593 + 593.03. Which is smaller: i or 9.7?
i
Let m = 0.2 - 0.1. Let p = m + 1.9. Let o = -1.03977 + 4.03977. Is p smaller than o?
True
Let o = -157868 + 157868. Let q = 33399/23 + -1453. Which is smaller: o or q?
q
Let z(g) = 44*g**2 - 19 - 2*g + 12 + 6. Let a be z(1). Let x be 2*(a/(-2) - -4). Which is greater: -32 or x?
-32
Suppose -4*d - 44 = -2*i, 3*d - 27 = -5*i + 57. Which is greater: 187/10 or i?
187/10
Suppose 9*v - 13*v + 6400 = 0. Suppose -32*l - v = -28*l. Let h be (-28)/14 - (0 + l/199). Which is smaller: h or -1?
-1
Let j be ((-4)/(-7))/(12/(-98))*42. Let f = -196 - j. Is f less than -2/905?
False
Suppose 8*d + 31 = 12*d - 5*l, 4*l = -d - 29. Is 1/18491 less than or equal to d?
False
Let r(j) = 5*j**3 + 5*j**2 + 5*j + 1. Let n be r(-1). Let b be (-7)/9 + n/(-9). Is 91 bigger than b?
True
Suppose 0 = -9*f + 8 - 17. Let a be (5 - 168/40)/(3 + f). Let b = -1.2 - -1. Do a and b have the same value?
False
Let r = -13179674/244893 + -2/22263. Is r at most as big as -53?
True
Let i be 519/865*4/(-3). Are i and -113 unequal?
True
Let n = -6416 - -9455. Which is greater: n or -2/3?
n
Let h = 454.82 - -1.18. Do h and 1 have the same value?
False
Suppose 141*v + 3*v + 11664 = 0. Which is greater: v or -72?
-72
Let u be -148*(3*4/18)/(104/(-234)). Which is bigger: u or 220?
u
Suppose r = -4*r - 3*w + 145, 3*r = -w + 91. Let b = r + -32. Let i = -55/27 + 1613/783. Is b <= i?
True
Let b = -452 + 443. Let j be (6/b)/(2 + (-445)/225). Let l = -24 - 6. Is l smaller than j?
False
Let f = 12029.5 - 12007. Are 2/9 and f nonequal?
True
Let r = -23243 - -23319. Which is smaller: 61 or r?
61
Let v be 244/(-183) + -1*1/(-3). Which is smaller: v or 4/3191?
v
Let j = -0.1443 + -431.8557. Which is smaller: j or -3?
j
Let l = 130 - -123. Suppose -2128*b + 639494 - 98982 = 0. Which is greater: l or b?
b
Suppose -4*y + 2*y - 92 = 0. Let p = -16493 + 16446. Which is bigger: p or y?
y
Let k = 21381 + -21384. Suppose -5*x - 3*j - j = -20, -3*j = 5*x - 20. Suppose -5*w = -1 - x. Is k greater than w?
False
Let g = -300477 + 4350606481/14479. Which is smaller: g or 0?
g
Suppose -f - 15 = -4*f. Let b(q) = -q + 7. Let l be b(7). Let s = 1/4 - l. Which is greater: s or f?
f
Suppose -6*q - 4 = -10*q, 4*m - 14 = -2*q. Suppose 4*l + m*p = 7*p + 308, -2*p - 6 = 0. Is l <= 76?
True
Suppose 19 = 2*r - 5*v, 2*r + 2*v + 2 + 0 = 0. Let y = -65 + 52. Let p be (-2)/(-4)*(y - -9). Which is smaller: p or r?
p
Let j = 25496 + -25507. Let r = -3 - -6. Suppose r*v + 4*g - 3*g + 24 = 0, 5*g = -4*v - 21. Is j at most v?
True
Suppose 35170 = -2*t - 15*t - 10458. Is t equal to -2683?
False
Let h be (-14)/7*131*1/(-2). Let r = 130 - h. Is 3/13 at most r?
False
Suppose 544 = -5*p + 2*v, 5*p - 25*v = -22*v - 551. Is -125 at most p?
True
Let x = -72291 - -307393. Let v be 5/45 + (x/(-315))/14. Is v smaller than -53?
True
Let n = -2.56 + 2.357. Let k = n + 0.103. Is 21/2 at most k?
False
Let u = 38 + -38.0342. Let d = 71.0342 + u. Is d greater than 0.2?
True
Let s = 1.806 - 2.113. Which is bigger: -0.4 or s?
s
Let w be 1/6*(-4940)/39. Let y = 82924/117 + -9520/13. Let k = y - w. Is k greater than or equal to -3?
True
Let q = -339 - -366. Suppose 24 = 25*i - q*i. Is -25/2 > i?
False
Let y be 3*(-2 + 20/12)*-14. Suppose -17*z + 1076 + 1100 = 0. Suppose 16*v - 8*v - z = 0. Is v bigger than y?
True
Suppose -665038 = 133*a + 340*a. Is a < -1406?
False
Let k(c) = -2*c**3 - 10*c**2 - c + 19. Let v be k(-7). Suppose -6*r = -8*r + v. Let u = r + -141. Which is smaller: u or -27?
u
Let v(r) be the third derivative of 0*r + 1/24*r**4 + 1/3*r**3 + 0 - 7*r**2. Let n be v(-7). Is -6 at most as big as n?
True
Let l(t) = t**3 - 47*t**2 + 444*t + 11. Let m be l(13). Suppose 3*v - 108 = 2*f, -4*v - 5*f + 33 = -111. Is v at least m?
False
Let a be (1661/(-551) - -3)*-1. Let u = -50093/3306 - a. Let p = u + 47/3. Does p = 1/17?
False
Let n be 6*(104/(-16) + 8). Is 207/26 > n?
False
Suppose 4*w = c - 1 + 11, 4*c - 15 = 5*w. Let v be (c/(-45))/(1/(-477)). Which is smaller: 104 or v?
104
Let n be (-1 - -18) + (963 - -7845). Which is smaller: -0.2 or n?
-0.2
Let u = -815 - -733. Let h(i) = -i**2 - 4*i - 21. Let r be h(-10). Are u and r non-equal?
True
Let q be 28 + (-5262)/(-240) + (-2)/16. Which is greater: 50 or q?
50
Let v(g) = -2*g + 33. Let q(f) = f + 40. Let r be q(-24). Let w be v(r). Is -2/97 > w?
False
Let n = 5855953/57 - 102736. Let j = -0.2 - 0. Let m = j - -0.3. Is m > n?
True
Let q = 2/9412823 + 14665176560/7878532851. Let n = 52/27 - q. Which is bigger: n or -2/11?
n
Suppose 0 = 4*n + 8, k - 3*k - 5*n = 40. Let l be (5 - (-71935)/(-14385))*k/5. Are l and -1 equal?
False
Let j be (-2)/(3/(-1) - -4). Let t = -136 - -134.96. Let s = t + -0.96. Is j greater than s?
False
Let u = -0.66 + 0.26. Let j = 2888 + -2888.15. Which is bigger: j or u?
j
Suppose -32*u = -33*u + 8. Let r(h) = h**3 - 8*h + 0*h**3 - 15 + 13*h**2 + 4 - u*h**2. Let n be r(-6). Do 4/45 and n have the same value?
False
Let r be (2 + -1)/((-2)/4). Suppose 22*s - 346 = -4504. Let x = s + 1509/8. Is x < r?
False
Let o be (-860)/13 - -3 - (165/195 + -1). Let a = 38 + -102. Which is smaller: o or a?
a
Let x = 11.15 - 0.15. Let h = 61.9 + -73.9. Let f = h + x. Does -2/15 = f?
False
Let h be (-1*212/3)/(26/39). Let m be (6 + -16 + 8)*h/4. Which is greater: m or 50?
m
Let j = 5.73 + -259.73. Let h = 34 + j. Which is smaller: 1 or h?
h
Let j be (24/(-30))/(2/(-1640)) - -3. Let v = j + -313. Is v equal to 345?
False
Let b = 3541 + -3301. Do b and 238 have different values?
True
Let h(j) = 3*j - 21. Let d be h(5). Let q be ((-4)/d)/((-106)/6). Suppose -32*y + 3 = -29*y. Which is greater: y or q?
y
Let x = 1633933/508 + -1385191969/35052. Let a = -36304 - x. Let j = a