(y) = 7*y + 22. Let v be p(33). Let r = v - 254. Does -1/155 = r?
False
Suppose -v - 6 - 16 = -2*n, 5 = n + v. Let z be (-2)/(-2) - 3 - (9 - n). Let g be (110/(-35) - -6) + -4. Is z != g?
True
Let q(o) = 2*o**2 - 6*o + 141. Let w be q(8). Suppose -j - w = 5*a, -4*a - 432 = 2*j + a. Is -212 greater than or equal to j?
False
Suppose 0 = -140*y + 135*y + 25. Let m be 53/y + 156/(-60) + 2. Is 116/11 smaller than m?
False
Let z = 1941.96 - 1942. Which is smaller: z or -16?
-16
Let f = -373 - -430. Let p be (-15110)/(-35) + f/(-21) + 3. Is p smaller than 432?
False
Let n = 8556/13 + -504806/767. Which is smaller: -1 or n?
-1
Let o be (5/70)/((-1)/7366). Let g = -524 - o. Is g at least as big as 1?
True
Suppose 32*a = 33*a - 4*o - 6, 0 = 5*a + 3*o - 7. Let g(c) = 2*c**2 - 8*c - 5. Let x be g(6). Suppose -2*u = r - x, -2*r - a*r + 104 = u. Is 26 < r?
True
Let o = -50410/11753 + -30/511. Which is greater: 1/3 or o?
1/3
Let f = -76.032 - -76. Let p = f + 10.732. Let w = 2.7 - p. Is w not equal to 2?
True
Let i be ((-5)/(-9))/(12/(-16)). Let z be ((-836)/143 + 6)*65 - 10. Which is smaller: z or i?
i
Let s = -11612/7 + 1663. Let c = -372 - -375. Is s greater than c?
True
Suppose 0 = -18*r - 27774 + 28062. Let i(v) = -3*v + 2. Let h be i(-4). Which is smaller: h or r?
h
Let s = 85 + -26. Let h = s - 49. Let j = -141 - -989/7. Is j greater than h?
False
Suppose h + h - 324 = 0. Suppose 248 + h = -5*c. Which is smaller: c or -81?
c
Suppose 355*p = 341*p + 25746. Is p at least as big as 1838?
True
Let a = 6 - 6.02. Let s be ((-28)/(-8))/((-77)/264). Which is smaller: a or s?
s
Let o(q) = -q**3 + 45*q**2 - q + 45. Let f be o(45). Suppose -3 = -5*m + 27. Suppose -m = 2*u - 4*u. Which is smaller: f or u?
f
Let w = 5 + -5. Suppose 15*q + 24 = 9*q. Let j be (-2)/(-4) + (q - (-394)/116). Which is greater: j or w?
w
Suppose 3*m - 1373 = c, 2*m - 4*c = -c + 927. Do 7 and m have the same value?
False
Let k = -3.65 - 272.75. Let s = 275 + k. Which is smaller: 2/3 or s?
s
Suppose -5*a + 4*v + 7743 - 1913 = 0, 0 = v. Suppose 0 = -6*l + a + 130. Which is smaller: 217 or l?
l
Let v(g) = -g**2 + 38*g - 1. Let z be v(38). Is z bigger than 7/382?
False
Suppose 0 = -16*j + 2*j + 714. Let a be 70/(-56) - j/(-12). Is a at least as big as -10?
True
Let b(y) = y**3 + 20*y**2 - 47*y - 63. Let v be b(-22). Suppose -45*z = 42 + v. Which is greater: z or -27?
z
Let r = -5421 - -5423. Do 81/31 and r have different values?
True
Suppose 32*c - a = 34*c - 1839, 4*a = -3*c + 2751. Is c greater than or equal to 921?
True
Suppose 75498 - 817 = 40*p - 40279. Is 2871 bigger than p?
False
Let n be (-30)/(-60)*(0/1 - -352). Suppose -13*r + 17*r - n = 0. Let d = 147 + -103. Is r less than d?
False
Let a = 43861 + -43861. Which is smaller: a or -2/21735?
-2/21735
Suppose 2*z - u - 111 = 0, -3*z = 2*z - u - 276. Let t = z - 56. Let s be 1*t + 35/20. Are s and 12 equal?
False
Let b = 2 - -32. Let c = 33.9075 + -0.0075. Let u = b - c. Are u and 7/5 equal?
False
Let c be -6 - -2 - -7 - -7. Let a be c/(-12) + -7 + (-164)/(-24). Which is bigger: 2/651 or a?
2/651
Suppose -20*v + v - 2907 = 0. Let r be (v/18 + 7)*90. Which is greater: r or -137?
r
Let h = 567 - 566. Let u be 9*h/(-2)*17228/2847. Which is smaller: -27 or u?
u
Suppose -10*w = -13*w - 5*j + 2297, 3*j - 3059 = -4*w. Let d be w/(-86) + 34 + -25. Is d >= -0.1?
True
Let w = 1/29657 + -29731/2194618. Let c = 4 - 3.7. Which is bigger: c or w?
c
Let c = -23.2 + 0.2. Let b = -33 - c. Is b bigger than -9?
False
Let s = 1.29325 + -0.29325. Let y be ((-50)/(-16))/(9/(-12)). Which is greater: s or y?
s
Let l be (-4)/(1/(3/6) - 4). Suppose -l - 28 = 5*y. Let s(n) = n**2 + 12*n + 20. Let a be s(y). Which is smaller: -17 or a?
-17
Let k = 177 - 178. Let w be 3/(9/2) + k/(-3). Which is smaller: -5/33 or w?
-5/33
Let z(p) = 13*p**2 - 533*p - 1. Let i be z(41). Which is smaller: -7/807 or i?
i
Let q = -2841.2 + 2841. Are q and -2/1453 unequal?
True
Let n = 2727 + -51829/19. Let w be 0 - 4/(-6) - 15/9. Is n > w?
True
Let y be 16/(-6) + (-2)/(-3). Let k be ((-7)/(-21))/(5/(-2646)). Let j = k + 176. Which is smaller: j or y?
y
Suppose 3798 = -2*l + 3800. Is l > 20/287?
True
Let r be (-2)/6 + 52/129. Let u = 1115.7 + -1116. Is u at least as big as r?
False
Let u be 24/(-4) + 9/4 + 3. Let f = -176.77 - -177. Which is smaller: u or f?
u
Let m = 24/179 - -727/1253. Let w = 10151 - 355246/35. Let n = w - m. Is n > 1?
False
Let s(o) = -4*o + 11. Let j be (15/9)/(((-7)/(-6))/7). Let m be s(j). Is m smaller than -28?
True
Let h(p) = p**3 + p**2 - 7*p + 7. Suppose 2*r + 2*z - 10 = -0*z, -3*z - 9 = -r. Let n be h(r). Is n less than or equal to 216?
False
Let m = 239.5 - 1316.5. Let d = m - -1051.96. Let c = 25 + d. Which is bigger: 5 or c?
5
Let s = 47 + -49. Let f be s + 4/5 + (-77)/(-35). Are f and 4 equal?
False
Let s = 1139 + -1088. Is s >= 22?
True
Let i be 15/12 + (-7780)/6080. Is i less than -1?
False
Let s be 37416/(-13) + 0 + 10/65. Let z = s + 1182860/411. Which is smaller: -1 or z?
-1
Let n = 10087 + -10278. Is -190 greater than or equal to n?
True
Let b(r) = 16*r + 412. Let m be b(-25). Let f be 3/10 - 242/80*m. Let n be -4*(8 - -1) - -1. Which is greater: f or n?
n
Suppose h + a + 113 = 0, -581 = 5*h - 50*a + 47*a. Which is smaller: -3 or h?
h
Let f be 6/(-44) + (-64337)/(-15554). Which is smaller: f or -828?
-828
Let l = -33 + 38. Suppose 25 = 5*v, -3*m + 2 - 9 = -l*v. Let x be m - 10 - (-36)/10. Which is smaller: 0.1 or x?
x
Suppose 2*j + 13 = 15*j. Let f be (-6)/(-60)*j*(-2)/3. Let u be -2*(-1)/(-2)*-1. Which is greater: f or u?
u
Let k be (8 + -5 + 4/(-1))*(-89 + 0). Which is smaller: 78 or k?
78
Suppose 6374 = -5*b - 3*n, 75*b - 81*b + 4*n - 7664 = 0. Is b < -1278?
False
Let i = -5840 + 11679/2. Is 9/142 less than i?
False
Let l be (30/(-8))/((-10)/(-160)). Let n = 7/844 - 151097/2532. Do l and n have the same value?
False
Suppose 5*n + 1889 = -3*r, n + 12*r - 16*r = -387. Which is smaller: -374 or n?
n
Let q = 1185/11 + -108. Let j = 0.0067 + 43.2933. Let m = j + -43. Are m and q unequal?
True
Let r = 9403 - 2755067/293. Is 0 > r?
False
Let t be (-4)/10 + 2 + 257/5. Let g(i) = 16*i - 148. Let c be g(9). Is c < t?
True
Let t = -7 - -6. Let v be 2*t/(-2) - 0. Suppose 3*j + 3*f + 19 = 5*j, 5*f + 15 = -5*j. Is v smaller than j?
True
Let m = 376.629 + -0.629. Is m >= -2/3?
True
Let o be ((-63)/(-6))/(3/4). Suppose 6 = 5*i - o. Suppose 2*m + 8 = -p, 2*m = 3*m + i. Is p greater than 3/11?
False
Let q(z) = z**3 - 17*z**2 + z - 48. Let u be q(17). Let k = u + 167. Do k and 135 have different values?
True
Let d = 496 - 28273/57. Let h = -17405/6 + 330769/114. Let y = d - h. Which is greater: y or 7?
7
Let g = 308.703 - 309. Let b = 0.097 + g. Is 0.053 greater than or equal to b?
True
Suppose 0 = -3*q - y - 3893, -3*y + 8*y = 2*q + 2618. Is q < 2?
True
Let y be 11 + -4*1272/(-80) - 2/(-5). Is y smaller than -18?
False
Let g be (-426 + 427)*(0 + 1). Which is smaller: 15/349 or g?
15/349
Suppose -7*b + 912 = -4*b. Suppose -220 = -3*z + 5*f, 0 = z - 5*z + 4*f + b. Suppose -4*n = 4*c - 156, -c = c + 3*n - z. Which is smaller: 36 or c?
36
Let c be (15/(-2) - -7)*-8. Suppose -8 = -c*y - 4*k, -2*y + 2 = 3*y - 3*k. Which is smaller: 8/87 or y?
8/87
Let d(a) = 14*a**2 - 1014*a + 53. Let c be d(71). Which is smaller: -2731/2 or c?
c
Suppose 3*n - 4*y = -83, -n - 81 = 2*n - 3*y. Let v(b) = -1096*b - 16460. Let z be v(-15). Does z = n?
False
Let p be 2/(-4)*10*3. Let v(y) = 3 - 2 + 3*y**2 - 13*y**3 - 5*y**2 + y. Let r be v(1). Which is greater: p or r?
r
Let q = -692187.398 + 691598. Let f = -590 - q. Which is smaller: f or 1?
f
Let i = 18 - -25. Let b = -100.2 - -55.2. Let c = b + i. Which is greater: c or -10?
c
Let s = 8504 - 8507. Is s less than -1/142?
True
Let q be (15 + 0 + 2)/1. Let p be (-436)/20 - (2 + (-9)/5). Let g be 4/p - 190/(-440). Is q <= g?
False
Let y(g) = g**3 - 16*g**2 + g - 14. Let r be y(16). Let x(w) = -w**3 + 2*w**2 + 5. Let n be x(3). Let a be (-6)/81*30/n. Do a and r have the same value?
False
Let f be 0/1*-1 - -22. Suppose d = 4*s + 3369, 1 = 7*d - 6*d. Let x = -818 - s. Do f and x have different values?
True
Let t(l) = -2*l + 12. Let z be t(10). Let a = 3 + 9. Suppose -3*j + 2*i - 34 = 0, j + a = -0*i + i. Which is smaller: z or j?
j
Suppose