 - 0) + (-57 - -75). Let i be (-2)/z - (-42)/(-234). Is 0 less than i?
False
Suppose 15 = m - 6*s + s, 7 = -m - 6*s. Suppose -4*r + m*q + 64 = -541, r = 3*q + 153. Which is bigger: 446/3 or r?
r
Suppose 195*f - 190*f - 5*n = 50, -f + 4*n = -37. Are 6/7615 and f nonequal?
True
Let z(r) = -r**3 - 8*r**2 - 9*r - 11. Let q be z(-7). Suppose -b = -4*g + g + q, -6 = -5*g + 2*b. Suppose f - i = -5, -f + g*i - i = -1. Is 1/2 <= f?
False
Suppose 0 = -4*g - 5*c - 3189, -220*g - 1595 = -218*g + 3*c. Which is greater: g or -4783/6?
g
Let h be 1 + 148558*(-4)/(-84)*-3. Let o = h + 21277. Is o <= 56?
True
Let j = -276 + 329. Let z = -137 + j. Which is bigger: -86 or z?
z
Let v(a) = 5*a**3 + 4*a - 4. Let i be v(2). Suppose -6 = o - 5*n + 3, 4*n = 4*o - i. Suppose -8*p + 24 = o. Which is bigger: -4 or p?
p
Let b be (-6472)/(-1304) - 5/15*15. Let c = 88 - 88. Which is greater: b or c?
c
Suppose -6719*f = -6732*f - 3991. Which is smaller: -0.07 or f?
f
Let m be (2/(-10))/(6 + 1944/(-280)). Which is bigger: 1 or m?
1
Suppose 162*m = 197*m - 35. Let n = 157897/219 + -721. Is m greater than n?
True
Let t = 29518 - 29714.41. Let g = -1.59 + t. Which is greater: -0.1 or g?
-0.1
Suppose 20*v - 3056 - 44 = 0. Is v != 162?
True
Suppose -5*b + 749 - 74 = -380. Suppose -5*k + 3*l + 65 = 0, -3*l = k - 4*l - 15. Suppose -b = -k*z - 991. Is z >= -78?
True
Let m be (-897)/(-1848) + (0 - (-6)/(-33)). Let r = 8606978 + -20725603643/2408. Let u = m + r. Which is bigger: u or 1?
1
Let i = -1 - -3. Let w = 27 - 6. Let k = 8 - w. Are i and k non-equal?
True
Let w be 5664/(-36) + 21 - (-3)/(9/4). Are -123 and w unequal?
True
Let c = -693 - -698. Let s(o) = -o**3 + 5*o**2 + o - 2. Let b be s(c). Let i be (-4)/10 - 81/(-15). Is i less than b?
False
Let w(j) = 3*j + 14. Let r be w(-2). Let q be 27/r - (-3)/(48/2). Let c = -5 + 9. Which is smaller: q or c?
q
Suppose 5*f + 259 = 2*d, 2*f + 143 = -f - 5*d. Let u be f/(-12) - (19 + -14). Which is greater: u or -3/13?
-3/13
Let r(z) = 9*z**2 + 3*z. Let y be r(-1). Let c be ((140/(-21))/10)/(4/y). Which is bigger: -14/9 or c?
c
Suppose 3*n = -3*m - 468, n - 9*n + 4*m - 1308 = 0. Is n less than or equal to -164?
False
Let u(w) = w**3 + 11*w**2 - 44*w - 20. Let p be u(-14). Suppose 2*t + p + 30 = 0. Let h = 13 + t. Are h and -6 non-equal?
False
Let x = 12 + -7. Let u = 4.8 - x. Suppose -4*k + 37 = 3*s, -3*k - 3*s - 2 + 26 = 0. Which is greater: u or k?
k
Let j = -100 + 104. Let t(i) = 2*i - 3. Let h be t(4). Suppose -35 = -5*n + h*b, 3*n - b = -0*n + 17. Are j and n unequal?
True
Let v be -4 + 1 - 2475/(270/30). Are v and -292 equal?
False
Let j = -17868/7 + 1447105/567. Is 1 greater than j?
True
Let n be 99110/(-1100) - (-2)/20. Is -79 at most n?
False
Suppose -1 = c + 4. Let b(m) = m**3 + 7*m**2 + 7*m - 19. Let a be b(-9). Let f = -743/3 - a. Which is smaller: f or c?
c
Let j be 3/((3 - 1)/(-82)*70/4130). Is -7256 at most as big as j?
False
Suppose 0 = r - 3, 4*u - 4*r = r - 15. Suppose u = -5*h, 2*h = -v + 5*v - 288. Is v not equal to 72?
False
Let u = -100.7 + 100. Suppose -600*t = -595*t + 40. Are t and u equal?
False
Let f = 0.3 + -0.81. Let d = -2.41 - f. Which is greater: d or 3/2?
3/2
Let b = 21839979030623/9402 - 2322907786. Let i = -2/1567 + b. Is 3 equal to i?
False
Let v = 12 - 14. Let o(d) = 3*d + 9. Let l be o(v). Suppose l*g + 8 = 7*g. Is g != 7/5?
True
Let r = 4310 - 4193. Is 697/6 at least r?
False
Suppose 16*z - 177060 = -49*z. Is z at most 2724?
True
Let o be (-30)/440*-11*(2950 - (-1 - -3)). Is o > 2213?
False
Let u(q) = -q**2 + 6*q + 9. Let y be u(-6). Suppose -50432 = 265*z + 523*z. Is z equal to y?
False
Let j(z) = z**3 + 7*z**2 + 9. Let w = 36 + -36. Suppose w = -9*o + 13*o + 20. Let d be j(o). Is d equal to 59?
True
Let t be (121/116 + -1)*(-7047)/435. Is t > 0?
False
Let g be (0 + 1 + -6)*(-5 + -1345). Let o = 4421252/655 - g. Is o smaller than -1?
False
Let q(l) = 136*l + 231. Let t be q(-4). Let m = 344 + -658. Do t and m have different values?
True
Let n = 47 + -28. Suppose 14*x = n*x - 335. Let y = -15 + x. Which is smaller: 53 or y?
y
Let z(y) = y**3 - y**2 - 4*y + 3. Let g be 1 - (3 + 4 + 4/(-1)). Let h be z(g). Is h greater than or equal to 2/469?
False
Suppose -f + 330 = 2*b, 2*b - 69 = 10*f + 261. Is b greater than 2160/13?
False
Let u = -731 + 727.43. Let l = u + 283.57. Which is smaller: 1 or l?
1
Suppose 470*k = 473*k + 6. Let l be 14/(-42)*k*(-3)/2. Does l = -3/142?
False
Let u(y) = y**3 - 173*y**2 - 355*y + 3312. Let t be u(175). Are 2436 and t nonequal?
True
Let q = 182667/40331 - 17/1301. Is q at least as big as 6?
False
Let l be (-3 - 0)/(-15) - 34/(-5). Let a be 6/l - (-11692)/259. Is 44 at most a?
True
Let k = -1.181 - 1.819. Which is greater: k or -0.5842?
-0.5842
Let f(c) = -2*c**2 + 8*c + 8. Let l = -18 + 24. Let y be f(l). Let x(p) = -p**3 - 15*p**2 + 13*p - 34. Let g be x(y). Is g < 14?
False
Let j(f) = f**2 - 5*f + 5. Let k be j(4). Let o = -2.7748 - 0.2252. Which is bigger: o or k?
k
Let l be 47/(5/(-10)*-1). Let s = 24 + l. Which is smaller: s or 119?
s
Let y = -117 + 111. Let x = -5.04 - -0.04. Let r = x - -5.1. Is r less than or equal to y?
False
Let m = 80 - 71. Suppose 0 = 5*i + 34 - 84. Is m < i?
True
Suppose -11*w = -16*w + 25. Suppose -2*n + 5*h - 24 = 4, h - 116 = w*n. Let l be (n/32)/((-15)/8). Which is smaller: l or 3?
l
Let p(w) = w**2 - 64*w + 178. Let l be p(55). Which is greater: l or -7?
-7
Let c = -17 + 48. Let u = c - -26. Let q = 56.9 - u. Which is smaller: 1 or q?
q
Let o be (-42)/(65/16 + 0). Which is bigger: -11 or o?
o
Suppose -2*u - 3*u = -20. Let y(n) = -n**2 + 3*n + 5. Let a be y(u). Let d = -1721 + 8607/5. Which is greater: d or a?
a
Let h = 8.238 + 0.362. Let f = -8.8 + h. Which is greater: 48 or f?
48
Suppose -99 + 18 = -27*p. Suppose 0 = -5*l + 2*s - 8, 0*l - 4*s = p*l - 16. Is l not equal to -9/7?
True
Let f = 274 + -279.46. Let i = f - -7.46. Which is smaller: i or -173?
-173
Let z be ((-2)/(-16))/(17/136). Let f be (0 - -1)*-23*z. Are -21 and f nonequal?
True
Let w = -172 - -173. Let i = 527 - 126. Which is smaller: w or i?
w
Let x be (-36)/(-30) + (-7)/(70/(-268)). Let v be (22/(-4))/((-228)/x + 8). Which is greater: 38 or v?
v
Let l = -1.5809 + 440.5809. Which is greater: 2/19 or l?
l
Let g = 578 + -577. Which is smaller: g or 2/1049?
2/1049
Let q(j) = 452*j - 1406. Let l be q(5). Is l < 854?
False
Suppose 10*r + 8 = 12*r. Suppose 0 = r*f + 2*d - 6*d - 24, d = -4*f + 34. Suppose -4*a - 8 + f = 0. Which is smaller: -5/18 or a?
-5/18
Suppose -m = -s + m + 103, 0 = -2*s + 2*m + 208. Which is smaller: 1800/17 or s?
s
Let d = 164 - 1259. Let z = -31759/29 - d. Let t = -17862 + 17861.9. Which is bigger: t or z?
t
Let w be (-3*2/36)/((-9)/54). Suppose 2*m - 4*y = 7 - 25, 3*m = 3*y - 18. Let l be m/2*(-8)/282. Which is greater: w or l?
w
Let s = 297 + -296. Let w be (1 - s) + 65/(-20). Let z be -2 - (1 + 0)/1. Is z bigger than w?
True
Let w be (14 - (-456)/(-42)) + -10. Let b be 8/52 + (-186)/26. Which is bigger: w or b?
w
Suppose -106*y = -103*y - 51. Suppose -y*c + 21*c = 0. Which is smaller: 7/52 or c?
c
Let i be 3887/(((-2)/12)/((-12)/72)). Let j = i - 27284/7. Which is smaller: j or -11?
-11
Suppose -4*s - 89 = -129. Suppose s*v = -365 + 905. Which is smaller: v or 55?
v
Let r = 11 + -11. Suppose 2*q + 4*d - 32 = r, -3*q + q = -2*d - 20. Suppose 5*z - q = -2. Does z = 13?
False
Let g = -25 - -49/2. Suppose -17*y = 10*y - 1755. Suppose -13*r + y = -8*r. Which is greater: g or r?
r
Let q be ((-8)/(-3))/((-10)/45*-1). Let c be (-24)/16 - -2*249/q. Suppose -c + 6 = i - p, -2*p - 88 = 2*i. Which is bigger: -40 or i?
i
Suppose 33*l + 19*l = 4*l - 14448. Is l not equal to -298?
True
Let g = -231449 - -1191268013/5147. Which is bigger: 0 or g?
g
Suppose -2 + 6 = -2*k - 4*a, -12 = -4*k - 4*a. Let h be (-1260)/(-54) - 4/(-6). Let f be (h/20)/(9/60). Is f bigger than k?
False
Suppose -3*x + 2 = -4*n, -15*n = -x - 17*n - 6. Let a be ((-10)/6)/(-5 + 140/30). Is a equal to x?
False
Let b = -607 + 459. Let j = b + 101. Which is smaller: j or -52?
-52
Let a = -52.16 + 0.16. Let s = -430.33 - -430.33. Is s at least a?
True
Let c = 43999376/11 - 1719115735/429. Let d = -7319 - c. Is d > -1/2?
True
Let d(n) = -2*n**3 + 5*n**2 - 6*n + 5. Let p be d(7). Let l = -2388/5 - p. 