y?
u
Let s be 1 + (-38)/(-4) - 1/2. Suppose 3*w - 3*g = 0, 2*g - g - s = -w. Suppose 27 = -w*f - 2*m, m = -f - 2*m - 8. Do f and -7 have the same value?
False
Let l = 1383/275 + -3/25. Is -15 at most l?
True
Suppose -21*y - 200 = 24*y - 5*y. Let w = -29 + 13. Which is smaller: y or w?
w
Let p = -30238/9 - -3360. Which is smaller: p or 464?
p
Let l(y) = -y**3 - 3*y**2 - 27*y - 113. Let n be l(-4). Is n at most 238/23?
False
Let w be 88848905363603/(-201096) + (-2 - -2). Let c = -441823335 - w. Let q = -2/513 - c. Which is greater: q or 1?
1
Suppose -10 + 46 = 4*j. Let d(w) = w**2 - 24*w + 164. Let b be d(j). Which is smaller: 204/7 or b?
b
Let a be (-12)/7 - (-6 + (-14 - -18)). Is -23.33 less than a?
True
Let q = -0.7 + 0.7. Let v = 313.9959 + 0.0041. Let t = 295 - v. Is q smaller than t?
False
Suppose 0 = 102905*n - 102894*n - 308. Is 22 > n?
False
Let c(r) = 3*r**2 - 28*r - 271. Let f be c(-11). Which is greater: f or 3197/8?
f
Let l = 43 + -49. Let d = l - -7. Let v be (36/168)/((d + -2)/26). Are -5 and v equal?
False
Suppose -5*g = -2*d, -8*g + 5*d = -10*g. Let k = 9 - 4. Suppose g = -4*s - 5*q - 30, k*s = 3*q - 19. Is s < -1?
True
Let o = -0.24713 - -0.34713. Is 111.9 less than or equal to o?
False
Suppose -51*b - 1615 + 6446 = -12968. Which is smaller: b or 381?
b
Suppose 0 = -1757*f + 1828*f. Is f at least 11/1459?
False
Suppose -3*v + 3*o + 411 = 0, 2*v + 36*o = 32*o + 292. Suppose v = 111*r - 104*r. Which is smaller: r or 19?
19
Let p(v) = -v**3 - 2*v**2 + v - 6. Let h be p(-3). Let k be 10540/(-18690) + (-4)/(-7). Is k <= h?
False
Suppose -9097*u = -9109*u + 13056. Is u >= 13?
True
Let q = 49492/91 - 7074/13. Suppose k = 2*k + 26. Is q bigger than k?
True
Let b be (-1 - -1) + 2*-7. Suppose -12 + 67 = 18*w + 1. Is b greater than w?
False
Let c(w) = -w**3 - 5*w**2 - w - 4. Let g be c(-5). Let r(k) = 7*k + 71. Suppose 21 - 91 = 7*o. Let h be r(o). Is h at least g?
True
Let g = -924 + 1320. Is 397 smaller than g?
False
Let t = -2906/665 - 4/133. Which is smaller: t or 0.1?
t
Let o = 9291/22858 + -308548019/694540330. Let q = -2/515 - o. Let m be (-4)/(-10) + (-11)/(-10) + -2. Which is smaller: m or q?
m
Let k be 18 + ((-273075)/27302 - 8). Which is smaller: 0 or k?
k
Let q = -378.7991 - 0.9009. Which is smaller: q or 0.2?
q
Let y = -5201 + 5113.2. Is y less than or equal to 2?
True
Let l(n) = -n**3 - 18*n**2 - 21*n - 9. Let d be l(-17). Let q = d + -6. Let o = q + -64. Which is greater: o or -15?
o
Let z = -4.5 + -11.8. Let s = -17.19 - z. Which is greater: 0 or s?
0
Let d = 2877 + -4814. Which is smaller: 0 or d?
d
Let q(w) be the second derivative of 21*w**3/2 - 9*w**2 - 195*w. Let m be q(0). Let s(f) = -4*f**2 + 3*f + 2. Let u be s(-2). Do u and m have the same value?
False
Let d = -1131/7 - -156. Let g(n) = -3*n. Let i(k) = 11*k + 126. Let c(f) = 2*g(f) - i(f). Let o be c(-7). Is o not equal to d?
True
Let s = 482448/1133 - 13296/103. Which is smaller: 297 or s?
s
Let z = 2 + -8. Let w = -30 + z. Suppose -29*v + 3*v = -24 - 2. Which is bigger: w or v?
v
Let z(y) = -35*y - 161. Let g be z(-4). Let d be (g/749)/((-5)/((-100)/6)). Which is greater: d or 0?
0
Suppose -3*d = -2*d - 72. Let f(v) = -v**3 + 2*v**2 + v - 6. Let n be f(5). Let r = n + d. Which is greater: -6 or r?
r
Suppose -2*g + 5 = -1. Suppose 4*d = g*d. Is d greater than -11/9?
True
Let f = -25823 - -25823.3. Is 3115 equal to f?
False
Let r = -190.15 + 194. Let q = 4.85 - r. Is 88 equal to q?
False
Let s = -4415 - -6960. Do -0.1 and s have the same value?
False
Let d(b) = -b**3 + 39*b**2 - 281*b - 270. Let r be d(29). Is r greater than 56?
False
Let s = -14942 + 15943. Which is bigger: s or 0.05?
s
Let z = 4843 - 5011. Is -176 equal to z?
False
Suppose -2058 = 3*u - 4*b, 4*u - 2*b + 2446 = -308. Which is bigger: -691 or u?
u
Let v = 5716637/417 - 13709. Which is smaller: 0 or v?
v
Let k(w) = 31*w - 224. Let i(d) = 20*d - 149. Let b(n) = -7*i(n) + 5*k(n). Let f be b(10). Suppose c = -u + f, 2*c + 4*u = -0*u + 150. Does c = 70?
False
Let d(n) = -6*n**3 + 31*n**2 + 120*n + 1. Let j be d(-5). Suppose -4*i = -j + 914. Let p be (16/10)/((-2)/(-4)). Is p < i?
False
Let w(o) = -9*o + 66 + 0*o + 22*o + 12*o. Let t be w(-3). Which is bigger: -17 or t?
t
Let n = 316 + -309. Let r be (n/(-21))/((-2)/(-6)). Is -8/67 smaller than r?
False
Let h(w) = w**3 + 6*w**2 - 13*w - 86. Let b be h(-4). Which is smaller: 2178 or b?
b
Let q(g) = 2*g + 20. Let i be q(-7). Let j(w) = 16*w - 3. Let b be j(i). Let u = -93 + b. Which is smaller: -3/4 or u?
-3/4
Suppose -22 - 74 + 53 = 43*m. Which is bigger: 935.6 or m?
935.6
Suppose -6*k + 3*k = -3. Suppose k = -3*t - l, 2*t + l - 5*l - 4 = 0. Let f be (216/(-3402))/((-3)/(-9)). Are t and f equal?
False
Let o = 440 + -446.59. Let s = o + 6.29. Which is smaller: 2/15 or s?
s
Let l = 2.6 + -2.488. Let z = l + -0.038. Let k = 12.074 - z. Which is bigger: k or -3?
k
Suppose -8*r + 4*r = -2*x - 20, 5*r - x = 31. Which is greater: -73 or r?
r
Suppose 0 = -s - 3*q + 40, -3*s + 2*q + 142 = -0*s. Let n = -97 - s. Is n at least -143?
True
Let s be 27/18 - (-14)/4. Let b be (-16 - -1)*s/15. Let u(r) = r**3 + 4*r**2 - 6*r - 5. Let p be u(b). Are -6 and p unequal?
True
Let u be (-12)/(-16)*(-5092)/(-19). Suppose u*x = 184*x. Let s be (6/(-44))/((-12)/64). Is s >= x?
True
Let t = -360 + 210. Let p be 5/(-4) - t/184. Is -1 > p?
False
Let r(d) = 34*d**2 + 41*d - 245. Let q be r(6). Let a be q/14 + 3/(-2). Which is greater: a or 87?
87
Let t = 18564.4 + -18735. Which is greater: -6 or t?
-6
Let b(t) = 58*t - 1883. Let o be b(18). Is o not equal to -840?
True
Let i = 1.3219 + 0.1081. Let r = 272 - 273.23. Let x = i + r. Which is greater: -1 or x?
x
Let t be 121/4 - 3/12. Let l = -7254 + 7255. Which is smaller: l or t?
l
Let r = 3572 - 17661/5. Let c = -37 + 78. Which is smaller: c or r?
r
Let c be (-7)/(-1) + -6 - (0 + -3). Suppose c*d = k - 5, -5*k - 1 = -d - 4*k. Which is bigger: -3 or d?
d
Suppose -3*d - 17643 = -3*y, -3*d + 23531 = 5*y - y. Let g be 2/4*y/17. Is 173 at least as big as g?
True
Suppose 6*m - 80 = 2*m. Suppose -56*g + 57*g = 3*p - 57, 5*g = 5*p - 85. Is p bigger than m?
False
Let v be (-12)/(-2) - 60561/10098. Let r = -1.99 + 2.99. Which is bigger: v or r?
r
Let z = -8328/7 - -33375/28. Which is greater: -184 or z?
z
Let s = 787 + -1372. Do s and -585 have the same value?
True
Let v = -193163/701532 + -4/13491. Let k = -5/26 - v. Which is greater: k or -1/3?
k
Let z = 163/297 + -794165/1447578. Is 1 bigger than z?
True
Let s = -5.51 - 0.49. Suppose k = -4*l + 17, -4*l + 20 + 0 = 4*k. Is l at least s?
True
Let j be (-5 - (7 - 9))/((-6)/(-15006)). Which is greater: j or -7502?
-7502
Let d = 211 - 196. Suppose r = -4*z + 15, -3*z - 1 = -2*r - d. Is 4/41 at most r?
False
Let a(j) = -2*j**3 - 19*j**2 + 10*j + 11. Let o be a(-10). Suppose -o = 5*u + 4. Let h = 0.4 - 0.4. Is u < h?
True
Let a = -765 - -765. Let c = -2372937 - -201736278/85. Let k = -431 + c. Is k at least as big as a?
False
Let t be (-6 - -4)/((-648)/(-63))*(-116)/(-8). Is -4 at most t?
True
Let d be (8 - (22 - 13))*(-1072 + (-4)/2). Which is greater: d or 1072?
d
Suppose -5*d = w - 44, 20*d - 22*d = -w - 12. Suppose -d*x + 8 = -10*x. Which is greater: -17/4 or x?
x
Let i = 127 + -44. Let b = i + -84. Let m = 11.98 - -0.02. Which is smaller: b or m?
b
Let c = 1383/475 - 82/25. Let p = c - -11/133. Suppose -6*y + 5*y + 1 = 0. Which is bigger: y or p?
y
Let t = -12740.173 + 12740. Let x = 164 + -164.073. Let m = x - t. Is 16 at most as big as m?
False
Let n(h) = 16*h**2 + 261*h + 211. Let x be n(-12). Which is smaller: -606 or x?
x
Let b = -117 - -67. Let l be (-80)/b*(-50)/4. Which is greater: l or -75/4?
-75/4
Let l(w) = 885*w**3 - 3*w**2 + 9*w + 14. Let c be l(-2). Do c and -7096 have the same value?
True
Suppose -76 = -4*b - 20. Let q be (-1)/((-4)/b - 402/(-1358)). Let c = -97 - q. Which is smaller: -0.21 or c?
-0.21
Let u = -169 - -168. Let y be u*4*(270/40)/1. Is y greater than or equal to -26?
False
Let l be ((-98)/28*2/14)/(30/4). Which is greater: l or 22/9?
22/9
Let m(v) = -3*v + 22. Let n be m(4). Suppose 74*a = 76*a + n. Is a < 21?
True
Let z be (21/6)/((-4)/8). Let h = 3732 + -3740. Which is bigger: z or h?
z
Let p = 11.3 - 11.8. Let d(f) = -f**2 + 14*f - 6. Let x be d(14). Let 