2 = 0. Suppose 9*l = -k*l + 153. Which is greater: l or u?
l
Let c = -144.8 + 101. Let p = 5.2 - c. Let f = p - 48.8. Is -0.07 smaller than f?
True
Let c = 21153 - 21597215/1021. Let p be 33/11 + 46/(-14). Which is bigger: c or p?
c
Suppose -3*g - d = 3*d + 61, 3*d = -3*g - 57. Let j be (-3 - ((-4)/22)/(8/2112*-12)) + -3. Which is greater: g or j?
j
Let g(t) = -t**2 + 11*t + 41. Let s be g(17). Suppose 360 = -4*z - 2*z. Is z greater than s?
True
Let p be (-16)/40 + 36/15. Let s be p/((-8)/(-6))*804/72. Is 16 smaller than s?
True
Let t be -2 + (-44505)/4449 + 12. Is -1 <= t?
True
Let q = 60 - 44. Let p be 2/16 - (-62)/q. Suppose -r + 58 = 4*y, -p*y + 3*r + 46 = -2*r. Which is smaller: 15 or y?
y
Suppose -85*y = -88*y + 306. Suppose 5*s - f + y = 0, -4*s + 2*f = -39 + 123. Which is bigger: s or -1?
-1
Let i = -113/8 - -14. Let t(f) = 11*f**2 - 7*f + 27. Let d be t(6). Let j = d - 381. Is i greater than j?
False
Suppose -382*p - 829*p - 3274 + 11751 = 0. Let r(d) = -d**2 - 7*d - 2. Let s be r(-6). Which is smaller: p or s?
s
Let g be (-4 - 5*(-2)/2) + -423. Let b = -162 - g. Do 260 and b have different values?
False
Suppose -2*b + 365 = 3*b. Suppose -24*w - 4 = -20*w, -2*z + 140 = 4*w. Which is smaller: b or z?
z
Let f = -20669/51670 - -1/51670. Let c = 2.4 + -2.764. Which is greater: c or f?
c
Suppose -2*z = h, 2*h - z = 288 - 283. Suppose 2*y = -5*n + 147, -4*y + 189 = -y - 3*n. Suppose h*d - 28 = y. Is -1 equal to d?
False
Let l be (-2)/8*-2*0. Suppose 2*h + 4*k + 0 + 4 = 0, h - 2*k + 2 = l. Let w be (-1)/(2/(-12))*(-3 - h). Which is smaller: -4 or w?
w
Let y(x) = x**2 - 90*x - 473. Let q be y(96). Does 100 = q?
False
Suppose 3*w + 0*w + 3 = 0. Suppose c + 3*c = -5*h + 73, 0 = 5*c + 5*h - 85. Let r be 726/160 + -4 + c/(-20). Do w and r have the same value?
False
Let y = 594 - 596. Let i(q) = -q**3 + 5*q**2 + 7*q - 6. Let h = -56 - -62. Let a be i(h). Which is bigger: y or a?
a
Let s = -311095/12 + 25939. Is s less than 15?
True
Let g be (-5 - (-51)/9)/(4/162). Suppose -4*i = 3*a - 74, 4*a + 0*a - i = 124. Which is smaller: a or g?
g
Let a be (5/(-2))/(1/(-10)). Suppose 0 = -t - 4*z + 35, -3*z = -4*t + 42 + 41. Is a smaller than t?
False
Let f = 492 + -478. Let p be (-8)/f*(-5 + 66/12). Is p less than 3.1?
True
Let z be (-170)/1615 + (-1072)/(-76). Let g = 783/56 - 6/7. Is g at most z?
True
Let i(x) = 23*x - 69. Suppose 0 = -6*n - 4*n - 50. Let o be i(n). Which is smaller: -185 or o?
-185
Let y = -17225 + 17235. Is 143 equal to y?
False
Suppose 19*v + 3*v = 1166. Let m = -58 + v. Let y = -101/6 - -67/6. Is m <= y?
False
Let w be -2 - ((-7)/1 - -1). Let q be (-5)/((-5)/2) - (-61 - 0). Let d be 356/q + 3/((-27)/2). Is d not equal to w?
True
Suppose -y = -0*y - 20. Let p(j) = j**3 + 15*j**2 + 37*j - 6. Let a be p(-7). Suppose -18*u - a = -487. Is u bigger than y?
False
Let w(d) = 2*d**3 + 8*d**2 + 11*d + 3. Let z be w(-3). Let k be (z - -4) + (-395)/(-50). Do -2 and k have different values?
True
Let s = 38 - 28. Suppose 5*j = 5 + s. Let u = -26.6 + 26.3. Is u bigger than j?
False
Suppose -26 = 6*p + 12*p - 44*p. Is 4/2635 < p?
True
Let q be (8/(-33))/(18/(-3654)*(-4)/(-36)). Is q < 444?
True
Let i(r) = r**3 + 7*r**2 + 15*r - 5. Let f be i(-4). Let p = -95 - -96. Is p not equal to f?
True
Let a(g) be the first derivative of -g**2/2 - 16*g - 45. Let z be a(-10). Let n be 0/(5*z/(-15)). Which is greater: -1/85 or n?
n
Let a = 4.99 - -0.01. Let s = -58.7 + 58.2784. Let c = s + 0.1216. Are c and a nonequal?
True
Let f = 52 - -1. Let x = 9660 + -9660.1. Which is bigger: x or f?
f
Let i be (119*(-72)/(-378))/(2/6). Let t(l) = l**3 - l + 66. Let b be t(0). Is b less than or equal to i?
True
Let y = 5453 - 5524. Which is greater: y or 72?
72
Let y = 14184 - 14174. Is 448/43 not equal to y?
True
Let z = -10179627/728 - -13983. Which is bigger: z or 0?
0
Let h = 971 + -1050. Suppose 2*p + 113 = -47. Which is greater: p or h?
h
Let l = -634/8467 + -323337387/118538. Let n = -2729 - l. Which is greater: n or -1?
-1
Let s(y) = -y**2 + 3*y + 10. Let k be s(5). Suppose a - 2*n - 7 = -k*a, 2*a - n - 11 = 0. Are 1 and a non-equal?
True
Let q(o) = o**2 - 8*o - 3. Suppose 172*u = 180*u. Let w be q(u). Which is smaller: -2/7 or w?
w
Let o = -306 + 486. Let q = o + 44. Is q less than or equal to -1/2?
False
Let o = 168 - 223. Suppose -5*a = -2*w - 88, -w - 85 = 5*a - 11. Let l = w - o. Which is smaller: 1/11 or l?
1/11
Suppose -31 = -18*j - 49. Let y be ((-13)/9 - j)/(48/(-36)). Which is smaller: 461 or y?
y
Let z be 2/(-8)*-4 - (-1273480)/(-1283545). Let q = 1/1121 + z. Is 1 greater than or equal to q?
True
Let j = 13.44 - -0.86. Let b = j + -33.3. Which is bigger: b or -1?
-1
Suppose -11*r = 2 + 9. Let k be (-1 - (r + 4))/(-2 - -4). Is k not equal to -30?
True
Suppose 3*w + l = 26, -3*l + 8 = w + w. Let n be (-2)/((-4)/w) + (-4 - -61). Is 61 smaller than n?
True
Let r = -6970.12 - -6970. Which is smaller: -23 or r?
-23
Let a = -13880 - -13855. Which is smaller: a or -577/22?
-577/22
Let q be -1*(-12)/24*(-9 + 9). Which is smaller: q or -101/220?
-101/220
Let r(o) = o**3 + 10*o**2 - 9*o - 39. Let w be r(-9). Let h = -108 + w. Is h less than -2?
False
Let y = -9713 - -9695. Is y bigger than -60?
True
Let i be (-9)/(-27) + (-3 - (-20839)/(-30)). Let h = i + 701. Which is smaller: 5 or h?
h
Let z = -6996 - -7059. Which is smaller: 62 or z?
62
Let a be (156/36 - 3) + -4 + (-30561)/(-11430). Is a greater than 1?
False
Let y = 241 + -214.2. Let o = -41.8 + y. Suppose 3*c - 4*i = 9 + 1, 4 = 2*c - 2*i. Which is smaller: o or c?
o
Let k = 265351/1236714 - 25/3782. Does k = 0?
False
Let w be 7 - (141386/(-8) - (-200)/160). Does 17679 = w?
True
Suppose -2*f + 7 - 11 = 0. Let z(i) = -i**2 + i + 3. Let n be z(4). Let q(m) = -m**2 - 8*m + 11. Let x be q(n). Is f != x?
True
Let s(g) = g**2 - 5*g + 3. Let o be s(5). Suppose 0 = 13*d - 85 - 45. Suppose -4*h = -4*a + 6 + d, 0 = -5*a + h + 20. Which is smaller: o or a?
o
Let m(k) = k**3 + 7*k**2 + 7*k + 5. Let j be m(-6). Let y = -71/59 + 12307/10325. Which is bigger: y or j?
y
Let x be ((130/590)/(-13))/(244/(-8)). Which is bigger: x or 1?
1
Let g(r) = 58*r - 2. Let a be g(1). Suppose 0 = 6*x - 7*x + a. Is x <= 56?
True
Let b = -30745 - -30695. Is 43 smaller than b?
False
Let q = 0.031 + 140.969. Let w = 132 - q. Let f = 8.9 + w. Which is smaller: 4/17 or f?
f
Let q(g) = -4*g - 42. Let k be q(-10). Let w(j) = -10*j**3 - j**2 + 3*j + 5. Let m be w(k). Let n be 3 + 5/(m/(-44)). Is n greater than -1?
True
Let i = 7428 - 7429. Which is greater: -1866 or i?
i
Let s be ((-697)/680)/(((-56)/105)/4). Is s greater than 1?
True
Suppose 16*k - 8 - 56 = 0. Suppose 6*m + 12 = 9*m, -2*p - k*m + 18 = 0. Which is smaller: -4 or p?
-4
Let v = 392 + -364. Let n = -37 + 64.9. Let p = n - v. Which is smaller: 1 or p?
p
Let p(z) = z**3 + 6*z**2 - 9*z - 4. Let g be p(-7). Let c be (-3)/(-15) + 78/g. Suppose -2*s = -s - c. Is 22/3 greater than or equal to s?
False
Let t be -2 + (-6 - 2/(-1)). Let o be t/30*(-5)/(-3). Let q = 2258 - 2257. Which is smaller: o or q?
o
Suppose 0 = 3*n + 13*c - 14*c - 2630, -5*n + 4350 = 5*c. Let x = n - 146127/167. Are -1 and x equal?
False
Let y = 76.882 + -77.042. Let f = -0.4 - -2.4. Which is bigger: f or y?
f
Let i = -0.128 + 0.17. Let f = 12958/21 - 4317/7. Which is smaller: i or f?
i
Let n = -1121 - -870. Is -754/3 smaller than n?
True
Let q be ((-1)/(-6)*15)/(2/4). Suppose -3*s - 6 = q*v, -s = -4*s - 4*v - 6. Let u be -1 - ((s + 6 - 3) + 49). Is -50 at least u?
True
Suppose 0 = -17*s + 46*s. Which is bigger: s or -4591?
s
Let o be 1 + -38 + (-2 - 2). Let g(u) = 2*u**3 + 34*u**2 + 17*u + 292. Let d be g(-17). Is d <= o?
False
Let r = 4900 - 944. Do 3956 and r have the same value?
True
Let k = 91987/88404 + -215/212. Which is smaller: 1 or k?
k
Suppose -2*v - 60*v + 1178 = 0. Suppose -b = 52 - v. Which is bigger: b or -31?
-31
Let g(c) = 38 - 23 + 17*c + 22 + 77. Let i be g(-5). Is i >= 0?
True
Let h(p) = 80*p**2 - 205*p - 1789. Let j be h(-8). Which is greater: 4973 or j?
4973
Suppose 3*h - w + 25 = 0, 0 = -3*h + 4*w + 4 - 32. Let m be (2/4 - 0)*(36 + -30). Suppose 34 - 22 = -m*l. Which is bigger: l or h?
l
Let b be -1 + -2 + 3 - 396/(-55) - 0. Let d = 0.12 - -5.88. Let z = 7 - d. Is b greater than z?
True
Let x = 114