e
Let y(h) = -h**3 + 16*h**2 - 37*h - 21. Let p be y(13). Suppose 4*f = -2*n + 104, p*n + 2 = 4*n. Which is smaller: 1 or f?
1
Let y be (-4)/5 - (-6)/9. Let q(l) = l + 5. Let s be q(-5). Is s != y?
True
Let m(h) = -79*h**2 + 6 - 3 + 0 - 4*h. Let p be m(1). Let i be p/(-156) - 2/3. Which is greater: -1 or i?
i
Let f = -685.9 - -125.9. Let b = f - -472. Are b and -1 equal?
False
Let u = 1337.9 + -1339.9. Which is smaller: 4/1075 or u?
u
Let i = 50 - 351/7. Let t = -2/35 + i. Let n = -0.2433 - 2.7567. Is t smaller than n?
False
Let h be (-28)/(-13) - 3 - -1. Let m = -201 + 216.3. Let q = m + -15. Which is bigger: q or h?
q
Let w(x) = x**3 + 51*x**2 + 44*x - 309. Let l be w(-50). Are l and -127/16 equal?
False
Let f = -1750 + 1749.88. Which is smaller: -91 or f?
-91
Let z be 39/(-12)*(15 + 85). Let b = 575 + z. Is 250 less than b?
False
Let w = -52 - -52. Suppose -s - s - 4 = w, 4*i + 3*s - 90 = 0. Let x = 22 - i. Is 2 greater than or equal to x?
True
Suppose 59*k - 29 = -55*k + 85. Which is greater: -8/703 or k?
k
Let v = -22434 - -23338.96. Let z = 985 - v. Let j = z + -80. Is 0.02 less than or equal to j?
True
Suppose -5*s = -7*d - 1495, -60 = 5*d - 4*s + 1010. Is d not equal to -200?
True
Let q = 1158 - 16221/14. Let a be (72/14)/1 - 3. Let h = q + a. Which is smaller: 3 or h?
h
Suppose -4 + 2 = -2*r + 4*h, 5*r + h - 16 = 0. Let g be 2/(-18)*r*-3. Let c be (-1)/(g/1)*1. Which is smaller: 2/13 or c?
c
Let l be (-1)/5 + (0 - 252/15). Let x be 5 + (2 - 1340/(-25)). Let f = x + -61. Which is greater: l or f?
f
Let u(x) = 15*x + 178. Let r be u(-8). Suppose 302 = 5*s + 2*d, 2*d + 0*d - 122 = -2*s. Which is smaller: r or s?
r
Let v = 9949/3496 + 9/184. Which is greater: 3 or v?
3
Suppose 2*a + 2*a + 16 = 0, 0 = -2*m - 5*a - 550. Let y be 4/6*(13 - 409). Which is smaller: m or y?
m
Let a = -1038 + -1853. Which is smaller: -1 or a?
a
Let a = 18838/99 + -2142/11. Let z = 147 - 151. Which is greater: a or z?
z
Let s = 14472/23 + -629. Let b = s - -417/92. Which is smaller: 5 or b?
b
Suppose c = q - 19, -2 + 1 = c + 5*q. Let z be ((-2)/14*c)/(25/(-75)). Let h = -89/14 - z. Are -0.2 and h non-equal?
True
Let g = -48 + 47.984. Let l = g + 2.016. Let x = -2 + l. Is x greater than 4?
False
Let d = -1083 + 1063. Let q(f) = 11*f - 1. Let b be q(-4). Let t be (-6)/d*(-20)/b. Does t = 1?
False
Suppose -87846 - 95676 = 438*x. Which is greater: -27 or x?
-27
Let a be (-1274)/10 - ((-6)/(-5))/2. Let d = a + 102. Is d at least as big as -25?
False
Suppose -2*m + x + 744 = 0, 55*x - 1878 = -5*m + 53*x. Is -4 greater than or equal to m?
False
Let q = -205 - -293. Let m = -60 + q. Let b = -33 + m. Is b smaller than 5/2?
True
Let v be (-1566)/24 - ((-330)/(-120) + -3). Let u(f) = -11*f + 7. Let l be u(7). Are l and v non-equal?
True
Let y = -1537 - -1590. Which is smaller: y or 71?
y
Let d = 1022.4 + -864. Let q = 160 - d. Is q greater than 7?
False
Let q(o) = 56*o + 287. Let r be q(-19). Which is smaller: r or -775?
r
Let s = 1.29206 - 1.38206. Let f = 8501/58 - 293/2. Is f not equal to s?
True
Suppose 0 = 2*x + 5*z - 241, -183 - 274 = -4*x - 5*z. Let o = 2418 - 2312. Which is smaller: x or o?
o
Let y = -1983 - -509637/257. Which is smaller: -1 or y?
-1
Let m = 53 - 14. Let j = -14 + m. Suppose -4*l + 3*n - j = 11, -38 = 3*l - 5*n. Are l and -7 equal?
False
Let v(a) = 114*a - 260. Let x be v(3). Suppose 0 = l + 2*p + x, -37 = 5*l - p + 406. Is l greater than or equal to -88?
True
Let v be (0 - 5/(-2)) + (-735)/(-42) + -19. Which is smaller: 1/3015 or v?
1/3015
Let k(g) = 3*g - 8. Let j be k(3). Let h = 2/5131 + -10768/1298143. Is h less than or equal to j?
True
Let c be 56079/36 - (-6)/(-8). Let g = c - 423503/272. Which is smaller: g or -1?
-1
Let n = 1.8539 + 0.1661. Which is greater: 0.1 or n?
n
Let c = 0.7063 + 4.2937. Is c less than or equal to -67/4?
False
Let l = -1010 + 1166. Suppose 418*q - 412*q - 924 = 0. Which is greater: l or q?
l
Let x(a) = -3*a - 8. Let d be x(-4). Suppose 5*z - 34 = 4*r, 0 = 4*r - 6*r - d*z - 4. Which is smaller: r or -5?
r
Let i be 5/50*4*5. Suppose -5*p + 3 = -5*o + 8, i*p - 3*o = -7. Is p > 4?
False
Let n be ((-192)/(-10))/((-17)/(-85)). Let d = -127 - n. Is -221 bigger than d?
True
Suppose 25*v = 42*v - 25*v + 59960. Are v and 7495 non-equal?
False
Let r = 535 + -540. Let g be (3/6)/(r/10). Which is bigger: g or 2/275?
2/275
Suppose -l = -4*y - 79, -5*l + 6 = 5*y + 111. Is y < -15?
True
Let w(a) = 2*a + 15 - 3*a**2 + 8 - 1 + 2*a**2. Let s be -6 + (5 - (8 - 4)). Let t be w(s). Do t and -16 have different values?
True
Let d be (3/(-54)*2)/1. Suppose 4*a = -4*u - 8, -4*a - 5*u + 0 = 12. Suppose -a = -y - y. Which is bigger: d or y?
y
Suppose 265 - 27 = 7*j. Suppose -18 = -4*k - j. Suppose -2 = 3*r + 7. Which is smaller: k or r?
k
Let t = -361.1 - -339. Let r = t - -17. Let v = 5.1 + r. Are v and 16 equal?
False
Suppose -5*r = -o + 247, -5*r = -36*o + 41*o - 1055. Is o at least 217?
True
Suppose -8*i + 83*k = 87*k - 9612, -4785 = -4*i + 5*k. Is 1202 at least as big as i?
True
Let c(d) = 201*d + 350. Let i be c(-2). Is i bigger than -43?
False
Let a = -676 + 691. Let m be 0*-5*1/a. Which is greater: m or -2/33?
m
Suppose -6*b - 11 = -5. Let m be b/(((-9)/12)/(-3)). Let v be (2 + -1)/(m/(-32)*-4). Is v greater than or equal to -7?
True
Suppose 10303 - 9957 = 2*k. Which is greater: -1/24 or k?
k
Let c(b) = 4*b - 1. Let r be c(6). Let k be ((-15)/((-135)/6))/((-8)/(-252)). Which is bigger: r or k?
r
Let k be 1*-4 + 2436/606. Suppose 3*c = 0, 5*c = 2*o + 5*o - 7. Is o > k?
True
Let z = 30 + -30. Let f = 369/37 + -33433/3293. Are z and f non-equal?
True
Suppose -1653 = 3*g + f + 417, 3*g = -3*f - 2076. Let o = -725 - g. Which is smaller: -38 or o?
-38
Let d = -10762 + 10634. Is -89 at least d?
True
Let j = -4542 - -4416. Which is bigger: j or 1.2?
1.2
Let f = 119 - 127. Let x be f/(-10)*-5*4/(-28). Which is bigger: -5 or x?
x
Let c = 829.03048 + -0.03048. Are 1 and c equal?
False
Let i = -1586 - -4723. Let p = i - 40907/13. Are p and -9 unequal?
True
Let g = -0.92 + 13.92. Let r = g - 12.6. Do r and 4/7 have different values?
True
Let j = 8787 + -8569. Which is smaller: 650/3 or j?
650/3
Let y = -178 + 133. Let p be 4 - (-4 + (-305)/y). Are 1 and p unequal?
True
Let q be (0/8)/2 + 1. Let w be ((-1568)/(-20))/((-4)/20). Let j = -39983/102 - w. Which is bigger: j or q?
q
Let a(t) = t**3 + 7*t**2 - 10. Let f be a(-4). Suppose 4 = 2*m, 5*m + 16 = -3*d + f. Which is smaller: d or 39/8?
d
Let g = -776453/559 + 1389. Suppose -2*f = -5*f. Which is bigger: f or g?
f
Let i = 11046 - 11054. Which is smaller: -195/22 or i?
-195/22
Let u(i) = i**2 - 10*i - 9. Let a be u(11). Suppose 6 = -a*f - 12. Do f and 1 have the same value?
False
Suppose -1033*k - 1009*k + 34 = -2008*k. Let x = 164.2 + -29.2. Is k < x?
True
Suppose n + 3*j + 12 = 0, -2*j = -n + 6*n + 8. Which is bigger: n or -2/8867?
n
Let x = 2995.88 + -2996. Which is smaller: 4 or x?
x
Suppose -5*q - 170 = 5*n - 8*n, -4*n - q + 219 = 0. Which is bigger: 62 or n?
62
Let o(m) = -m**2 + 10*m - 5. Let t be o(9). Suppose t*f = -4*y + 12, f - 2*f + 3 = 0. Let d = -102 - -913/9. Is d greater than y?
False
Let m = 28003 - 50399/2. Which is greater: 2803 or m?
m
Suppose -2*g = -5*n + 370, 0 = -6*n + n + g + 370. Let u be (-144)/(-32)*8/12. Let r(a) = 15*a**2 - 14*a - 19. Let t be r(u). Is n > t?
False
Suppose -27*m + 30*m - 9 = 0. Let o be m*((-4)/(-14) - (-220)/(-525)). Let x = 0.2 - 0.9. Which is bigger: o or x?
o
Let q = -5.359 - 0.761. Let o = q + 8.52. Let h be (0 - 0)*(-2)/4. Which is smaller: o or h?
h
Let q = -7 + 22. Let d = q - -24. Let i = d - 72. Which is smaller: -0.1 or i?
i
Suppose -10 = 4*w - 26. Let n(f) = -w*f - 8 + 39 + 0*f. Let y be n(8). Which is bigger: -3 or y?
y
Suppose 26 = -17*w + 4*w. Suppose 3*l + 0*v = 3*v + 9, 5*v = 3*l - 13. Let h be l - (3 + 12/(-20)). Which is smaller: h or w?
w
Let k = -28527/4 - -2196303/308. Is k less than 0?
True
Let q = 0.376 + -0.09. Let z = -0.016 + q. Are z and -3 equal?
False
Let f = 5045 - 5367. Which is smaller: -321 or f?
f
Let f = 20549.941 + -20530. Let x = f + 0.059. Are x and 11 equal?
False
Let z = -1282.857 + -9.043. Let k = z + 1215. Let g = k - -77. Which is smaller: -2/5 or g?
-2/5
Suppose -3*j + 68 = -7*j. Let h be ((-44)/(-32))/(-