
Let w = 10 - 10. Let u be ((-1)/2 + w)*(-11 - -5). Suppose v + 24 = -u*v - 3*a, -2*a - 6 = v. Which is smaller: -4 or v?
v
Let i be ((-40)/(-14))/(180/(-6750)). Which is smaller: i or -108?
-108
Let p = -100 + 114. Let g = -76 - p. Is 1 at most g?
False
Suppose 0*m = f - 4*m - 12, -4*m = 12. Let b be -1*90/(-228)*(-132)/165. Which is bigger: b or f?
f
Let o = 12569061/299 - 42037. Suppose v = 4*h + 9, 5*h + 5*v + 10 = 30. Which is smaller: h or o?
h
Let v be ((-105)/(-9))/((-7)/(-126)). Let f = 1889/9 - v. Which is bigger: f or 1?
1
Suppose -5*d = 4*q - 10462 + 3174, 3*d - 4365 = -5*q. Which is smaller: 1465 or d?
d
Suppose -120 + 40 = -20*l. Suppose 2*g + 918 = -l*g. Is g bigger than -152?
False
Suppose -41*i = -12531 - 29125. Is 1017 smaller than i?
False
Suppose 3*d - 47*l + 52*l - 14 = 0, -3*d = -4*l - 5. Suppose -4*g + 2*a = 0, -a + 6 = g + d. Is 15/41 > g?
False
Suppose -4*k + 3*v = 537, 4*v = -0*k + 5*k + 673. Is k at most 1?
True
Let l(j) = j + 9. Let o be l(-8). Let c be 4/((-3)/2*(-24464)/(-132)). Is o >= c?
True
Let g = -7711 + 7710.9. Do g and 2566 have the same value?
False
Let r = -47550 - -75081453/1579. Let m = r - 8054/83687. Do 1 and m have different values?
True
Suppose -5 = -14*x - 19. Suppose 7*u - 23 = 89. Which is bigger: u or x?
u
Let z(r) = 5*r + 15 + 6*r - 16*r - r**2. Let c be z(-7). Suppose -5*p = d + 31, 0 + c = -d + p. Is -6 greater than d?
False
Let w = -7898.6 - -7898.5. Suppose -3*r = z + 2*z + 258, 5*z + 440 = -3*r. Are z and w unequal?
True
Let m(b) = b**2 - 5*b - 4. Let g be (-14)/35 - (-171)/15. Let r be m(g). Suppose -67*j + r*j - 10 = 0. Which is bigger: j or -6?
j
Let n = -1271.1 - -1271. Let b = -1.6 + 1.73. Is n < b?
True
Let u = 25.012 + -25. Let d = u - 0.112. Let s = 335/1197 - -1/171. Which is smaller: s or d?
d
Suppose v = -3*c + 41, -5*v + 8*c - 12*c = -183. Let n = -35 + v. Which is bigger: n or 10/139?
10/139
Suppose 0 = 3*q + 3*i + 1692, -q - 339 = -3*i + 233. Let g = 183 + q. Let y = g - -11106/29. Is y >= 1?
False
Let c = 21255 - 21258. Let h(v) = 2*v**3 - 3*v**2 + 4*v - 1. Let d be h(3). Suppose -d = 2*p + 16. Is p at most c?
True
Let f = 19323248/843 + -22922. Which is smaller: -1 or f?
-1
Let k = -1388.9 - -1266. Let g = 123 + k. Let s be 1*-1 + 1 + 12. Is g less than s?
True
Let m be 63376/(-42) + (-33)/693. Which is smaller: -1511 or m?
-1511
Suppose 67*l - 7128 = 75349. Which is smaller: 1232 or l?
l
Let k be 20/(7 - 9 - (-292)/144). Suppose p + v + 18 - 158 = 0, -k = -5*p + 5*v. Are 143 and p nonequal?
True
Let o be 3/(-2) - 8/(96/2193). Let c = 185 + o. Suppose 3*w = -2*w + 5. Is w smaller than c?
False
Let o = 4.35 - -155.65. Let u = -18 + 18.1. Which is greater: u or o?
o
Suppose 13*k + 310 = -34 - 306. Are 0.41 and k non-equal?
True
Let y(w) = -2*w**3 + 26*w**2 + 29*w - 9. Let o = -249 + 263. Let b be y(o). Let f be (-32)/10*4/(-2). Is f less than or equal to b?
False
Suppose 24*g - 637 = 8171. Suppose -8*u + 3*t = -4*u + 1525, u + 4*t + g = 0. Are u and -379 non-equal?
False
Suppose 39*i - b = 42*i + 1350, -i + 2*b - 450 = 0. Is -441 smaller than i?
False
Let m be (-8)/(-44) + ((-349104)/(-66))/(-8). Is -657 > m?
True
Let q = -76493/9 - -8499. Which is greater: q or -623?
q
Let b(i) = -i**2 + 3*i + 1. Let r be b(5). Let m = r - -2. Let a(o) = -o**2 - 8*o - 8. Let s be a(m). Is s greater than -3?
True
Let z be ((-14)/41370*5)/(4/20). Which is bigger: 0 or z?
0
Let b(c) = 9*c**2 + 11*c. Let u be b(3). Let y be 524/6422 + (-12)/u. Which is smaller: y or 0?
y
Let k = -10965 + 21923/2. Suppose -5*r - 3*s = s + 19, 3*r + 4*s = -13. Which is bigger: r or k?
r
Let j = -40 - -72. Let a = -17/65 + 6356/195. Is a bigger than j?
True
Suppose 14*k + 27 = 27. Let g = -41 - -21. Let r be 1/5 - (-444)/g. Which is smaller: k or r?
r
Let k = 85 - -83. Suppose k - 828 = 20*f. Which is smaller: -100/3 or f?
-100/3
Let z(b) = b**3 - 18*b**2 + 80*b - 34. Let a be z(11). Suppose -2*v + 3*v + 378 = 5*m, 2*m - 4*v - 162 = 0. Let l = 673/9 - m. Which is smaller: l or a?
a
Let k = -3533/2 - -2667419/1510. Let p = k + -6735/151. Is -44 at least as big as p?
True
Suppose 18*h = 27*h - 54. Let z be 60/(-18) + 4 - 268/h. Let q be (3 - 5)/(1/z). Is q greater than or equal to 87?
True
Let s be 8/15 + (-2)/5. Let h = 1630 - 859. Let p = h - 770.8. Does s = p?
False
Let q be 1*(7 - 2) - (-41 - (-20256)/(-12)). Which is smaller: q or 1729?
1729
Let o = 0.2353 + 1.7647. Which is smaller: o or -595/6?
-595/6
Suppose 6*h = 2*h + 2*t + 6, 4*h + t = 3. Let q = -6819/17 - -403. Is q greater than h?
True
Suppose -12 = -2*o - 4*n + 16, 0 = n + 4. Let h be o/(-6) + 5/(-15). Is -4 < h?
False
Let z = -539.0232 - -539. Let o = -39.0232 - z. Which is smaller: 0 or o?
o
Suppose 2*r = -3*y + 139, 0*r + 151 = 3*y - r. Let i = -107 + y. Let z = 1 + -59. Is z < i?
False
Let z be (2/(-7))/(1048/(-25676)) - 2250/322. Suppose -2*v - y - 7 = 2*y, -3*y - 12 = -3*v. Which is bigger: z or v?
v
Let a be (140/(-210))/((-3)/((-45)/(-2))). Suppose -a = x - 2*y, 2*y = 3*x - 0*y + 7. Which is smaller: x or -3/34?
x
Let y = 355 - 235. Let a = 125 - y. Which is bigger: 7 or a?
7
Suppose 17*d + 13221 = 20*d - 12*p, -p + 8859 = 2*d. Is d > 4425?
True
Suppose -6*w - 306 = -474. Let l be (w/(-3))/((-50)/(-75)). Is l < -14?
False
Suppose -15*t + 16*t - 200 = -39*t. Let f be 80/(-12)*3/13. Is t less than f?
False
Let d = 89 - 138. Let q(c) = c**3 - 9*c**2 + 6*c - 10. Let i be q(8). Let g = d - i. Are -23 and g equal?
True
Let m be 0 - ((-79)/(-1))/(1 + -2). Let b = m + -57. Suppose 4 = -4*p, 7*h = 4*h + 4*p + b. Is h at most as big as 7?
True
Suppose -a + 0 = -1. Let h = 182797 - 2374773/13. Let k = -122 + h. Is a equal to k?
False
Let k be 138504/54 + (8 - 16). Let b = -2551 + k. Is 7 bigger than b?
True
Let k(p) = 2*p**2 - 14*p - 9. Let t be k(8). Let r = 13 + -3. Suppose -3*u - t = -r*u. Is u at most as big as -2/111?
False
Let y be 720/(-1254840)*1/3. Are y and 0.1 non-equal?
True
Let a = -9316 + 20242. Let g = 43471/4 - a. Which is greater: -58 or g?
-58
Let u = 17.24 - 14.3. Let s = 0.06 + u. Let t = -372 + 380. Is s bigger than t?
False
Let p(i) = i**2 - 3*i + 1. Let o be p(3). Let z be -2 + o - 41/(-43). Let c be 0/(((-9)/(-12))/(((-3)/144)/((-43)/172))). Which is greater: c or z?
c
Let i = -1319.7 + 1318. Which is greater: 75 or i?
75
Let x = -0.65 + 71.65. Let d = x + -22. Let c = -50 + d. Which is bigger: 1/3 or c?
1/3
Suppose 2*r = -3*a - 66, 2*a - 45 = 2*r + 41. Let y = 41 + r. Suppose -t + 33 = y*g, -g - 2*t + 6*t = -39. Which is smaller: g or 18?
18
Let m be (-6)/(-4)*(-67)/(2010/1820). Suppose 0 = -5*k - 2*f - 460, k + 5*f + 58 = -57. Is k greater than or equal to m?
True
Let i = -3383 + 3575. Is i at least -1?
True
Suppose 3*k = o - 1 - 2, 6 = 2*o - 4*k. Suppose 4*t + 6 = -m, 2*m + t + o = 2*t. Let r = 9334/7 - 1334. Are r and m equal?
False
Let g = -101 - -118. Let y(u) = -u + 16. Let q be y(g). Which is smaller: -2/153 or q?
q
Let m = 285 - 240.8. Let d = m + -44. Let z = -28 + 113/4. Which is greater: z or d?
z
Suppose 3*k = 5*b - 131, -b + k = -3*b + 48. Suppose -2*o - 36 - b = 3*y, 3*y = 9. Let l = -28 + -5. Which is smaller: o or l?
o
Let h(o) = -o**3 - 5*o**2 + o + 3. Let m be h(-5). Suppose 3247*j = 3089*j - 316. Is m < j?
False
Let y = -2 + 6. Suppose -116 = 3*v - 125. Suppose v*s - 2*i = -2*s + 11, 3*s + 2*i - 13 = 0. Is s at most y?
True
Let y be (884/(-15470))/((-23)/(-5)). Which is smaller: -3.1 or y?
-3.1
Let v = 18775 - 11832. Which is bigger: 6941 or v?
v
Suppose 2*o + o + 214 = l, -l = -2*o - 210. Suppose -3*w = -l + 10. Let u = 73 - w. Are 8 and u equal?
False
Let n = 23447/5 + -4689. Which is smaller: n or -517?
-517
Let s be 4/16 - (-30)/(-56). Let k be -1 - -11 - 13110/1265. Is k at least s?
False
Suppose 4*q = -23 + 7. Let a = q - -10. Let k be 6/(-4)*(-124)/a. Which is smaller: k or 32?
k
Let p(v) = v**2 - 7. Let z = -37 + 32. Let r be p(z). Suppose -8*i = -2*i - r. Which is smaller: 6 or i?
i
Let l(p) = -p**3 + 17*p**2 - 114*p + 328. Let x be l(7). Let a = -10109/4 + 2548. Which is greater: x or a?
a
Let a = 43835 + -43827. Let h = -1 + 0. Is h not equal to a?
True
Let i = 100 - 101. Let s be 1 - (1 - (i + -13)). Which is greater: s or -44/3?
s
Suppose -5*z + 3830 = -6190. Which is smaller: z or 2003?
2003
