g be ((-4)/(-5))/(10/(-25)). Let n be (-6 - 1)/(g/2). Is c less than n?
True
Let u(d) = -339*d + 30. Let k be u(8). Let z be 1/7 - (k/(-7) - 3). Let v = z + 1491/4. Is v at least -7?
False
Let v = 158 + -1768. Let g = v + 1612.998. Let a = -0.002 - g. Which is bigger: 4 or a?
4
Let n(s) = -14*s**2 + 139*s - 50. Let g be n(12). Which is smaller: g or -1593/4?
-1593/4
Suppose -2*h = -3*h + 3*i - 3, -4*i + 4 = 2*h. Suppose y = 5*b + 5 - 4, h = -y - 2*b + 36. Suppose 2*q + m + m + 12 = 0, -q - y = 5*m. Is -0.4 > q?
True
Let h(q) = -6*q + 35. Let p(s) = 4*s - 24. Let g(k) = 5*h(k) + 7*p(k). Let c be g(3). Let x be -133*(-4)/(-176) + 3. Which is smaller: c or x?
x
Let v = 4308 - 4307. Let p = 18 + -12. Let k = p - 2. Which is bigger: k or v?
k
Let f(u) = u**2 - 17*u + 6. Let g be f(15). Let d be ((-16)/g)/((-15)/(-9)). Let p = 415 + -1669/4. Is p at least as big as d?
False
Let y be 11/(0 + -11) - (-1 + 0). Let v be -14*1*(-2)/38. Are v and y non-equal?
True
Let w be (9260/(-4630))/(3 - (-1)/(-1)). Which is bigger: 10/531 or w?
10/531
Let h = -1724 - -52. Are -1671 and h unequal?
True
Let g = -8400 - -58799/7. Do g and 0 have the same value?
False
Let h(d) be the first derivative of 17*d**2 + 5*d - 5. Let k be h(-12). Let p be ((-1)/(-8))/(k/(-52)). Is -1 less than p?
True
Let k be (-60)/(-1 - 8/(-32)). Suppose 0 = -f - 4*f + 25. Suppose -2*p = 3*r - 164, 5*p - p + f*r - 326 = 0. Is k smaller than p?
False
Let z(s) = -12*s + 166. Let g be z(15). Let x = 127 + -853/6. Which is smaller: g or x?
x
Let j(r) be the first derivative of 4*r**2 - 65*r + 9. Let t be j(8). Let i be (t/((-10)/184))/(42/105). Which is greater: i or 45?
i
Suppose -42 = -8*f - 90. Which is smaller: 407 or f?
f
Let f(b) = b**3 + 4*b**2 - 2*b - 7. Let g be f(-3). Suppose -4 + 28 = -g*m. Let k be (12/42)/(-3 - 8/m). Do k and -2 have different values?
True
Suppose -t - 5*p + 17 = 0, -2*p = 2*t - 5 + 3. Let s(k) = k**2 - 195*k - 1003. Let r be s(-5). Are t and r non-equal?
False
Suppose 14*o = 18*o - 1080. Let y be (-52)/(-9) - (-60)/o. Suppose -4*a = 18 + y. Which is greater: a or -12?
a
Suppose -5 = 2*u + y, -23*y = u - 21*y + 7. Is 1/2130 greater than or equal to u?
True
Let h = 2.4 + 105.6. Let v = h + -108.01. Does v = -7?
False
Suppose 2*q = -5*u + 38, 0*u - 2*q = -2*u + 18. Let d = 1 - 0. Let f be u/2 + (-12)/d. Are f and -7 equal?
False
Suppose -231*w + 71*w = 29*w. Let c be -2*(-982)/(-1956) - -1. Which is smaller: w or c?
c
Let t be (172/215)/((-4)/(-30)). Let h be (-5)/t*(-6)/15. Let k = -1253/4 + 315. Which is bigger: k or h?
k
Let u = 319/5 - 10537/165. Let z = -166.37 + -1.63. Let t = -167.9 - z. Are u and t non-equal?
True
Let q = -5 - -3. Let n = -786 + 1024. Let z be (-1020)/n + (-1)/((-7)/2). Is q smaller than z?
False
Let g = 0.5 - 0.6. Let z = -385/36 - -45/4. Let y = 91/18 - z. Which is greater: g or y?
y
Let z = 24.481 - 28.581. Which is smaller: -1.63 or z?
z
Suppose 107 - 98 = 3*t. Suppose -15 = -t*i, 2*g + i + 10 = -i. Let v = -28 - -18. Is v smaller than g?
False
Suppose q + 5 = 2*n - 2, -5*q + 3*n = 0. Which is smaller: 340/79 or q?
q
Let m = -1532.6 + 1533. Which is smaller: -1/87 or m?
-1/87
Let f = -100755 + 100756. Let l = 139/310 - 3/62. Which is greater: f or l?
f
Let j = -45.74 + 42. Let b = j - -2.74. Let m be (-42)/(-5) - (-2)/(-5). Is m at least as big as b?
True
Let i = -1.35 + -140.65. Let s = 46 + i. Let b = 108 + s. Which is smaller: b or 0?
0
Let x(l) = -3*l**2 + 0*l**2 - 15 + 4*l**2 - 5*l - 9*l. Let n be x(15). Suppose 2*o + 23 - 53 = n. Which is bigger: 14 or o?
o
Let a = -10 - -6. Let l = 11083 + -11067. Which is smaller: l or a?
a
Let r = 37/6 - 1625/264. Let v be (12/(-15) - 81/(-45))/(-1). Are v and r unequal?
True
Suppose -9*o + 5662 = -6*o + 2*j, -4*o - 5*j + 7540 = 0. Is 1890 bigger than o?
False
Suppose 25 + 41 = 11*g. Let a = 42 - g. Suppose -2*n = -7*n - 4*m - 24, -3*m = -3*n - a. Is n at most 2/9?
True
Let p = -3426 - -3443. Which is smaller: p or 20?
p
Let b be 9/((-696348)/(-1547371)) + -20. Is b at least 1?
False
Let b be 4 - (-4 - (2 + 765/(-76))). Let k = b + 257/1596. Which is smaller: 1.6 or k?
k
Let n = 2201.028 - -1.972. Is n less than 1?
False
Let a be ((-15)/90*(-27)/(-6))/(14/8). Let j be 10/(-6) - (-2)/(-6). Let v = j + 2. Which is smaller: v or a?
a
Suppose -340 + 235 = -21*h. Which is smaller: 235 or h?
h
Let o = 1866592 + -9297082/5. Let m = 7151 - o. Which is smaller: 1 or m?
m
Let r = -16889/3791 + 49/223. Which is bigger: -3 or r?
-3
Suppose -16*a - 1590 = 2522. Which is smaller: -255 or a?
a
Suppose 6*x = 2*x + 4*j - 284, 4*x + 3*j = -319. Suppose 5*z + 4*k - 272 = 106, 5*k = -z + 63. Let u = z + x. Which is bigger: u or -0.06?
u
Let z(v) = -3*v**3 - 40*v**2 + 63*v - 11. Let b be z(-12). Which is bigger: -1342 or b?
-1342
Let i = -311 - -293.99. Let u = i - -0.01. Let w = u + 15. Is 0.2 < w?
False
Let i be ((-13)/(-2) - 6)*-842. Let g = 394 + i. Are g and -27 nonequal?
False
Suppose 0 = -5*x - 57 - 183. Let s = 42 + x. Let d be (33/s)/((-2)/20). Is d less than 55?
False
Let j = -4329 + 4394. Is -29 < j?
True
Let v = 9471 + -9497. Do v and -328/13 have the same value?
False
Let q = -3107 + 65245/21. Let l = -3 + 2.8. Is q greater than l?
True
Let q = -28 - -49. Suppose 0 = q*s - 23*s + 450. Which is smaller: 226 or s?
s
Let m = 429 + -413. Suppose 0 = 20*d - m*d + 124. Which is bigger: -36 or d?
d
Let d(q) = -37 + 46 - 17*q - 10*q - 2*q. Let c be d(5). Let v = c - -119. Which is smaller: v or -18?
-18
Suppose -20*x + 24*x - 5*t = -1582, -5*x - 2*t = 1928. Is x at most as big as -1943/5?
False
Let t = -205952/9 - -22908. Let z(x) = -32*x - 296. Let h be z(-10). Which is smaller: t or h?
h
Let b be 13/130 + 3 + 3/(-30). Suppose 3*y = 7*y. Suppose y = -b*l - l. Is 1/36 >= l?
True
Let n = 3.43 + 115.57. Let v = n - 118.93. Is v at most -2?
False
Let g be (-2)/10*(8 + -1980). Let m = g - 390. Let w(k) = -k**2 + 12*k - 8. Let z be w(11). Are z and m unequal?
True
Suppose 0*r - 70 = 5*r. Let s be 4 - (24/21 - (-2)/r). Do 23/9 and s have the same value?
False
Let g be (-4)/(-6) + (3 - 8). Let f = 1084 + -1089. Do g and f have the same value?
False
Let i = 9845/52848 - -4/3303. Let l = -0.02 + 1.02. Do i and l have the same value?
False
Suppose 0 = -3*o - 2*g + 102, 136 = 4*o - 3*g + 2*g. Suppose -2*y - 4*h = -o - 2, 3*y = 5*h + 32. Is 13 greater than y?
False
Let w = -111 - -123. Suppose -5*y + 2120 = 3*r, 0 = -y - w*r + 13*r + 416. Is y less than or equal to 421?
True
Let g(l) be the third derivative of l**4/6 - 4*l**3/3 + 14*l**2 - 2*l. Let s be g(0). Is -11 <= s?
True
Let j be (0 - 0*(-1)/4)*(-127)/(-127). Which is smaller: 1/20192 or j?
j
Let f = -358.84 + 358.8117. Which is smaller: f or -0.7?
-0.7
Suppose 5*m + 4*c = -4849, -54*m + 51*m - 2902 = -5*c. Is m smaller than -973?
False
Let o = -832.754 - -833. Let a = 0.754 + o. Which is smaller: a or 4.59?
a
Suppose -52*v = 15*v - 5953486. Let o be (-51238)/v + 4/7. Which is smaller: o or 1?
o
Let l be ((-1)/(-3))/((-493)/2040). Let u = l + 1406/725. Which is smaller: 1 or u?
u
Let k be (-4)/16 + (-18)/(-72). Suppose 5*n + 3 = 3*j - 18, -5*n + 5*j - 25 = k. Which is bigger: -40 or n?
n
Suppose 3*y = -4*d + 7, -5*d - 8*y - 25 = -11*y. Let m = -67421/1284 - -631/12. Let p = -827/1819 - m. Is d equal to p?
False
Let r(z) = 6*z - 390*z**2 + 0*z + 388*z**2 + 8. Let p be r(-4). Let q be -4 - (-5)/((-20)/p). Which is smaller: 0.4 or q?
0.4
Let a = 1/774 + 9275/10062. Suppose -2*u = 10 - 14. Suppose 0 = -u*l + 2. Which is greater: a or l?
l
Suppose 0 = -3*b - 58 - 38. Let d(x) = -x**3 - 4*x**2 + 2*x + 2. Let t be d(0). Suppose -29 = v + t. Do v and b have the same value?
False
Let w(b) = -4*b - 20. Let t(p) = p. Let j(h) = 8*t(h) + w(h). Suppose 2*r + r = 24. Let i be j(r). Which is smaller: i or 3?
3
Suppose -120*h + 170*h - 118900 = 0. Is h < 2375?
False
Suppose -30 - 24 = 3*u. Let w be 31604/(-50) + 170/2125. Let y = -647 - w. Which is smaller: u or y?
u
Suppose 0 = 3*y - 3*i + 6, -2*y - 2*i = -0*i - 8. Which is smaller: y or -20/1723?
-20/1723
Let d(g) = 33*g + g**2 - 1 + g**2 - 21 - 22*g - g**2. Let b = -20 - -7. Let k be d(b). Which is smaller: 1/8 or k?
1/8
Suppose 0 = -2*u - q + 13556 + 6534, 3*q - 20090 = -2*u. Is u at least 10045?
True
Let g be 28/48 + 1/(-4). 