equal?
True
Let x = -293 - -327. Let l = -9949/8 - -1242. Let o = -55/24 - l. Which is bigger: x or o?
x
Suppose -1056*n + 1067*n + 7117 = 0. Which is smaller: -650 or n?
-650
Suppose -4*o = o. Let k be -3*7/(-63)*21. Suppose 2*h - k*h = -4*h. Is h != o?
False
Let x(d) = -6*d**3 - 4*d**2 + 7*d - 25. Let z be x(2). Which is bigger: -73 or z?
-73
Let z = 3404 - 1013. Is 2393 <= z?
False
Let r = -48/481 - 2/37. Let g(l) = -19*l - 42. Let w be g(-2). Do r and w have the same value?
False
Suppose -j + 252 = 4*n - 116, 178 = 2*n + 2*j. Which is bigger: n or 94?
94
Let h be (-7)/(-3) + -5 + (-1)/3. Let l(x) = -x**2 - 2*x - 6. Let p be l(h). Let f be (-3)/((9/(-4))/p). Is f > -10?
False
Let a(y) = -y**2 + 4*y + 90. Let z be a(23). Let n = 341 + z. Is -14 equal to n?
False
Suppose d + 3*q + q - 270 = 0, 564 = 2*d + 2*q. Suppose d = -5*w + 16. Is -61 at least w?
False
Suppose 2*v - 75 - 537 = -4*b, 5*b = -3*v + 915. Is 297 at most as big as v?
True
Suppose 5*t - 23 = 2*d, -35*d = 2*t - 40*d - 5. Suppose 3*i = t*r - 12, 8*r - 8 = 6*r - 2*i. Which is smaller: r or -9/7?
-9/7
Let s = -0.28852 + 0.48852. Is -3227 less than s?
True
Let i = 6796 - 6799. Is 5.59 less than i?
False
Let r = 17 - 2. Let s(q) = 246*q + 10. Let b be s(0). Suppose r = i + b. Which is greater: i or 4?
i
Suppose -45*n - 11981 + 2101 = 59*n. Is n > -57?
False
Let b = 498 + -508. Let h = b - -23. Which is bigger: h or 8?
h
Let f = 2284104/93181 + -1054/43. Let m be (-2)/4 + 0 + (-863061)/(-1703262). Let z = m + f. Which is smaller: z or -1?
-1
Let p = 273 + -268. Suppose 445 = 5*n - 0*h + p*h, -2*n + 182 = h. Is 91 at most n?
True
Let k = -308 + 288. Let h be (k*21/(-2576))/((-1)/8). Which is bigger: h or -2?
h
Suppose 0 = 9*l - 14*l + 200. Suppose -3*w - l = -11*w. Suppose -w*n = -z - 41 + 3, -5*n = -2*z - 36. Is n at least 35/4?
False
Let n(d) = d**3 + 96*d**2 + 187*d - 117. Let g be n(-94). Which is bigger: -409/19 or g?
-409/19
Let b = -53 + 57.6. Let j = 7.17 + 3.23. Let u = b + j. Which is smaller: 2 or u?
2
Let z = -293/319 + -5/29. Let x = 14 + -14. Let c be x*(-5 + (4 - 1) - -3). Which is smaller: c or z?
z
Let t(b) = 4*b**2 + 36*b + 33. Let n be t(-18). Suppose n = -y + 374. Which is smaller: y or -308?
-308
Suppose 0 = -f - 6*x + 9*x, 0 = 5*f + x. Which is smaller: -1/4719 or f?
-1/4719
Let d be ((-15)/(-7945))/(176/56). Is d at least as big as -1?
True
Let t = 31484/3 - 10494. Which is greater: t or 679?
679
Let s be (-234)/(-13)*(-16)/(-5). Let r = 2366 + -2307. Which is smaller: r or s?
s
Let q = -78.9913 - 0.0087. Let j = q + 81. Let i = 12 + -2. Is j > i?
False
Let r be (-7*1 + 25058/3597)*-1. Which is smaller: -1 or r?
-1
Suppose 0 = 20*d - 14159 + 54039. Is d smaller than 0.2?
True
Let t(z) = 3*z**3 - 57*z**2 - 51*z + 35. Let p be t(20). Is 215 bigger than p?
False
Let n = -97 - -97.9. Let z = n + -1.7. Which is greater: 0.4 or z?
0.4
Let c = 23 + -21. Suppose -c*b - j = 1011, 2*b + 1361 = -5*j + 362. Is b bigger than -507?
False
Let c(r) = -7*r - 2392. Let x be c(17). Which is greater: -2509 or x?
-2509
Let c = 5833 - 6206. Which is smaller: -376 or c?
-376
Suppose -309 = 2*c - 1293. Let n be (-22)/(-11) + c/(-247). Let v = -255/988 + n. Is 16 not equal to v?
True
Let u(f) = -f**3 + 9*f**2 + 36*f + 28. Let b be u(12). Let p be -18*b/(-24)*10/(-35). Which is smaller: 45 or p?
p
Let f(d) = -72*d - 630. Let i be f(2). Do i and -773 have the same value?
False
Let l = -3505 - -3504.8. Is l at most -1/195?
True
Let w be 976/(-1380)*-3771 - -3. Let s = w - 2670. Which is greater: -1 or s?
s
Let g(w) = 12*w - 92. Let i be g(8). Let q = 171 + -242. Are i and q non-equal?
True
Let q = 15.044 - 15. Let z = q + 0.006. Is z at most 1.3?
True
Suppose -7*a = -10*a + 198. Let f be (-1178)/(-66) + (-12)/a. Suppose q - 5*h = 29, -q - 3*q + 3*h = -82. Is f less than or equal to q?
True
Suppose -42*h - 46*h - 2128 = -104*h. Which is smaller: h or 118?
118
Suppose 3*n - p + 811 = 807, 2*n + 33 = 5*p. Which is bigger: n or 893?
893
Let j(k) = -k**3 - 10*k**2 + 10*k - 13. Let s be j(-11). Let d be ((-5 - s) + -1 - -2) + 5. Suppose d*m = 5*m - 14. Is m != 8?
True
Let t(x) = 7*x + 12*x**2 - 4*x**2 + 7*x - x**3 - 4*x - 8. Let y be t(9). Let d = 665 - 4646/7. Which is greater: y or d?
d
Let p be (-6)/10 - (3 - (-17)/5). Let u be 107/p - (-2 - (-12)/7). Let c be 4/(-54)*u/25. Is -1 greater than or equal to c?
False
Let v(z) = z**2 - 6*z + 4. Let s be v(6). Suppose w + p - 78 + s = 0, 0 = -2*w - p + 146. Suppose -2*o = 18 - w. Which is smaller: -0.1 or o?
-0.1
Let b = -1495 - -1490. Let z = -1 - -3. Suppose 1 = -n + z*n. Is b greater than n?
False
Suppose 5*y + 3*j = 45, -3*y + 5*j + 12 + 15 = 0. Let s = y + 6. Suppose 7*v + 5*q = 4*v + 15, -4*v + 5*q = s. Which is smaller: -1/2 or v?
-1/2
Suppose 3*l - 35 + 29 = 5*r, 5*l - 5*r = 10. Is 107/144 <= l?
True
Let a = -44 + 11. Let b = 38 + a. Suppose 14*i - b*i + 9 = 0. Do i and -3 have the same value?
False
Let a = 25/87 - -620/29. Is a at least 9?
True
Suppose -8680 = 17*i - 22*i. Let r be 2/(-3) - (i/(-6))/(-1). Let a be r/(-25) + (-4)/(-10). Is 12 bigger than a?
False
Let t = 127381/168 - 5358/7. Let o = t - -63/8. Let u be 10/20*0/(-2). Is o < u?
False
Let t = 5269 + -7803. Which is bigger: t or -0.1?
-0.1
Let v(y) = -y. Let p(t) = t**3 - 11*t**2 - 18*t + 4. Let f(d) = p(d) - 6*v(d). Let c be f(12). Which is smaller: 17/4 or c?
c
Let p be 4/3*2739/166. Is p bigger than 229/10?
False
Suppose 4*s + 16 = 2*a + 86, -29 = -2*s - a. Let c = 0 - s. Are c and -14 non-equal?
True
Suppose 4*m - 1668 = -k, -8 - 4 = 3*k. Suppose 5*i + 4*b - 2063 = 0, 117 - 101 = -2*b. Is i less than m?
False
Let g(j) = -3*j**3 + 61*j**2 + 65*j + 23. Let q be g(21). Which is greater: 503 or q?
q
Let w = -22 + 24.1. Let f = 776.7 + -744. Let j = f + -32.5. Is j at most as big as w?
True
Let f(s) = 6*s**3 + 6*s**2 + 15*s + 15. Let m be f(-2). Which is bigger: 2 or m?
2
Let t = 12623.6 - 12626. Which is greater: 7/33 or t?
7/33
Let t be (1/(-13) - (-27)/(21060/(-200)))/8249. Which is smaller: 0 or t?
t
Suppose 4*q = -116*g + 114*g + 204, -5*g - 255 = -5*q. Do 51 and q have the same value?
True
Let m = -1.3 - -10.7. Let g = m - 4.4. Let q = 2 - g. Is q != -1/6?
True
Let z be (-56)/(-7) - (-1 - 0). Let j be z/21 + (-243)/(-21). Let v be j/9 - 11/8. Do 1 and v have different values?
True
Let f = 206.019 - 0.019. Let t = f + -206.3. Which is greater: -5 or t?
t
Let r = 126 + 54. Let w = 184.28 - r. Let l = -0.28 + w. Which is bigger: l or -3?
l
Let f be -8 + ((-40)/(-2740))/(44/24108). Let r = 37 - 36. Which is greater: f or r?
r
Let m = 1331.3 + -1095. Let y = 236 - m. Which is smaller: -5 or y?
-5
Suppose -134*g = -88*g - 4094. Are 1 and g nonequal?
True
Let u = 26.97 + 0.23. Let x = u - 16.2. Which is smaller: 0.07 or x?
0.07
Suppose 0 = -2*g + 4*g + 3*h - 122, 5*h - 185 = -3*g. Let p = g - 52. Let m be ((-28)/2 + (p - 3))*-2. Which is bigger: m or 27?
m
Suppose -2*q = -v - 10, 55*q = 3*v + 50*q + 25. Which is smaller: -34/299 or v?
-34/299
Let q(h) = 1067*h + 21 - h**2 + 13 - 1042*h. Let k be q(21). Which is smaller: k or 119?
k
Let h = -49.9 + 52. Let x = -1.58 + h. Let l = x + -0.12. Which is bigger: 5 or l?
5
Let v be ((-1)/3)/(3/(-81)) + -6. Suppose -4*j = q, -v*j - 16*q = -13*q. Let l = -6574/15 - -438. Is j bigger than l?
True
Suppose -5*m + 12 = 97. Let s = 368 + -365. Let r be -19 + (-2 - -5 - s)/(-2). Is m < r?
False
Let f = -63 - -62.973. Let r = f - -0.567. Let x = r + 0.46. Does 1/2 = x?
False
Suppose -2*s = -4*u + 9242, -9251 = 65*s - 63*s + 5*u. Which is smaller: -2/3 or s?
s
Let x = 1711 + -1711. Let g be -262*(-21)/1830 - 3. Which is smaller: x or g?
x
Let v = -192 + 117. Let a = -1940 + 1865. Is v greater than or equal to a?
True
Suppose y + 128*g - 126*g = -2963, -5*g + 14845 = -5*y. Which is greater: -2968 or y?
y
Let w = -113432 + 113434. Suppose -74 - 440 = 2*z. Let p = z + 3359/13. Does p = w?
False
Let z be 30/12*1464/(-30). Suppose -2*m = 4*d + d + 242, -m = -4*d + 121. Is m less than z?
False
Let t = 44 + -39. Suppose -t*c = 3*s + s, 0 = 5*c - 3*s - 35. Suppose 2*v - 2*d = -0*d - c, -3*d - 18 = 3*v. Is v less than -3?
True
Let x be 8/52 - 6060/13. Let i = 421 + x. Which is greater: i or -41?
-41
Let o be -341*58/319 - (2 - (9 - 0)). Which is bigger