erent values?
True
Let k = 23.78 - 30.8. Let m = k - -0.02. Do m and 13 have the same value?
False
Let h be (-5)/3 - -3 - 1. Let s = 110 - 117.7. Let v = s + 7.68. Which is smaller: h or v?
v
Let i(y) = -y**3 - 5*y**2 + 7*y + 6. Let m be i(-5). Let b be ((-180)/21)/((-54)/(-189)). Which is bigger: m or b?
m
Let l = -4.2 - 0.6. Let s = -2.23 - -0.03. Let n = s + l. Which is smaller: 2/3 or n?
n
Suppose -9118 - 3968 = -5*l - 2*k, 4*l + 5*k - 10462 = 0. Is 2616 <= l?
True
Suppose 0 = 4*n + k, -4*n + 5*k - k = 20. Is n greater than 2/211?
False
Let t(m) = 3*m**2 + 22*m - 804. Let v be t(58). Is 10565 greater than v?
True
Let o(p) = 12*p + 42. Let v be o(-10). Let t = 81 + v. Which is bigger: 20/13 or t?
t
Let m be (3 + 2)*(-21)/(-35). Suppose -m*d + 12 = 0, -2*w - d + 3*d + 72 = 0. Suppose -p - w = -3*p + 4*k, 0 = 4*p + 5*k - 67. Which is bigger: p or 19?
19
Let c = -6804 - -6805. Let y be ((-6)/(-8))/((-171)/6). Which is greater: y or c?
c
Let y = -303 - -385. Let h be (-400)/202 + y + -80. Which is bigger: -1 or h?
h
Let q = -26.947 + -0.053. Let l be 3/((-9)/(-15)) - 3. Suppose 0 = 2*y - 2*p + 6, -l*y - 2*y - 5*p = -6. Are y and q unequal?
True
Suppose -13*k - 79 - 103 = 0. Let v be (-190)/567 + k/(-49). Which is smaller: v or 0?
v
Let y be (-9)/12 - 147/(-4). Suppose -7*t + y = -9*t. Let a(k) = -k - 26. Let z be a(-9). Is t != z?
True
Let x be 108510/(-30624) + 3 - 144/(-264). Which is smaller: x or 1?
x
Suppose 0 = 3*g + 4*s + 9, 5*g = s - 2445 + 2384. Which is smaller: 32 or g?
g
Suppose -x - 17 = -3*p - 0*x, 0 = -3*x - 15. Suppose p*b - 4 = 3*b. Let u = -738 - -738. Is u > b?
False
Let h(g) = 6*g**3 - 65*g**2 + 46*g + 1. Let c be h(10). Which is greater: c or -55?
c
Let o = 0.01333 - -107.98667. Which is greater: o or 2/11?
o
Let n = -1.055 + 0.055. Let h = 6/989 - -1264/117691. Are n and h equal?
False
Suppose -3*h = 4*f - 29, -5*h = 5*f - 0*f - 35. Let r be 6/40*f/9. Let p = -15.548 - -22.548. Which is smaller: p or r?
r
Let b = 279 - 267. Let m be (-2)/4*-1*6. Suppose 4*r = b, -4*r - 1 - m = -4*o. Which is greater: 2 or o?
o
Let f(g) = -6*g**2 - 18*g. Let r be f(-3). Let x = 50/49 - 32985/392. Let s = -83 - x. Which is greater: s or r?
s
Suppose 0 = 2*q + 3*t + 2, -3*q - 2*q = t - 8. Let i be -1 + (5 + -3 + -57)*2. Let p = i - -103. Is p greater than q?
False
Let z be -3183 + 2/(-2) - (-1220)/(-122). Are -3193 and z non-equal?
True
Let f = -1165998/11 - -105996. Suppose -5*i = -j + 18, 3*i = 2*i + 3*j + 2. Is f equal to i?
False
Suppose y = -y + 4, v - 3*y + 5 = 0. Let a be 5/(-10)*(4 + v). Let z be (-12)/102 + 5 + (-604)/68. Are z and a unequal?
True
Let s(f) = -f**3 + 12*f**2 - 13*f + 22. Suppose 3*t - t + 4*c - 18 = 0, -4*t - 2*c = -42. Let x be s(t). Is -7/76 less than or equal to x?
True
Suppose 5*u = 5*j - 1275, 0 = -j - 0*j - 2*u + 246. Let m = 253 - j. Let s = 82/13 - 7721/1222. Does s = m?
False
Let h be (4 - 143/33)/((-11)/(-3927)). Which is smaller: -1302/11 or h?
h
Let r = 8426 + -8471. Is r equal to -48?
False
Let m(l) be the third derivative of -l**4/12 + 2*l**3 - 20*l**2. Let f be m(-9). Suppose f*o + 18 = 32*o. Which is bigger: -3 or o?
o
Let h = 0.46 + -27.46. Let s be (-611)/47 + (8 - -2). Is s bigger than h?
True
Let h(k) = -k**2 - 11*k + 6. Let t be h(-6). Let w = -0.1708 + 0.2708. Is t at least w?
True
Let c = -3.85 + 4. Let b = -161.756 + 162. Let x = b + -0.044. Is c != x?
True
Let h = -811.1993 + 0.1993. Which is smaller: h or 1?
h
Let h = -77099/570 + 18971/30. Suppose 2484 = 5*p - s, 3*s + 2 = 5*s. Let c = p - h. Which is smaller: 0 or c?
c
Let t = 281 + -164. Let s = t - 119. Which is greater: s or 8?
8
Suppose 63 = -20*r - 97. Suppose -19 = -5*t - 59. Is t at most r?
True
Let g(i) = i**2 - 3*i + 1. Suppose 0 = 9*x - 12*x + 12. Suppose 0 = -7*o + 18 - x. Let z be g(o). Which is greater: -1/8 or z?
-1/8
Let f = -1229345/1818 + 6086/9. Are f and -1 nonequal?
True
Suppose -2*m = -6*d + 3*d - 12, 12 = -5*d + 2*m. Which is bigger: -1/1581 or d?
d
Let u = -2484.7371 + 0.7371. Which is smaller: u or -1?
u
Let r(g) = -2*g**2 - 19*g + 13. Let n be r(-11). Let s be (-2)/n*(-675)/(-90). Let u = 3 + -2. Which is smaller: s or u?
s
Suppose -4*t + 828 = 16*h - 20*h, 3*h + 824 = 4*t. Is 191 < t?
True
Let w be 2/((-24)/(-36) + 580/(-810)). Let q = -116 - -75. Which is smaller: q or w?
q
Let x be (-44730)/144 + (-3)/(-8). Is x bigger than -311?
True
Let d = -16 + 20. Suppose -5*n = -2*g - n + 232, 2*g = -d*n + 216. Let i be 7/g*50*1. Is 2 <= i?
True
Let o be 12/(1152/(-1424)) + -2 + (-11)/(-3). Which is greater: -12 or o?
-12
Let k(p) = -14*p**3 - 4*p**2 - 8*p - 7. Let a be k(-2). Suppose y = -5*f - a, 3*y - y = -4*f - 90. Let o be ((-176)/f)/(-2)*-5. Which is smaller: o or 21?
21
Let s = -821 - -1367. Let n = s - 347. Which is greater: n or 200?
200
Let f = 28 - 30. Let g be -14*f*(-4)/152. Let r = g + 60/133. Is 22 <= r?
False
Suppose 2*n + 3*q = 7*q + 58, -5*n + 215 = 4*q. Let v = -30 + n. Is v equal to 11?
False
Suppose -78 = -4*a + 5*z + 73, -2*a = -5*z - 83. Let i be (-10890)/85 + 4/a. Does -125 = i?
False
Let p be (-1 + 1)/((-3)/3). Let v = -1014881/1133 - -4843/103. Let o = v - -848. Which is smaller: p or o?
o
Let n be (-2535)/52*(1 + 35/21). Is n >= 5?
False
Suppose -l + 5*c + 468 = 0, l - 233 = 4*c + 232. Let y = 6793/15 - l. Is y greater than or equal to 1?
False
Let p = -55.26 - -61.4. Let t = -5.92 + p. Which is bigger: t or 0.2?
t
Let i be (1395/(-40))/31*(-4)/18. Is i at least as big as -0.692?
True
Let k be ((-2)/3)/((-2)/51). Suppose 0 = j - 3*s - 32, 63*s - 60*s + 3 = 0. Let d = k - j. Which is greater: -13 or d?
d
Let y = 1 - 0. Let x = -550 - 445. Let a = -995.038 - x. Is y less than a?
False
Let t(x) = -x**3 - 3*x**2 - 5*x - 6. Let d be t(-2). Suppose -2*p - b = -p - 20, -3*b + 15 = d. Suppose -4*a - p + 39 = 0. Which is greater: a or 1?
a
Suppose 0 = 3*b + 2*r + 142, -4*r - 234 = -0*b + 5*b. Let y = b + 49. Let x = -0.17 - -1.47. Which is smaller: x or y?
y
Let y(q) be the third derivative of -q**6/120 - 4*q**5/15 + q**4/2 + 2*q**3 - 138*q**2 - 1. Let l be y(-15). Is l < -392?
True
Suppose 30 = -4*t + 2. Suppose -3*w - 8 = -y + 2*w, 4*y - 2*w - 14 = 0. Suppose -y*v = 3, -z = -6*z - 2*v - 32. Which is smaller: t or z?
t
Suppose 3*c - x = 201, 2*c - 94 = 5*x + 40. Let v be 19/114 + c/(-6). Which is greater: v or -6?
-6
Let p = -1535/48768 - -11/381. Is -4 at least p?
False
Let f(b) = 3*b + 15. Let x be f(-6). Let v = -42005/12 + 3498. Which is smaller: v or x?
x
Suppose 4*m = -m, 8*f = 12*f - 4*m. Which is bigger: f or -1323?
f
Let p = 1.4 + -1.5. Let r = -0.1 + p. Let c = -2/575 + 1751/7475. Is c equal to r?
False
Suppose 71*t = 67*t - 148. Let y = t + 38. Let x be y*-2 - (-1472)/759. Which is smaller: 0 or x?
x
Let i(s) = -14*s + 393. Let q(d) = 6*d - 197. Let h(v) = 6*i(v) + 11*q(v). Let j be h(16). Is -94 at most as big as j?
False
Let j = 5886 - 5786. Which is greater: j or 105?
105
Let n = -0.00296 - 28.99704. Is n >= 19?
False
Let u be (12/(-14))/(62/(-217)). Suppose -5*n + 46 = 2*j - 0*n, 5*j + u*n - 77 = 0. Let i(g) = -g**3 + 4*g - 1. Let o be i(-3). Which is smaller: j or o?
j
Let j(i) = 20*i**2. Suppose 4*g - 2*g + 2 = 0. Let o be j(g). Let u(h) = -h + 37. Let b be u(15). Is o smaller than b?
True
Let c = -2 + 1.7. Let n = -50 - -306. Let x = n - 253. Is c equal to x?
False
Suppose -4*c + 7*a + 4 = 3*a, 0 = -c - a - 1. Suppose 28*s - 38*s + 20 = c. Let i = -60 - -41. Is s less than or equal to i?
False
Let j be (1276/33 + 0)/(4/(-6)). Let n = 61 - 61.3. Which is smaller: n or j?
j
Let c = -6128 - -6128.8. Which is smaller: -0.022 or c?
-0.022
Let r = -2/52901 + -105780/581911. Which is greater: r or -0.46?
r
Let t(y) = 20*y**2 + y + 13. Let r be t(9). Suppose 3*l + r - 520 = 0. Which is bigger: l or -372?
-372
Let d be (-64)/(-10)*((-7)/9)/7*-6. Which is bigger: d or 4?
d
Suppose -20763 = 5*v - b, 5*v + 9540 = -2*b - 11214. Which is smaller: v or -4153?
-4153
Suppose 907 = 32*w - 1793 - 1140. Does 55 = w?
False
Let l = 5.191 + -11.191. Is l less than 0.055?
True
Let o(z) = z**2 + 9*z - 190. Let v be o(-19). Are -59/94 and v nonequal?
True
Suppose 36*v + 675 = 27. Let k be 44396/(-198) - (20/v)/5. Which is smaller: k or -225?
-225
Let q = -3330 + 1107. Does q = -2223?
True
Suppose 2*j + 3306 