256*t - 512. Let z be s(-2). Which is greater: z or j?
j
Suppose 0 = -4*z + 4*h - 0*h - 3424, -6*z + h - 5126 = 0. Which is greater: -852 or z?
-852
Let m be (3/(462/8))/(7 - 9). Let g(v) = -3*v - 31. Let c(j) = 4*j + 46. Let o(q) = -5*c(q) - 7*g(q). Let l be o(12). Which is greater: m or l?
m
Let v = -3963 - -3936. Which is bigger: v or -111?
v
Let n(b) = -27*b**2 - 410*b + 1223. Let l be n(3). Which is smaller: -253 or l?
-253
Let q = -5.8 + -1.4. Let j = 21.84 - q. Let h = 29 - j. Which is smaller: h or 1/3?
h
Let n be 72/28*(-70)/15. Let s be (3 - (-169 + -1))/(n/(-12)). Which is smaller: 174 or s?
s
Suppose 0 = -4*b - 4*b + 136. Let t = 20 - b. Let f be 6/(1 + 1) + t. Is 6 equal to f?
True
Let b(i) = i**2 - i. Let q(d) = -6*d - 7. Let h(a) = -4*b(a) + q(a). Let n be 4/(-6) - (-319)/87. Let y be h(n). Is -49 != y?
False
Let y be ((-36)/(-10))/((783/(-90))/(-29)). Suppose -8 = -y*a + 4. Do a and -2/1139 have the same value?
False
Let r = 36 - 38. Let i(b) = -2*b**2 + 37*b - 10. Let q be i(20). Let s = -80 - q. Which is smaller: r or s?
s
Suppose -2*d + 2*g = -16, 4*d + 3*g + 4 = 1. Suppose 4*y - d*c = -95, 64 - 19 = -3*y - 3*c. Which is greater: y or -11?
-11
Suppose 0 = -y - 131 - 41. Let f(a) = -13*a + 321. Let z be f(38). Is y less than or equal to z?
False
Let r be (109638/16680924)/(94/(-11034291)). Let i = r - 1/2233628. Let w = 772 + i. Which is smaller: 1 or w?
w
Let u be (-33)/22*-1*-378. Are u and -565 nonequal?
True
Suppose 62*q + 130 = -68*q. Let l be ((-3405454)/(-15))/(1460/(-30)). Let j = l - -4665. Which is smaller: q or j?
q
Let l be ((-1)/734)/((-7)/(-28)). Suppose -5*o = -12*a + 8*a + 16, -2*a = -4*o - 8. Is l not equal to o?
True
Let v(l) be the third derivative of l**7/2520 - 2*l**6/45 + 17*l**5/30 - 10*l**2. Let x(n) be the third derivative of v(n). Let i be x(-10). Is i equal to -53?
False
Let n = -34 - -42. Suppose -5*p = n + 2, 2*r - 3*p - 116 = 0. Suppose -38*d + r = -33*d. Is 13 less than d?
False
Let t be (-185)/(-2220)*16/(-6). Let h = -12.77 - 0.23. Is h at least t?
False
Let w be (-16545)/75*2/(8/6). Let i = -342 - w. Let c = i - -3431/310. Is -1 at most c?
True
Let q = 1/1380 - -13757/59340. Which is smaller: 0 or q?
0
Suppose 268*m - 3132 = 7*m. Which is smaller: m or 179/16?
179/16
Let l be (-711)/(-30) + 18/60. Suppose 2*y = -2*z - 118, 5*y - 191 = 3*z + y. Let w = -35 - z. Is l < w?
True
Suppose y - 3 = -4, -5*w + 2*y + 27 = 0. Let c(i) = 5*i + 4*i**2 - 138 - 3*i + 0*i**2 - 84 - 3*i**2. Let v be c(14). Which is greater: v or w?
w
Suppose -3*x - 687 = -f, 3*x - 39*f + 672 = -43*f. Which is greater: -235 or x?
x
Let n = 29765 + -28782. Which is smaller: n or 2?
2
Let x be 9 + 216/40 + 6/10. Suppose -4*k - 5*s = -k + 51, 0 = -2*k + 3*s - x. Is k less than -12?
False
Let s(l) = 55*l - 1349. Let t be s(19). Which is smaller: -303 or t?
t
Let d(r) = 40*r + 19. Let u be d(-5). Let b = -69/2 + u. Let q = b + 222. Is 7 greater than q?
True
Suppose 7*v + 129 = 2*v - 3*a, -a = 4*v + 99. Suppose 2*o + o = 2*x + 5, -13 = -o - 5*x. Suppose o*d + 49 = -20. Which is smaller: d or v?
v
Suppose 0 = -4*y + 5*y + 123. Let i = -125 - y. Which is greater: -30/37 or i?
-30/37
Suppose 3*b - b = 4*l - 18, -4*b - 16 = -3*l. Let s = b + 13. Suppose 4*r - 4 = 4*i + 12, 0 = -2*i - 3*r + s. Which is bigger: i or -0.1?
i
Suppose 58 = 2*y - 10. Suppose 5 = 9*v - 22. Suppose -c + 32 = -0*c - 2*x, -x = -v*c + 101. Is c <= y?
True
Let w(r) = 4*r**2 + 168*r + 1. Let a be w(-42). Is -19114 equal to a?
False
Let h = -238 + 10947/46. Let q = -24234 - -24235. Is h bigger than q?
False
Let a = -2751.896 - -2728. Let o = a + 0.896. Are -4 and o equal?
False
Suppose -44*u + 10184 = -21892. Suppose -u*s + 724*s + 45 = 0. Is s at least -7?
True
Let v = 86 + 417. Which is bigger: 504 or v?
504
Suppose -144 = 2*d + 11*j - 15*j, -3*d - 2*j = 232. Let m be ((-86)/d + -1)/(6/12). Is m at least as big as -1?
True
Let q = 88/123 + -2/41. Which is smaller: q or -0.01192?
-0.01192
Let w be -925 + 4 + ((-24)/42 - 51/21). Which is bigger: -923 or w?
-923
Let n be (11 + -9)/(27/(-162)). Let b(x) = x**3 + 8*x**2 - 8*x - 4. Let g be b(-9). Which is bigger: n or g?
n
Let t = -427 + 954. Suppose 525*a - 2 = t*a. Are 37 and a unequal?
True
Let q(o) = 2441*o - 87. Let b be q(1). Is b bigger than 2355?
False
Let b = -80 - -115. Let r = -37 + b. Is r <= -7?
False
Let c = -19.3 + 17. Let f = 42 + -39.7. Let b = c + f. Is b > 4/15?
False
Suppose 17*l + 434 = -234 - 165. Which is greater: -0.24 or l?
-0.24
Let n = 1.543 + -1.46. Let c = n - -8.717. Let v = c - 8.94. Is v less than or equal to 3?
True
Let s = 188602.8937 - 188611. Let v = 0.0363 + s. Let p = v - -0.07. Is -0.5 greater than p?
True
Let z be 8/2*3*(-5)/(-12). Suppose 0 = -4*g - q + 144, -111 - 69 = -z*g - 4*q. Which is smaller: 4 or g?
4
Let y = 620/2219 - -2/317. Let t = -15.2 + -87.8. Let x = 10 + t. Which is greater: y or x?
y
Let w = -692 - -653. Let v = -99.1 - -119. Let g = -20 + v. Is g > w?
True
Let i = 2525.2 - 2525.3. Which is greater: 20552 or i?
20552
Let d = -55.73 + 55.5. Let a = 5.33 + -5. Let m = d + a. Is m not equal to 0.1?
False
Let w = -4915574/1575 + 3121. Are w and 0 non-equal?
True
Let f be -4 + 4 - ((-4)/(-47))/((-690)/207). Which is smaller: f or 1?
f
Let f = -87 - -89. Suppose y + f*q - 5 = -q, 0 = 3*q - 3. Suppose r = -y*o - 5 - 20, 3*o + r = -36. Is o at most -10?
True
Suppose -r + 3*f + 4 = 1, 5*r - 2*f = 28. Suppose r*a - 19 + 163 = 0. Is -24 at least a?
True
Let g = 4.665 - 3.82. Let c = g - -1.065. Is c > -2/11?
True
Suppose 0 = -27*v + 1740 - 10020 - 792. Which is greater: v or 5/7?
5/7
Let n(c) = -37*c - 599. Let x be n(-19). Which is bigger: 20 or x?
x
Let j be (-2660)/(-546) + -4 - 12/(-26). Which is smaller: j or 2.45?
j
Let g(z) = -z**3 + 9*z**2 - 9*z + 9. Let l be g(8). Suppose -14 - 6 = 5*c. Let m be ((-2)/(-24))/(-1*c/(-8)). Is l bigger than m?
True
Suppose -198*s + 1646644 = -11*s - 60479. Is s greater than or equal to 9129?
True
Let m = -3013 + 3129. Is -12 at least as big as m?
False
Let k(j) = -j**3 - 2*j**2 - 41*j + 405. Let w be k(8). Which is smaller: w or -23?
w
Suppose -14*z - 11 = -11. Let h = z + 0. Let x be (-4)/14 + h + 1338/(-21). Is x >= -65?
True
Let j = -3856.1 + 3862. Which is smaller: 0.01 or j?
0.01
Suppose 3*k - 30 = k. Suppose 3*r - r + z - 3 = 0, -5*r = -5*z + k. Let x = -263/15 - -107/6. Which is smaller: x or r?
r
Suppose -3*t + 7*t + 72 = -4*h, 4*h + t = -45. Do h and -631 have the same value?
False
Let m be 116/7 + (-20)/35. Suppose -m*h = 6*h - 5654. Which is greater: h or 256?
h
Let y = -2.01284 - -0.01284. Which is smaller: y or 1/1100?
y
Suppose -11 - 35 = 2*m. Let u = m + 74. Let g be 50/250 - 249/(-5). Which is greater: g or u?
u
Let p = -10673 + 10673.078. Which is smaller: p or -107?
-107
Suppose p = 4*u - 32, -3*u + 5*u = 6. Let y be (-116 - -114)/(0 - 1/(-7)). Let i = y - p. Are 5 and i equal?
False
Let i = -9015 - -3732215/414. Is i smaller than -1?
False
Let g = 1814 + -1814.1. Does g = 1/3089?
False
Suppose 12*y = 2*y - 10. Let f be 1*((y - 2) + 2). Let g be 3/(-2) - (-5111)/3458. Is g <= f?
False
Let m = 2 + -2. Let x(o) = o**3 - 17*o**2 + 4*o - 38. Let f be x(17). Let i be (-72)/351 + 3 + f/(-9). Is m not equal to i?
True
Let u = -423 + 242. Let c = 2352/13 + u. Suppose 2*b + 7 = d - 2*b, -4*b = 8. Which is smaller: c or d?
d
Let z(m) = 95*m**2 - 48*m + 501. Let w be z(12). Which is bigger: 13606 or w?
13606
Let y = 11249 - 16572. Which is bigger: -1 or y?
-1
Let f be ((0/(-8))/26)/(2 - (-8)/(-2)). Which is smaller: 3/11416 or f?
f
Let m(n) = 3*n**2 + 2*n. Suppose -b - 34 = q - 0*b, 5*b = 5*q + 170. Let k = q + 35. Let v be m(k). Is 0 smaller than v?
True
Let n = 26 - 8. Suppose -36*g = 18 + n. Does 3/215 = g?
False
Let h = -92 - -81. Let k be (h/(10406/(-77)))/(2/(-4)). Which is greater: k or 1?
1
Let s = 20.6 + -81.5. Let h = -58.4 + -2.6. Let b = h - s. Which is smaller: 35 or b?
b
Let n = -3483.9 - -3484. Do n and -2239 have different values?
True
Suppose -5*d + 2*d = -12. Suppose 0 = -6*t - d - 14. Let w be (2 + -1)*t/3. Which is smaller: w or -2/21?
w
Let u = -407887/208 - -1961. Let w = u + -431/3120. Is 19 equal to w?
False
Let u = 66433391/2166 + -30671. Is 0 at least as big as u?
False
Let k be 3/(-4) - (-33938)