Let c be (7/(-21))/((-1)/(-1322)). Let w = -453 - c. Which is smaller: -12 or w?
w
Suppose 401*r + 32547 = 420*r. Is r < 8568/5?
True
Let r = 1573 + -5580. Do r and -4006 have different values?
True
Let g be (1*(-2 + 0))/(31 - 32). Suppose 0 = 2*d + g*a - 22, 4*d - d - 39 = -a. Suppose -d*s + 1233 - 365 = 0. Is s greater than 61?
True
Let i be (231748/(-3360))/(-23) - 3. Let c = i - 97/3192. Which is smaller: 0 or c?
c
Let q = 4 + -4. Suppose -41*y + 46*y - 575 = q. Let l be ((-5)/(-2))/(-5) + y/30. Is l < -2?
False
Suppose -3*m = -12, 6*b + 4*m + 8120 = 8*b. Is 4068 equal to b?
True
Let i = -31 + 33. Let q be (94 + i)*7/56*-4. Suppose 0 = -a - 0*a - 6*a. Which is bigger: q or a?
a
Suppose 4*w = -4 - 4. Let b(z) = 34*z**2 + z + 1. Let v(k) = 16*k**2. Let t(s) = -3*b(s) + 7*v(s). Let i be t(w). Are i and 44 nonequal?
True
Let k = 1132 - 1190. Suppose 12 = 7*d - 23. Suppose -j + 3*j - n + 120 = 0, -d*j = -2*n + 298. Does j = k?
True
Let z be (280/(-180))/(6/27) + 7. Which is smaller: z or 2/15451?
z
Suppose 25*j - 11446 - 54 = 0. Let o be 276/j - ((-4)/10 - -1). Which is smaller: 2/517 or o?
o
Let w be ((-91)/18 - -5)*(-5 - (-10 - -7)). Is -5.9 at most as big as w?
True
Let i = 444 + -237. Let q = -195 + i. Is 1/2 less than or equal to q?
True
Suppose 8 = 5*n - 3*n. Let g be (-8 - -4)*37/n. Let h = -3 + g. Which is bigger: -1 or h?
-1
Suppose c = -3 - 18. Let b(n) = -n - 1. Let p be b(-4). Suppose p*u + 4*a = 3*a - 63, -3*u - 45 = -5*a. Are c and u equal?
False
Let b = -177 - -228. Suppose -b = 2*h - 159. Is h bigger than 55?
False
Suppose -2 = 2*h + 2. Let a(s) = -23 + 4*s + s**2 + 15 + 7 + 4. Let b be a(h). Does 2/17 = b?
False
Let k(v) = v + 33. Let t be k(-24). Let p be 4/2 + 10*(-2)/t. Is -54 bigger than p?
False
Let h = -43 - -47. Suppose -5*p + 2*c + 7 = 0, h*p + 2*c - 8 = 3*c. Let v be 40/(-45)*p*6/4. Is -8 greater than v?
False
Let x be (-1)/(-9) - 690/1350. Which is bigger: x or 0.0644?
0.0644
Suppose 5 = -10*b + 35. Suppose 2*c + 3*c = 5*y + 315, -y = -b. Which is smaller: 67 or c?
c
Let m(l) be the third derivative of l**5/60 - l**4/24 + 19*l**3/6 - 2*l**2. Let p be m(0). Suppose 1252 = 135*q - 1448. Is q smaller than p?
False
Let y be 113 + (-9)/(18/2). Suppose -4*j = -2*g + 164, -5*g + 4*g - 4*j = -y. Is 93 at least g?
True
Suppose 2*y - 790 + 2696 = 0. Are -954 and y equal?
False
Let j(l) = 23*l**2 - 186*l + 159. Let t be j(7). Let v(u) = -4*u + 4. Let x be v(5). Are t and x unequal?
False
Suppose -292*a + 1 = 31*a + 1. Let k = 26812/9289309 - 2/12673. Which is smaller: k or a?
a
Let n be (-30)/(-25)*15/6. Let j be -5*1/n*-3. Suppose j*h = -8 + 38. Are h and 6 non-equal?
False
Suppose -4*d - 11 = -h, 5*d + 3 = -h + 2*d. Suppose -h*r + 25 = c, -4*r + 23 = -r - c. Is 6 > r?
False
Let u(m) = -m + 5. Let j(r) = 3. Let o(d) = -5*j(d) + 2*u(d). Let b be o(-3). Let x be 1 + -1 + 182/273. Which is smaller: b or x?
x
Let m be 50/(-250) - (-3702)/(-15). Which is bigger: m or -256?
m
Let x be (-6 + (-19)/(-4))/((-40)/(-16))*0. Are x and -5/32 equal?
False
Let a = 86.1 + -28. Let t = a - 57.9. Is -0.035 equal to t?
False
Let z = 500 + -488. Let c be z/(-36)*(-6)/8. Which is smaller: 108 or c?
c
Let o(p) = 455*p**2 - 455*p - 2. Let h be o(1). Let t = -235 + 115. Is h bigger than t?
True
Let u(y) = -y**3 - 4*y**2 - 3*y + 3. Let a be u(-3). Let l be 18/(-4)*2/a + -2. Let f be 25/(-5)*36/30. Are f and l equal?
False
Let h = 99 + -66. Suppose -104 = b - 4*q, -4*q - 568 = -28*b + h*b. Is b > 2/3?
False
Let k = 94 - 93. Let b be (-4)/72 - (-805)/(-90). Does b = k?
False
Let h(u) = u**2 - 6*u + 1. Let j be h(6). Let r be (-4)/(-42) - (-2102)/(-21). Let l = -197/2 - r. Which is smaller: j or l?
j
Suppose 2636*k + 150336 = 2582*k. Which is smaller: k or -22281/8?
-22281/8
Let b = 11.8 - 11.7. Let u = 33/247933 - -10843844598/7685923. Let q = 1411 - u. Which is smaller: q or b?
b
Suppose 0 = 78*w - 1166 - 238. Is w bigger than -0.12?
True
Let d = 12.085 - 9.085. Let u = -0.21 + 0.2. Do u and d have different values?
True
Suppose 52*y = 77*y + 100. Let b be y + (3 + 2 + -3 - -3). Which is bigger: -6/47 or b?
b
Suppose 115725 = 40*x + 35045. Are x and 2017 non-equal?
False
Suppose -h = 4*n - 12, n - 6 + 3 = h. Let m be 6/(-9) - ((-6)/(-216))/((-27)/672). Is h greater than or equal to m?
False
Let m(n) = n**2 + 5*n + 4. Let x be m(-3). Let o be (36/5)/(x/(-15)). Let t = -288718 - -288772. Is t > o?
False
Suppose 3*g - 5*h + 7402 = 0, -13*h = -8*h + 20. Which is bigger: g or -2471?
-2471
Let u = 241 - 96. Let h = -130 + u. Is 5 equal to h?
False
Let i = -1325 + 902. Let l = i + 212. Which is smaller: -213 or l?
-213
Suppose 2309*k - 2328*k = -5415. Which is smaller: 283 or k?
283
Let t = -152 - -150.98. Let b = -0.94 - t. Which is smaller: -4 or b?
-4
Let y = -8021 + 4831. Let b be (-696)/y - (-3)/(15/(-2)). Which is smaller: b or 45?
b
Let p = 9416 - -443. Is p > 9859?
False
Let k = -755 - -534. Let j = 426 + k. Does 0 = j?
False
Let r = -525.59 - -528. Let b = r - 1.31. Is b bigger than 1?
True
Let y = 48.4 + -45. Let p = y + -3.51. Let w = p + 0.12. Which is bigger: 1 or w?
1
Suppose 5*m - 1179 = 3*n, -5*n - 708 = -4*m + 1257. Let j = -383 - n. Is 65/6 smaller than j?
False
Let b = 2.9483 + 0.0517. Suppose 2*x - 209 = -3*q, -2*q + 59 = 2*x - 77. Which is smaller: b or q?
b
Let d(g) = g**2 + 8*g + 29. Let m be d(-3). Let b be 16929/29736 + (-8)/m. Which is smaller: 1 or b?
b
Let q = -2.485 - -2.476. Which is greater: q or -2?
q
Let v = 602604.4 + -602605. Let s = 0.2 - 1. Let n = s + -0.2. Which is smaller: v or n?
n
Let x = 23099 + -26675. Is x equal to 1?
False
Let i = -20391/2158 - 117/166. Suppose -4*h = 4*w + 32, 3*w - 31 = 2*h - 0. Is i bigger than h?
True
Let o = -176 - -89. Let q be (-54)/o*4/(-12). Let l be -8 - -11 - (-1 - -5). Which is smaller: l or q?
l
Let h be -674 - -678 - -4*10/2. Which is bigger: h or 208/9?
h
Let c(w) = 176*w + 580. Let v be c(7). Is v at most as big as 5434/3?
False
Let x = -7847.0055 + 7849. Let s = -0.0155 - x. Let z = s + -0.99. Is 1 not equal to z?
True
Let b(p) = p**3 - 7*p**2 + 4*p + 4. Let z be b(5). Let v be 108/12 + (-16116)/476. Which is greater: z or v?
v
Let h(q) = 5*q + 117. Let k be h(-23). Suppose -6 = 8*i + k. Which is greater: i or 1/28?
1/28
Let n be 93/12 + -4 - 4. Let j = -34.2 + 31. Let i = 15.2 + j. Which is bigger: n or i?
i
Let n = -36 + 20. Let c = n - -15.8. Let f = -431 + 431. Which is smaller: f or c?
c
Let s = 8949/5 - 1804. Let d = s - 3/10. Let i = -178014 - -178000. Is i bigger than d?
True
Let h(y) = y**2 + 8*y + 5. Let c be h(-8). Suppose 76 - 71 = -g, 4*z - 4*g - 64 = 0. Suppose -c*s = z*s. Is 1/15 < s?
False
Let k = 15 - 18. Let d = 3.4 + k. Let i = -0.6 - d. Is i != 15/8?
True
Suppose -46 = -5*y - 16. Suppose -y*c = -5*c. Let v = 2015177/68 - 29635. Which is smaller: v or c?
v
Let q = -376.9515 + -0.0485. Let x = -349 - q. Do 0.2 and x have the same value?
False
Let t = -11465 + 11786. Which is smaller: t or 1607/5?
t
Let k = -29 - -30. Let s be 2172/7*(-42)/(-452554). Let x = -2/3187 + s. Which is smaller: x or k?
x
Suppose -3*f - 2*s - 6 = -3, 0 = 4*f + s + 4. Let m(c) = 26*c**3 - 2*c**2 - 2*c - 1. Let v be m(f). Let i be (-1 + -5)*(-4)/v. Which is smaller: i or -1?
-1
Suppose 10*m + 647 = 657. Suppose 130 = 5*z - 0*z. Let u be z/(-22) - m/(-1). Which is smaller: u or -0.1?
u
Let x be (3730/135)/((-44)/6). Let i be 2/(-22)*(-195)/5. Let r = i + x. Is r less than 12?
True
Let r = 27000 - 54001/2. Is 35.5 less than r?
False
Let y = 184 + -217. Let f = 88/3 + y. Suppose 2*g + 3 = 5*p, -3*g - 2*p = -3*p + 11. Is f less than g?
False
Let l(x) = 2*x + 20. Let i be l(-9). Suppose -i*c = 3*c - 25, 0 = 4*r - 5*c - 39. Let h be -4 + (-4)/(-17)*r. Is 0 > h?
True
Let r = 818 + -955. Is r < -137?
False
Suppose -j + p + 10 = -0, 5*p + 10 = -3*j. Let y be (4 + 117/(-27))/((-3)/54). Suppose -r - y = -5*z, 5 = -3*r - 5*z + 27. Which is smaller: r or j?
r
Let k = -55 + 89. Suppose c - 36 = -k. Suppose -3*u - 34 = -c*p, 5*p - 66 = -4*u + 2*u. Which is smaller: 12 or p?
12
Let n = 1747253/2040 + 7213/136. Let b = -909 + n. Which is smaller: b or 2?
b
Let q be 14/(-7)*3 + (-1098)/(-150). Are q and -0.2 equal?
False
Let u be (-1 + 6441/(-6))/(-3 + -1 + 3). Is u smaller than 1074?
False
Let h be 364