 y have the same value?
False
Let p = 1045.3 - 981.3. Which is greater: 3/2 or p?
p
Suppose -3*n = 10*p + 23, -3*n = -23*p + 18*p - 7. Which is bigger: p or -39?
p
Let n be (-19 - -21 - 14) + 7. Is n <= -39/8?
True
Let a = -3604 + 3899. Is 295 smaller than a?
False
Let t be 34695/382008 - ((-1)/(-11) - 0). Let k = -3924269/57880 - t. Is -68 bigger than k?
False
Let l(w) = -7*w**3 - 11*w**2 - 5*w + 2. Let c be l(-3). Let g = c + 12. Which is smaller: g or 117?
117
Suppose 2*h + 118 - 126 = 0, -2*y + 5*h - 18 = 0. Let m = 54849/7116560 + 2/8087. Let s = 3/55 + m. Which is smaller: s or y?
s
Let x = -115856 - -809048/7. Which is greater: -277 or x?
-277
Let b(f) = 91*f**2 + 9*f - 10. Let t be b(1). Let w be (t - 91) + 0 + 394/398. Is 0 <= w?
False
Let k = 6.4 - -44.6. Let t = k - 51. Is t greater than -31?
True
Let k = 0.1658 - 0.8448. Let m = k - -3.939. Is m <= -2/3?
False
Let l = -42 - -36. Let c be (4/6)/(l/(-594)). Let b = -66 + c. Is b at most as big as 0?
True
Let p be (-3 - (-4 + 0/(-5)))*2. Let w be 9/618*p/(-15). Which is bigger: w or 0?
0
Suppose h = 2, y - 4*h + 9 = -1. Let d be (4/48)/(y/249). Let v = d + 10. Is v not equal to -1?
True
Let f = -463.93 - -8.93. Let q = f + 455. Let v = 0.25 + -0.3. Which is smaller: v or q?
v
Let o be (-18*1)/(2/(-3)). Let p(i) = 6*i - 10. Let b be p(-3). Let a = o + b. Is a != -9/5?
True
Suppose 0 = -25*u - 8*u + 58*u + 75*u. Are 28/515 and u equal?
False
Let c = -7588 + 11230. Is -1 at most c?
True
Suppose 90*b + 4*b = 0. Which is smaller: b or -1/5207?
-1/5207
Let n = 13676 - 13466. Which is bigger: n or -3/4?
n
Suppose 0 = 38704*u - 38686*u + 90. Is -540 at least u?
False
Let w = 9788 + -6720. Which is greater: w or 12273/4?
12273/4
Let d(c) = 343*c + 1715. Let x be d(-5). Is x at most as big as -4/2609?
False
Let s = 105 - 75. Let d(u) = u**3 - 31*u**2 + 33*u - 86. Let x be d(s). Which is smaller: 2/15 or x?
2/15
Let q = 34 + -103. Let j = q - -73. Suppose -5*h + j*d - 75 = -23, 2*h + 28 = -2*d. Which is greater: h or -14?
h
Let u(h) = -h + 127. Let a be u(0). Let t = -987225 - -987226. Is t at most as big as a?
True
Let m = -119.26 + 118.83. Do m and -97 have the same value?
False
Suppose -b - 3*r + 355 = 0, 3*r + 393 = -3*b + 1440. Let i = 199 - b. Which is smaller: -146 or i?
i
Suppose -4*l - 28 = -3*l. Let f = -26 - l. Suppose f = -5*a + 3*a. Is a less than 1/37?
True
Let l(b) = 2*b**2 + 99*b - 411. Let r be l(-53). Which is greater: r or -140?
r
Let w be (12 - 11)/(2*3/6252). Suppose -2178 = -23*t + w. Which is greater: t or 0.1?
t
Let z = -0.2622 - -1.2622. Which is bigger: 0.145 or z?
z
Let h = -1.9 - -2. Let s be (-651)/(-70) + 3/(-10). Let k be s/(-2) + 33 + -29. Are h and k unequal?
True
Suppose 0 = 65*y - 29*y + 36. Let r = 5232 - 37390/7. Let n = -109 - r. Which is smaller: y or n?
y
Let k(a) = -a**3 - 11*a**2 + 13*a + 12. Let l be (-1467)/135 - 4/30. Let b be (-6 - -4) + 1 + l. Let g be k(b). Are g and 29 nonequal?
True
Suppose -115*y - 180391 + 128075 = 188034. Is y less than or equal to -22992/11?
False
Let s = 42004 - 42004. Is 7/32 bigger than s?
True
Let s = 3797 + -3797.1129. Which is bigger: s or -1?
s
Let d = -6855 + 6793. Is d less than or equal to -54?
True
Let i(y) be the first derivative of -493*y**3/3 + 5*y**2/2 + 5*y + 152. Let r be i(-1). Which is smaller: -492 or r?
r
Let y = -3120.3 - -2980. Let r = -133 - y. Let o = r - 5.3. Is o not equal to -27?
True
Let r = -142 - 14. Let t = -236.2 - -126.2. Let q = r - t. Is q less than -1?
True
Suppose -42 = 14*c - 56. Let k be 23/(-7) - -3 - (-1440)/5089. Which is smaller: k or c?
k
Let x = 1429 + -701. Suppose -9*o = 53 - x. Which is greater: o or 74?
o
Let r = 164 - 147. Suppose -r*g = -19*g + 4. Suppose -4*y + 27 = 3*p, -4*p + 2*p + 13 = y. Is g smaller than y?
True
Suppose 0 = -l - 2*j - 21, 5*j + 42 = -0*l - 2*l. Let m = l + 8. Let k be ((-9)/2 + 5)*-28. Is m != k?
True
Let g = -57/10 - -26/5. Let r = 29.5 + -184.5. Let k = -183 - r. Do g and k have the same value?
False
Let x(b) be the second derivative of -4*b**3/3 + 27*b**2 + 103*b. Let l be x(0). Is l less than 52?
False
Suppose -19042 = -532*j + 179926. Is 403 at most as big as j?
False
Let m(d) = -d**2 - 2*d**3 + 215*d - 427*d + 213*d - 1. Let y be m(-2). Which is bigger: 0.1 or y?
y
Let k = -458 - -442. Suppose -2*t = -b + 1, -17 = 2*b + b - t. Which is smaller: k or b?
k
Let u = -0.07 - -0.003. Let x = -3270 + 3269.167. Let t = x + u. Is -3 not equal to t?
True
Let u = -252.416 - 3.584. Is 0.02 smaller than u?
False
Let i = 5553/160 - 174/5. Let j = -133/2784 - i. Which is bigger: j or 1?
1
Let s(f) = 8*f - 6. Let j be s(4). Let p = 17 - j. Suppose -o = 3*g - 8*g - 32, -2*g - 17 = o. Which is smaller: p or g?
p
Let x(z) = 8*z**2 - 16*z + 1. Let q be x(2). Is 12958 <= q?
False
Let t be ((-1836372)/(-8955))/((1/10)/(-1)). Is t < -2050?
True
Suppose 2548 - 943 + 755 = 40*r. Which is greater: 518/9 or r?
r
Let v = -144 + 145.23. Let g = -1.28 + v. Is g greater than -5?
True
Let p = -8312 - -7819. Is p > -494?
True
Let a = 140 - 190. Let w = -50.075 - a. Which is smaller: w or -2?
-2
Let x(g) = 40*g**2 + 15*g - 53. Let r be x(6). Is 1479 less than r?
False
Let l be 4/(0 - -4)*(-90)/5. Let s be ((-60)/l - 4)/((-2)/(-3)). Let m = -412/1055 + 2/5. Which is smaller: m or s?
s
Suppose 71 = -4*n + 3*u, 93*n - 97 = 98*n - u. Let d be n*(-2 - (-6)/4). Are 10 and d non-equal?
False
Let k be (-2)/1 + -1 + 0. Let x(z) = -22*z + 391. Let t be x(18). Are t and k nonequal?
True
Let z(y) = -2*y**3 + 14*y**2 + 21*y - 46. Let s be z(8). Suppose 0 = -2*k - 15 + 75. Let m be s/4 + 435/k. Which is smaller: m or 23/2?
23/2
Let x be (-31918)/(-2456) - 6 - 7. Let a = -119695/8596 + x. Is -15 < a?
True
Let u(m) = m**2 + 5*m + 8. Let l be u(-5). Let x be l/300*3 - 0. Suppose 4*z - 2*t - 6 = 0, -z = -0*z + 2*t + 11. Is z smaller than x?
True
Let l = 2464631/275380 + 1/13769. Is l > 9?
False
Suppose -3*k + 3*c - 2 = 2*k, -4*c = 4*k - 24. Let r be (k + 1)/(24/(-368)). Let m = r + 42. Which is smaller: -8 or m?
-8
Let w(j) = -2*j**3 - 6*j**2 - 8*j - 27. Let i(s) = -s**3 - 4*s**2 - 4*s - 14. Let v(r) = 7*i(r) - 3*w(r). Let u be v(-11). Is u > 147?
True
Suppose 0*d - 4*d = -20. Suppose -k + 1449 = -6*l + 2*l, 0 = -5*k + d*l + 7305. Let i = 57139/39 - k. Is 1 less than or equal to i?
False
Let u(h) = -28*h + 135. Let a be u(4). Suppose a = -4*l + 727. Which is bigger: l or -1?
l
Let p be 815/15*75/(-9). Let a = p + 451. Do a and -1 have different values?
True
Suppose -4*t + 37 = 45. Let x be t - ((-95)/(-16) + -8). Which is bigger: x or -0.08?
x
Let r(m) = -m**3 + 5*m**2 - 3*m - 4. Let j be r(3). Suppose h - 21 = -0*h + 2*q, j*q = h - 15. Suppose -h*x + 45 = -30*x. Which is greater: x or -7?
-7
Let c(t) = 2*t**2 - 54*t - 102. Let a be c(31). Let g = a + -140. Is g smaller than 2.2?
False
Let i be 110/(-33)*6/(-5). Suppose i*b = -0*t + 4*t + 164, -128 = -4*b - 5*t. Let z be 0 - (-4 + b/10). Which is smaller: z or 1?
z
Let q = -6/259 + 22/37. Which is bigger: q or -23?
q
Let v = -284 + 161. Let b be v/(-164) - (-398)/(-488). Which is bigger: b or 1?
1
Suppose 4*z - 5 + 34 = 3*x, 0 = -5*z - 3*x - 70. Let y be (-328)/(-84) + (z - -7). Which is smaller: y or -1?
-1
Let i = -2852 - -2870. Is 2.4 not equal to i?
True
Let t = -748 - -911. Suppose -t*n = -152*n. Which is greater: n or 2/3139?
2/3139
Let h be (-192)/(-116)*1035/(-90). Is -20 less than or equal to h?
True
Let n be ((-14 - -2)/(-3))/2. Suppose n*y = 3*d - 78, 7*y + 42 = 6*y + 3*d. Is y > -33?
False
Suppose 84 = 36*r - 34*r. Suppose 9*q - 3*q + r = 0. Is -6 smaller than q?
False
Suppose -4*p = 3*w - 1140, 0*w = p - 4*w - 304. Let m be 2/(-18) + 3872/p. Which is greater: 13 or m?
m
Suppose -3*d = -2*d. Suppose d = 5*z + 13 + 112. Let c = -502 - -476. Is c at least as big as z?
False
Let t be ((-18)/(-12)*-12434)/(-14). Let r = t + -1333. Which is bigger: -1 or r?
r
Let u(d) be the third derivative of d**4/8 + 50*d**3/3 + 7*d**2. Suppose 0 = 41*a - 46*a. Let h be u(a). Is h less than or equal to 99?
False
Let b(l) = 4*l**2 - 28*l + 26. Let c be b(6). Suppose -c*g - 1 + 13 = -w, -w - g = 15. Let s = -194 + 363/2. Is s bigger than w?
True
Let j = 1519 - 1523. Do -2/697 and j have different values?
True
Let g = 2/3 - 19/51. Let c = -188/119 + g.