 -288. Let i = 149 - l. Are i and -12 nonequal?
True
Let v = -48 + 36. Let y(k) = k + 1. Let x be y(v). Which is smaller: -13 or x?
-13
Suppose 21 = 4*l - 3*h, -l + h = 2*l - 12. Suppose -3*b = l*b - 312. Let f be 542/(-26) + (-8)/b. Is f less than -21?
False
Let v(l) = -8*l. Let o = 65 - 60. Let a be v(o). Let w = 50 + a. Are w and 11 equal?
False
Suppose -3*d - r - 20 + 33 = 0, 3*r - 19 = -4*d. Suppose 1530 = d*b + 13*b. Is 91 > b?
True
Suppose 185*h + 3223 = 196*h. Which is greater: 296 or h?
296
Suppose -3 - 2 = k + 5*j, 3 = 5*k - 3*j. Suppose k*y = -4*y + 484. Suppose -356 + y = 5*h. Which is smaller: h or -48?
-48
Suppose 4*z = -z + 50. Let u = 530 - 480. Suppose 0 = 49*k - u*k + 1. Which is smaller: k or z?
k
Let d be -3*(-4 + 2476/620). Let p(r) = 46*r - 645. Let a be p(14). Is a greater than or equal to d?
False
Let v = -186 + 200. Suppose -5*g - 5*q = -20, 4*g + 0*q = -3*q + v. Are -9 and g equal?
False
Let a be ((-11949)/343)/(4 - (-11)/(-2)). Let i = 67/49 - a. Is -21 at most i?
False
Let i = 209 - 432. Let t = -364 - i. Is 2/7 bigger than t?
True
Let o = -247 + 252. Suppose -o*y - 50 = -30. Which is greater: y or -22/5?
y
Suppose -2*k + d = -2*d - 13, -5*d - 23 = -4*k. Suppose -k*y + 2*t = -y + 6, 0 = 4*y - 2*t. Let j be (21/(-12) + y)/(30/(-72)). Are j and 2 non-equal?
True
Let b = 150.6 + -138.42. Let v = b - 11. Let q = 0.38 - v. Which is bigger: q or -0.2?
-0.2
Let q be 1/(-5)*(-57)/(-48811). Is -1 > q?
False
Let d(h) = -h**3 - 5*h**2 + 9*h + 29. Let w be d(-10). Let u = w + -436. Let s = 503/4 + -124. Which is smaller: s or u?
s
Let c = -23 + 23. Suppose c*x - 413 = -5*g - 2*x, 4 = x. Let j be 0 - 3 - (-234)/g. Which is bigger: -1 or j?
j
Let p be 2/21*(10 - 876/180). Is p <= -1?
False
Let f = -3.88 - 18.58. Let a = -23 - f. Let i = -9.46 + a. Which is smaller: -4 or i?
i
Let y = -7917 + 7906. Which is greater: y or -130?
y
Let j be 5 + (-1)/(-2)*1976. Suppose 993 - j = -4*u. Which is greater: -4/237 or u?
u
Let x be -4*(0 - (-2)/(-4)). Suppose c + 3*r - 82 = 1169, 2*c - 2502 = 2*r. Let s = -11245/9 + c. Which is bigger: s or x?
x
Let b be (6/(-13))/(-7*8/5320). Let h = 10990/221 - b. Which is smaller: h or 7?
h
Suppose 0 = j + 16*q - 14*q - 405, 1632 = 4*j + 6*q. Which is smaller: 429 or j?
j
Let b be 3*2/(-1) + 7 + (-7)/(-26). Is 0 equal to b?
False
Let m = 3093 - 3067. Which is smaller: m or 82?
m
Suppose 298*t = -31*t - 658. Which is bigger: -19/6 or t?
t
Let a = 68 + -64. Suppose -107*g + a = -109*g. Is -2 at most g?
True
Let x be -1*(-116)/(3 + 1). Suppose -37 - 113 = 5*b. Let m = b + x. Which is smaller: m or -2/97?
m
Let q be 74/5 - (-3 - (-112)/40). Let x = 13 - 0. Is x greater than or equal to q?
False
Let g = 2559 - 2687. Is 0 equal to g?
False
Let x be -5 - (6 + (11 - 13)). Is 67 != x?
True
Let p be (-2750)/(-152) + (-4 - -3) - (-9)/(-36). Is 16 at least as big as p?
False
Let f be ((-7)/(-42))/((-40)/(-9)). Let d = f + 311/240. Which is smaller: 0 or d?
0
Let d = -128 + 129. Let o = -174042 - -2435029/14. Let g = 111 + o. Is d at least as big as g?
True
Let u be (25/3 - 8)*(-9)/579. Which is smaller: u or -1?
-1
Suppose 79*y + 1104 = 56*y. Suppose -6 = 4*d - d. Let g be 12/y - (-1)/(d/(-4)). Is 2 not equal to g?
True
Let k = 34708/35 - 6950/7. Which is bigger: 0.181 or k?
0.181
Let a = 2946 + -2945.969. Which is greater: a or -20?
a
Suppose -10 = -4*c + 6, -4*o + 13692 = -c. Let d = -1105953/323 + o. Is d bigger than 0?
False
Let i(k) = -4*k - 9. Let u be i(-3). Suppose 0 = -u*c - y + 25, c - y = -4 + 11. Let r = 339 - 331. Is r at least c?
True
Let t be ((30/(-90))/(1/(-1713)))/(-1). Which is smaller: t or -577?
-577
Suppose 0 = t - v - 25880, 4648*t - 3*v = 4650*t - 51790. Which is smaller: t or 25887?
t
Let r(f) = -4*f - 41. Let i(x) = x**3 - 2*x**2 - 5*x - 5. Let w be i(-2). Let m be r(w). Is 11/7 at least m?
False
Let k(m) = 3*m**2 - 33*m + 16. Let j be k(11). Suppose 16 = -j*l + 8*l. Let t(z) = -z**3 - 5*z**2 - 4*z + 4. Let s be t(-5). Is s bigger than l?
True
Suppose -6*a + 34 = 10. Let n be a/18 + (-1353)/(-27). Let u = n + -50. Which is greater: u or 7/4?
7/4
Let n = 2/9169 - -137417/540971. Which is smaller: n or 0?
0
Let l = 46967483/9 - 5224163. Let a = 381208/63 + l. Let z = -495 + a. Is z != 2?
True
Let v = 3.267 - -0.233. Do 2/3 and v have different values?
True
Let j(u) = -41*u - 347. Let k be j(-20). Suppose -k = -2*n - 3*v, 3*v - 472 = -2*n + v. Is 234 < n?
True
Let h be ((-46)/(-10))/((-72)/(-132) - 187/121). Which is greater: h or 0.058?
0.058
Let c(m) be the first derivative of 2*m**2 + 73*m - 12. Let w be c(-11). Is 148/5 smaller than w?
False
Let g = -7/479408 + 172113793/432905424. Let r = -13/43 + g. Which is smaller: r or -0.3?
-0.3
Let n be ((-9)/((-108)/(-42)))/(-7). Let z = 83 - 117. Which is greater: z or n?
n
Let d = 237 + -404. Suppose 5304*p - 5307*p = 4*z + 434, z + 482 = -3*p. Which is greater: d or p?
p
Let v = 0.0385 + -20.0385. Which is greater: v or 0.11?
0.11
Let i = -345.0169 + 1.0169. Is i > -0.07?
False
Let i be ((-3)/(27/(-6)))/(15/90). Suppose -i*o - b + 5*b = 0, -3*o - 3*b = 6. Is o <= 3/49?
True
Let h be (-986)/8 - 1/(-4). Suppose -237*i + 227*i + 540 = 0. Let d = h + i. Which is greater: d or 0.1?
0.1
Let n be (1*2)/(4/46). Let o(t) = 9*t**3 + 10*t**2 + 3*t + 7. Let w(k) = 11*k**3 + 10*k**2 + 4*k + 9. Let h(l) = -6*o(l) + 5*w(l). Let b be h(10). Is n != b?
False
Let d(g) = -67*g - 2027. Let l be d(-31). Is 37 greater than or equal to l?
False
Suppose 3*h = 4*n - 2, 9 + 4 = -2*h + 5*n. Let z be (-40)/1800*h/20. Is -1 at least z?
False
Let i = 716 + -1109. Let w = i + 406. Let a = 5 + -3. Which is smaller: w or a?
a
Let q = 2.01 - 2. Let h = -4978.1 - -4981.1. Which is bigger: q or h?
h
Let c = -5.72651 + -0.07349. Let r = 18 - 39.2. Let a = r + c. Which is bigger: 1 or a?
1
Let d = 212 + -118. Suppose 3*h - d = 2*a + 2*a, -2*h = -2*a - 64. Let c = 31 - h. Is c >= -2?
False
Suppose -6*t + 1157 - 2587 = 16*t. Suppose 2*j + 330 = -3*j. Does t = j?
False
Let d(j) = 6*j**2 + j + 2. Let u be d(-2). Suppose -4*p = -0*p + u. Let i = 27120 - 27129. Is i equal to p?
False
Let u be (-37)/(-37)*(-4)/(-76). Which is smaller: -330 or u?
-330
Suppose -18*p + 59*p + 82 = 0. Let r be p/(-1)*12/54 + 4. Is r > 4?
True
Let c = 295.8 - 284.8. Are c and 1/10 unequal?
True
Let a = 83 + -82. Let h be -2 + (13146/1463 - 7). Is h at most as big as a?
True
Let g = -5399/240 - -113/5. Let a = -209/624 + g. Is a greater than -3?
True
Let l = -33 - -37. Suppose 4*i + 166 = f - 3971, l*i - 2*f + 4138 = 0. Let t = -9334/9 - i. Which is bigger: -2 or t?
-2
Let t = 1 - 10/9. Let d be ((-1)/(-3))/(-3 - (-1820)/606). Let n = 101 - d. Is n less than or equal to t?
False
Suppose 6*c + 24 = -30. Let w(s) = s**3 + 10*s**2 - s + 7. Let d be w(c). Which is greater: d or -2/9?
d
Let b = -28 - -129. Let y = b + -100.939. Let l = y - 4.061. Is l bigger than 2/5?
False
Let g be -2 + -2 - -6702 - (-1 + -3). Is g equal to 6702?
True
Let u be (2 - (-21)/(-6))/213. Let p be (2 + -1)*6 + (-29)/(348/72). Is p smaller than u?
False
Let n = -0.2078 + 39.2078. Do n and 30 have the same value?
False
Let i be ((-20)/(-15))/((-2)/(-141)). Let q = -463/5 + i. Let d be ((-3 + 2)*-2)/(-9 + 3 - -7). Is q greater than d?
False
Let w(z) = 36*z - 100. Let a be w(-5). Let g = 483 + a. Which is smaller: 202 or g?
202
Let q = 662899/7 - 94855. Which is greater: q or -155?
-155
Let n = -4457 + 4457.1. Which is bigger: n or 308?
308
Let t = -394 - -313. Let w = t + 569/7. Is w not equal to -48?
True
Let f(n) = -n**3 + 13*n**2 + 6. Let y be f(12). Let p = -102 + y. Let h = p + -30. Are h and 18 nonequal?
False
Let s be -2*(-4 + -1 + 3). Suppose -2*j = p + s*p - 1116, 4*j - 234 = -p. Which is smaller: p or 224?
p
Let q = 0.7 + -0.612. Let f = q - 25.688. Let l = f + 26. Is -1/3 at least l?
False
Let a = 6049/4 - 1512. Which is greater: a or -5378?
a
Let x = 7 - 284. Is x greater than or equal to -280?
True
Suppose -101 - 193 = -3*l. Suppose v - 4*v = 2*m - 299, -5*m = v - 117. Let a = l - v. Which is smaller: a or -5/12?
-5/12
Let g = -0.6 - 5.4. Let p = -1.33 - -2.394. Let i = p + -0.064. Is g not equal to i?
True
Let a = -364.02 - 2766.98. Is -1 greater than or equal to a?
True
Let z be -20 - -465*(-20)/(-528). Which is bigger: z 