
True
Let y(j) = -331*j + 1606. Let l be y(8). Is -1043 < l?
True
Let h(r) = 968*r + 2906. Let o be h(-3). Is o bigger than 36?
False
Let a = 354.533 + -0.033. Let b = 355 - a. Which is bigger: b or 2/5?
b
Let o be (8 - -1)*(-3)/(-8). Let t(v) = 6*v**2 - 372*v + 3826. Let r be t(13). Is o at least as big as r?
False
Let a = 7978 - 7978. Is a <= 9/77?
True
Suppose -10*r = -26*r + 35360. Is 2209 greater than or equal to r?
False
Let s = -6760 - -6759.9. Is s at most 1194?
True
Let d = -1678372/119 - -14104. Is -1 less than d?
True
Let l = 0.9 + 4.1. Let j = -4 + l. Let w = -16385.3 + 16385. Do w and j have the same value?
False
Let y = -3327 - -2115. Are -1213 and y non-equal?
True
Let v(h) be the first derivative of 35*h**4/4 + h**3/3 + 3*h**2/2 + h - 16. Let i be v(-1). Let j be i/(-15) + (-2)/5. Which is smaller: 4/7 or j?
4/7
Let m = -2694 - -2701. Which is smaller: m or -187?
-187
Suppose 2*x = -2*f - 54, 2*x + 4*f + 58 = -0*f. Suppose -166*p + 15 = -4*g - 165*p, -g = 4*p + 25. Let d be (-252)/(-15) - (0 - g/x). Which is greater: 19 or d?
19
Let f(k) = -1390*k - 5844. Let r be f(-5). Is 1101 >= r?
False
Let p be (9/(-190))/(87*7*14/98). Which is smaller: p or 1?
p
Let u(w) = 517*w + 1147. Let k be u(-2). Which is greater: 40 or k?
k
Let p = 2.86 + -7.32. Let a = p - 3.54. Which is greater: a or -0.05?
-0.05
Let u = -10022 + 9819. Is -2634/13 <= u?
False
Let z(o) = -9*o - 171. Let s be z(31). Let d be (-1 - -1) + 2 - s/(-222). Which is bigger: -1 or d?
d
Let w be (-3)/6 - 1/(-4). Suppose -8*i - 100 = -3*i. Let g be ((-92)/48*3)/((-5)/i). Do g and w have the same value?
False
Let q = 51 + -36. Let p be (q - 0)*(-2)/(-6). Suppose g + 2*i - 6*i - 3 = 0, 0 = p*g - 4*i + 1. Which is smaller: g or -1/29?
g
Let o = 5099/15 - 1698/5. Which is bigger: o or -3786?
o
Suppose 7*y = -57 - 69. Let x(d) = -5*d - 97. Let s be x(y). Do s and 0.4 have the same value?
False
Let l(b) = 5*b**3 + 2*b + 1. Let r be l(2). Let p be 4/(-18) + 235/r. Suppose -p*y + 150 = -5. Which is smaller: y or 30?
30
Let l = 137 - 175. Let a be 18/((-110)/l + (-4 - -1)). Let f be 438/a + (1 - 21/19). Which is smaller: f or -3?
-3
Let c = -416 - -418. Let k = 2245326/169 - 13286. Let f = 1779/1690 - k. Which is greater: c or f?
c
Suppose -4*n = -39 + 43. Let u = 136 + -48. Let m be (-4)/(-14) + u/(-210). Which is smaller: m or n?
n
Suppose -4*k + 31 = 3*q - 2*k, -3*q + 36 = -3*k. Suppose -16 = -g - 3*g. Suppose -2*h - 15 = 4*y + y, -g*h = 4*y. Are h and q unequal?
True
Suppose 0 = x + 3*x. Let s be (22 - 14) + 599/(-3). Let n = -10949/57 - s. Is n greater than or equal to x?
False
Let d(w) = 846*w - 142. Let g be d(2). Let u be g/(-124)*(2 + -1)*-2. Is u >= 25?
True
Let h = 1592.4 - 1332.4. Are 0.1 and h equal?
False
Let u be 6/(-27)*3 + (-4)/(-6). Suppose -5*o - 1 = 14, 3*m + 4*o + 18 = u. Let g be 972/22 + 80/44 + m. Which is smaller: g or 43?
43
Suppose -5*j - 5*p = -15280, -9176 = -26*j + 23*j - p. Let t = 39737/13 - j. Which is bigger: t or -2?
-2
Let t be ((-3507)/16533)/((-7)/6). Is 0 at least t?
False
Let o be (-1)/((-5)/50) + 3. Let w be ((-92)/69)/(1 + o/(-3)). Which is greater: -0.11 or w?
w
Let h = -3800/17 + 447/2. Let q(c) = -c**2 + 7*c + 5. Let p be q(6). Let a = p - 11. Do a and h have different values?
True
Let o = 4295 - -3415. Let z be 12/o*5 - 0. Is 1 > z?
True
Let l = -132 - -128. Let z(o) = o**3 + 7*o**2 + 10. Let y be z(-7). Let w be (-3)/(-6)*l + y + -2. Do 8 and w have different values?
True
Let q be -4 - 687575/(-924) - 6/(-8). Let j = 741 - q. Is 1 at most as big as j?
False
Let w be (-846 - -846)*1/(-1). Is 22/373 bigger than w?
True
Let r = -545.1374 - -545.3. Which is smaller: r or 0?
0
Let i be ((-9)/(-3) - 4)/(3394/6). Which is smaller: 1 or i?
i
Let y = -1317 - -937. Let o = -936060061/2449503 + -2/349929. Let f = o - y. Which is smaller: -1 or f?
f
Suppose 13095 = -52*r - 77541. Are 1/2 and r non-equal?
True
Let r = -61 - -63. Suppose -4*x - r = -2*a, -a + 2 = -x + 1. Is a equal to 27?
False
Let h(w) = 4*w**2 + 5*w - 8. Let k be h(-8). Suppose -a + k = 3*a. Let d(l) = -l**3 - 26*l**2 - 109*l - 33. Let b be d(-21). Which is greater: b or a?
a
Suppose -4*y + y + 2*t + 24 = 0, 0 = 3*t. Let f(r) = -r**3 + 25*r**2 - 29*r - 33. Let i be f(24). Let u = i - -163. Is y bigger than u?
False
Suppose 0 = -9*k - 512 - 136. Let a = k - -75. Let m be (-4 - (a + -5))*2. Which is greater: -1 or m?
-1
Suppose 0*x + 58*x + 93 = -35*x. Is -32/167 <= x?
False
Let m = -642 + 347.5. Let z = -297 - m. Do 2/3 and z have different values?
True
Suppose -3*y + 36*v + 43 = 41*v, 2*y - v = 7. Suppose 0 = -l - 2*x + 21, 4*l + x - 17 = 53. Suppose -5*i = -2*r - l, 0 = 3*r + 3. Is y smaller than i?
False
Let s = -3.22 + 0.86. Let i = -103.64 + s. Let n = 109 + i. Are n and 1/2 nonequal?
True
Let p be 5/((-60)/22778)*2 - (-36)/27. Is -3795 at most p?
True
Let a = 85 + -81. Suppose -a*z - y - 106 = -0*z, 2*y = 4. Let g be -26 - (4 - (-7)/((-21)/6)). Which is smaller: z or g?
g
Let d = 428 - 123. Let m = 266 - d. Which is smaller: 1 or m?
m
Let c be (-8)/10*4/2. Let w(n) = -62*n + 64. Let y(f) = -20*f + 21. Let j(l) = 2*w(l) - 7*y(l). Let k be j(1). Are k and c nonequal?
True
Let l = -14199 - -14198. Are l and -3458 equal?
False
Let u = 8286 - 9353. Is u less than or equal to -1076?
False
Let h = -18365 + 18362. Is -138/77 smaller than h?
False
Let o = -15 + -9. Let h = -30 - o. Let q be h/(-4) + (-134)/(-12) + 2. Is 15 <= q?
False
Suppose -44*b + 71*b + 6561 = 0. Which is smaller: -248 or b?
-248
Let w = -24 + 17. Let t(c) = -c**3 - 9*c**2 + 9*c + 9. Let d be t(w). Let q be d/(-26) + -4 - 2. Which is bigger: 0.1 or q?
0.1
Let m = -2183.4 - -2188.4. Is 25.9 != m?
True
Suppose -4*l - 13 = -5. Let b be 4/30 + 30/(-225). Suppose 2*h + r + 12 = b, -4*h - 3 - 1 = -3*r. Which is smaller: l or h?
h
Let g(b) = b**3 + 10*b**2 - 41*b + 10. Let u be g(-13). Let j = -38 + u. Which is smaller: 160 or j?
j
Let a = 4/1029 - 17306/40131. Is -1 greater than or equal to a?
False
Let b = -0.10748 - 218.89252. Is -29 > b?
True
Let t be (2 + (2 - -8))*(-114)/10. Let y = t + 136. Suppose 4*v + 9 = -m, -3*v + 2 = -5*v + 2*m. Are y and v unequal?
True
Let z be ((-3)/6)/1*33. Suppose f = 696*y - 701*y + 4, -24 = 4*f. Is y less than z?
False
Let y = 485 - 864. Let s = y + 379.3. Let k = -10 + 14. Which is bigger: k or s?
k
Let j = -486 - -325. Let z = 732 + -894. Which is smaller: z or j?
z
Let z(x) = 8*x**2 + 2*x + 1. Let n(m) = 3*m**2 + m. Let s(b) = 7*n(b) - 3*z(b). Let h be s(1). Let w = -73/9 - -34/9. Which is greater: h or w?
w
Let q = 2.7824 - 2.88. Let w = -2.0976 - q. Do 0.11 and w have the same value?
False
Let f(m) = 5*m + 1185. Let w be f(40). Which is greater: 1386 or w?
1386
Let l(y) = y**2 - 8*y + 8. Let g = -390 + 395. Let p be l(g). Is 1 at least as big as p?
True
Let y(w) = 2*w**2 + 27*w - 595. Let c be y(13). Is 99 equal to c?
False
Let j = -49 + 52. Let v(r) = 2*r**2 + 7*r - 5. Let c be v(j). Do 31 and c have the same value?
False
Suppose 0 = -3*v + 9, 0 = -3*h + 7*v - 6*v - 228. Which is smaller: h or -5?
h
Let p be 1/(((-25)/(-1720))/5). Let y = -304 + p. Is 7 equal to y?
False
Let p = -9 - 6. Let x be ((-121)/22)/((-1)/(-2)). Let m be ((-33)/(-42))/x*4. Which is bigger: m or p?
m
Suppose 3*o - 793 = -4*q, -5*q + 3*o + 1140 - 115 = 0. Suppose q - 130 = 8*c. Are 8 and c non-equal?
True
Let p be (15 + 2)*-18*(-6)/540*5. Is 484/27 equal to p?
False
Let o be (16/(-14))/(6 + (-220)/35). Suppose 0 = 5*i + o*t + t - 95, -2*i = 5*t - 47. Suppose 51 = u + 2*u. Which is smaller: u or i?
i
Let o = -87 + 86. Let x(t) = 246*t**2 - t - 2. Let g be x(o). Are 245 and g equal?
True
Let f = 7.6 - 63.6. Let y = 28.29 + -28.39. Which is bigger: f or y?
y
Let o = -9.838 + 139.838. Which is greater: -4/15 or o?
o
Let n be (2 - 4) + (-43 - -2). Suppose -w - 4*o + 198 = -0*o, 3*o = -4*w + 831. Suppose 7*m - 5*r = 12*m + w, -3*m = 2*r + 128. Is m less than n?
True
Suppose -4*i - 2*o = 100, 479*i = 483*i + 3*o + 106. Let l(y) = -y. Let h be l(-2). Suppose c = -h*c - 54. Which is bigger: i or c?
c
Suppose -y - 3*g = -84, -3*y - 117*g + 121*g = -265. Suppose -j = -h + 80, -j + 418 = 3*h + 2*h. Let m = y - h. Which is bigger: 1 or m?
m
Let v = -347491 + 148378575/427. Let d = 1/74 - 283/4514. Let i = d - v. Whi