e
Suppose -2*j - 321*y + 24 = -324*y, 52 = 4*j - 5*y. Which is greater: j or -13?
j
Let n be ((-464660)/28)/((-45)/18). Is n less than 6638?
False
Let s(j) = j**2 + j - 4. Let q be s(2). Let u be (2/q)/(1*74/(-4)). Let b be 105/(-115) + (-4)/46. Which is bigger: u or b?
u
Let s = 41 - 40.61. Let z = -0.79 + s. Let d = -0.01 - 0.05. Which is smaller: z or d?
z
Let a(n) = 3*n + 32. Let t be a(-4). Let l be 10/4 + (-11)/(-22). Suppose -d = -l*v + t, 4*d - 4*v = 2*d - 30. Do 0 and d have different values?
True
Suppose 3*p = 0, -2*p + 736 = 4*n - 240. Let a = 739/3 - n. Suppose -53 = -81*q + 109. Which is smaller: q or a?
q
Let g(o) = -2*o**3 - 61*o**2 - 79*o + 231. Let w be g(-29). Which is bigger: w or -3/464?
-3/464
Let h be 0 + 17/8 + 8/(-64). Let q be -2 + -5*h/(-5) + 1. Let y be (13/(-156))/((-1)/8). Which is smaller: q or y?
y
Let a be (46/(-32))/((-48)/(-320)). Suppose 1050*i - 1092*i - 35 = 427. Is i < a?
True
Let j = -0.09412 - 0.00588. Which is smaller: 1/2065 or j?
j
Let a = 10683 - 10682. Which is bigger: a or 40/147?
a
Suppose 15 = -2*q - a, 2*q - 3*a - 38 = 7*q. Let n(u) = -u**3 - 8*u**2 - 6*u - 5. Let j be n(q). Let c be 1/(15/(-9)) + (-37)/5. Is j less than c?
True
Let n be (74 - 73)/((-1)/2). Is -103/132 >= n?
True
Suppose 13*x + 44620 - 10535 = -23180. Is -1 smaller than x?
False
Suppose 2*m = m - 2. Let j be ((-115)/161)/((-2)/(-14)). Is m less than or equal to j?
False
Let r = 519.7 - 804. Let v = r - -283. Is v greater than 0.2?
False
Let z = 1115 + -1131. Is -218 greater than or equal to z?
False
Let c = -28 - -13. Let i be (-5)/(30/(-51)) - (-4)/(-8). Suppose 4*n + i*n = -216. Are n and c non-equal?
True
Suppose 2*n + 2*n = 2*l - 434, 898 = 4*l + 2*n. Suppose -261*h + 266*h = 1115. Are h and l equal?
True
Let c be (2 - -2 - 1) + (-4 - -1). Suppose -2*n - 8 = c, -2*w + n + 4*n = -26. Is w greater than -4?
True
Let f = 264 + -258. Let p be (f - 55/10)*-24. Is -6 smaller than p?
False
Suppose -97*m - 3*r + 6 = -100*m, -5*m - 5*r + 10 = 0. Which is smaller: 2/953 or m?
m
Let d = -23771/28 + 3349/4. Suppose -143 + 103 = 4*x + 2*b, 0 = 4*x - 4*b + 52. Which is smaller: d or x?
d
Let b be (0/(-1))/(-2) + 15/1. Let s = 16 - b. Let m be s*(-4 + 25/5). Is 1/72 < m?
True
Let x = 718 - 1328. Let d = 566 + x. Which is smaller: d or -39?
d
Let v be (32/(-168))/((-26)/14 - -1). Suppose -3*y - 73 - 113 = -5*i, 0 = 2*y + i + 137. Let j = -66 - y. Which is bigger: v or j?
j
Suppose -4*x + 3*i + 79 = 100, 105 = -5*x + 15*i. Suppose 0 = -2*l + l - 4. Let k be 5/4 + 2/l. Which is smaller: x or k?
x
Let k(u) = -2*u**3 + 3*u**2 + 3*u - 1. Let o be k(-2). Suppose o = 11*c - 89. Let y be -6 + 9 + (102/c)/(-3). Is y smaller than 0.3?
True
Let t = -2587/42 + 185/3. Which is smaller: 97 or t?
t
Suppose -2 = 4*z + 5*m, -3*m + 2*m + 8 = 5*z. Let n(f) = 2*f**3 + f**2 - 7*f + 2. Let q be n(z). Suppose 0 = q*y - 10*y + 10. Are 3 and y equal?
False
Let w = -7.1 - -7.07. Let q = 0.06 - 0.36. Let z = q - -0.2. Which is smaller: z or w?
z
Let n be (-330)/(-45) - (-2 - -10). Which is bigger: n or -3/4?
n
Let s be 1176/(-42) - -23 - -5*2/2. Which is smaller: 1/3645 or s?
s
Let q be 2/(2/(-21) + 0). Let d(l) = 14*l - 7. Suppose 0 = -3*u - 15, 0*c + 4*c = -2*u - 14. Let w be d(c). Does q = w?
True
Let g = -0.02511 - -0.12511. Do 185 and g have different values?
True
Let o be (-192)/1386 - (-17)/187. Is -1 != o?
True
Let w = -12966.29 + 12966. Do w and -13 have the same value?
False
Let w = 752 + -448. Let q = -199 + w. Suppose -65 = -5*n + q. Which is smaller: 33 or n?
33
Let d be (4 - 5)/(-7*(-5)/(-362320)). Is d less than 10352?
False
Suppose -9 = -3*f, -916 = -g + 5*f + 108. Which is smaller: g or 1037?
1037
Let y(z) = -7*z - 169. Let j be y(-24). Let l be (-5 + (-676)/24)/j. Is 32 equal to l?
False
Suppose -24*w - 192 = -40*w. Suppose w = 29*p - 17. Is -1/7 equal to p?
False
Let p = -3 - -2. Let f be -3*((-78)/54)/(-13). Let y = p - f. Are y and -2/3 non-equal?
False
Let h = 0.071 - 0.034. Let v = -182/431 + 2136/3017. Does v = h?
False
Let q(t) = 5*t. Let s be q(1). Let a(d) = -17*d + 100. Let u be a(0). Let h be u/(-25)*(-2)/4. Is h < s?
True
Suppose 3*h - 17 = 2*y - 0*y, 0 = -4*y - 5*h - 1. Let m be 74/y - (-3)/6. Let t be ((-266)/28)/(0 + (-1)/(-2)). Which is greater: t or m?
m
Let h = 46 + -25. Let w(g) be the third derivative of -g**4/8 + g**3/3 - 67*g**2. Let v be w(0). Is v smaller than h?
True
Let d = -210964280713/4249 - -49650337. Let u = -202133/607 + 333. Let a = d - u. Is a > -8?
True
Let k = 944/253 - 90/23. Let h = 24 - 24.3. Which is smaller: h or k?
h
Let c = -82 + 81. Let u = -50783/195 - -781/3. Is c not equal to u?
True
Let i(f) = -f + 8. Let l be i(7). Let a be (-4)/6 - (l - (-266)/(-21)). Suppose -8*r + a*r = -21. Is r at most -8?
False
Let c = -148 + 275. Let m = c + -223. Which is bigger: m or -1?
-1
Let b = 24 + -27. Let p be (b/4)/(-14 - -17). Are 1/40 and p unequal?
True
Let x = 10721/7 + -1534. Which is smaller: x or -3?
-3
Let p be ((-755222)/(-279) + 2/18)*4. Which is bigger: 10829 or p?
10829
Let i = -325 + 366. Let u(g) = 2*g**2 - 7*g - 9. Let s be u(7). Which is greater: s or i?
i
Let q be (((-2)/24)/(108/(-432)))/((-2)/1554). Which is greater: q or -257?
-257
Let g = 234.0242 + -0.0242. Let r = g - 269.8. Let t = -36 - r. Do t and 4 have different values?
True
Let a = -2 - -5. Let b be 1*(-28)/(-12)*a. Let z(g) = g**2 - 7*g + 5. Let t be z(b). Is t > 5?
False
Let d = 30 + -35. Let r be d + (-5 + (-882)/(-177))*-296. Let f = 2 + -2. Is r bigger than f?
True
Let y(u) = -u**3 + 45*u**2 - 92*u + 254. Let i be y(43). Is i less than 2?
True
Let k be (4 - 8)/((-4)/8). Suppose 24 = 2*b + k. Let g = -33/4 + b. Which is smaller: -0.36 or g?
-0.36
Suppose 2*l - 4*l + 18 = 4*g, 2*g - 18 = -4*l. Let w = 98 - l. Suppose -q - 23 = -4*p + 18, 5*p = 3*q + w. Are -25 and q non-equal?
False
Let q = -1.73241 - -0.13241. Is 110 at most q?
False
Suppose -13*u + 10*u = 5*o - 1199, 2013 = 5*u + o. Which is bigger: 402 or u?
u
Let t = 6589 + -4250. Is t less than -1?
False
Let v be 6/(4*-9) - 49/(-42). Which is greater: v or -0.385?
v
Let a(j) = j**2 - j + 4. Let r be a(0). Let i be 32 + -33 - 32/(-6). Which is greater: r or i?
i
Let a = -5967062/8489 - -9138/13. Which is smaller: a or -1/4?
-1/4
Let z = 88 - 33. Suppose 114 = 5*t - 1. Let o = 79 - t. Which is bigger: o or z?
o
Let g = 171 - -5. Let u = -139 + g. Is 75/2 < u?
False
Let x be (14 - (-36)/(-6)) + 1802. Let r = 19896/11 - x. Suppose 5*c = -3 - 7. Which is smaller: c or r?
c
Let a = -12103 + 1476549/122. Is 1 at least as big as a?
True
Let j be (-266)/(-38) - 5*1. Suppose -2*l + 9 = j*l - g, 5*g = -4*l + 27. Let u be (-4)/(-20) + 131/45. Is u >= l?
True
Let u = -4336 + 4335. Which is smaller: u or -5/39?
u
Let c be 8 + (4/(-8))/(9/423). Is c != 2/5?
True
Suppose -34*n - 690 = 81*n. Which is bigger: -103/15 or n?
n
Let b be -4 + 3 + 0 + 0. Suppose 4*g = 16, -11*i - 72 = -12*i - 4*g. Let s be 3 + (-315)/i - -2. Which is smaller: s or b?
b
Suppose x - 1028 = 5*k, -x - 698 + 86 = 3*k. Let y be k/(-660) - (-2)/(-8). Let r(j) = 14*j - 153. Let c be r(11). Which is smaller: c or y?
y
Let y = -0.29632 - 0.00588. Are 0 and y nonequal?
True
Let y = -167.4 + 166.4. Is -0.237 at most y?
False
Let s be (-235)/7 + 3 - (370/(-35) + 10). Which is bigger: s or -950/31?
s
Let s(r) = 115*r + 230. Let m be s(-2). Are 3/728 and m non-equal?
True
Let k = -69.33 - -69.33. Let r = 34 + -66. Which is greater: r or k?
k
Let y(z) = -6*z**3 - 18*z**2 - 24*z - 23. Let w(s) = -s**3 + s. Let v(t) = 2*w(t) - y(t). Let j be v(-7). Which is smaller: -650 or j?
-650
Let b = -56.85 + 54.85. Which is smaller: b or 710?
b
Let l(f) = f**2 + 15*f - 1. Let a be l(-10). Let c be (a/(-68))/(-1 - 111/24). Which is greater: c or 1/11?
1/11
Let n(w) = 108902*w + 1. Let h be n(1). Let l = 2508033/23 - h. Let y = l - 142. Which is smaller: y or -1?
-1
Let t be (-496)/(-12) - (-114 - -100). Suppose 13 = 5*z - 262. Is t < z?
False
Let y(g) be the second derivative of -1/10*g**5 - 5/6*g**3 - 11/12*g**4 + 2*g**2 + 39*g + 0. Let l be y(-5). Is l != -15?
True
Let h(l) = -2*l + 2. Let n be h(-2). Let f be 63*(1 + (-4)/n). Let g be ((-920)/(-16))/(-23)*-8. Is g at least f?
False
Suppose 5*z + u + 0*u - 64 = 0, 2*z - 20 = u. Suppose -z = -7