. Suppose -5*t + 4*t + b*g = 13, 5*t - 7 = -4*g. Is t at least -4/41?
False
Let q = -51691/5858 - -684/101. Let h = q + 45/29. Which is smaller: 148 or h?
h
Suppose -430*h = -435*h - 3*q + 747, -2*q = -18. Is h not equal to 141?
True
Let x be 390/156*(2/5)/2. Let t(d) = -4*d**2 + 4*d + 2. Let f be t(5). Let u be (-1)/f*(4 - 8). Which is greater: x or u?
x
Let t(r) = 2*r + 8. Let u be ((-2)/(-1))/(20/(-80)). Let o be t(u). Let c be -1 + (-4)/o*0. Which is bigger: c or 1/12?
1/12
Let b = 218875/122 + -1794. Does b = -1?
False
Let k(l) = 16*l**2 - 4*l + 4. Let w be k(1). Suppose 3*z + 3 = -3*a, -2*z + 7 = -3*a - w. Do -3 and a have different values?
True
Suppose 3*u + 81*h - 85*h - 396 = 0, -4*u = h - 528. Let l = -129 + u. Which is bigger: 1/15 or l?
l
Let b be ((-7)/(-196))/((-178)/(-1648)*-1). Let x = -772 + 68704/89. Let i = x - b. Which is smaller: 1 or i?
i
Suppose -5*y = -w - 9, -10*y - 381 + 427 = -4*w. Let b = -218/35 - -29/5. Which is greater: b or y?
b
Let x = -2.721 - -2.901. Which is bigger: x or -39?
x
Let p be ((-14)/(-3))/7*-3. Let j be (2 + -4)*p/32. Let i(n) = -n. Let d be i(3). Do j and d have the same value?
False
Let g(b) be the third derivative of -b**5/15 + b**4/6 + b**3 - 2*b**2. Let t be g(-2). Let s be -3 - -2 - -1 - t/(-153). Is -1 at least s?
False
Let t = 963/2891 + 2/8673. Which is smaller: -3104 or t?
-3104
Suppose 392*p + 124 = 908. Which is bigger: -2/683 or p?
p
Let b(f) = -f**3 - 20*f**2 - 14*f - 139. Let o be b(-20). Is 25 < o?
True
Let w(b) be the first derivative of -12*b + 2*b**2 + 3*b**2 - 20 - 2 + 42*b. Let s be w(-3). Is -8/9 less than s?
True
Let t(i) = i**2 - 9*i + 1. Let a be t(8). Let o be (a/18)/(7/(-105)). Let c = -439 - -444. Which is smaller: c or o?
c
Let h be -5 + 1 + 2 + 112/44. Suppose -5*w + 3*w = 5*z + 14, w - 3 = 0. Is h at least as big as z?
True
Let t be 74/185 + 1*46/10. Let k(z) = -21*z + 69. Let u be k(t). Which is greater: -31 or u?
-31
Suppose 0*g + 189 = -2*r + g, -4*r - 366 = 2*g. Let s be (-1310)/14 + (-60)/140. Is r greater than or equal to s?
True
Let t(z) = -873*z - 7. Let s be t(0). Is 1186 greater than s?
True
Let w = 3652.1 + -3652. Is w less than or equal to -3.5?
False
Suppose 2*j - 1 = k + 71, 2*j = 4. Let c(x) = -x**3 - 2*x**2 + 6*x - 1. Let b be c(-4). Let v be -72 + (280/b)/10. Is v at most k?
True
Let f be -41*(-29)/13079 + (-20534)/(-33). Is f at most 622?
False
Let h = -170 - -169.559. Let z = h + -0.059. Is -11 less than z?
True
Let s be 39/360 - 30/225. Are s and -1 equal?
False
Let j = 69.39 - 34.39. Which is smaller: -16 or j?
-16
Let h be (-1)/(8/(-80)) - 8. Suppose 0 = 5*k - 3*k - 3*t + 32, 0 = 4*k + h*t + 48. Are 0.3 and k unequal?
True
Let b = 436 - 194. Let l = 213 - b. Is 4 > l?
True
Let m = 2 - 1. Let u be (-57)/(-6)*(-1 - m). Let q be -38 - -6 - (-481)/37. Is q smaller than u?
False
Suppose 8397 + 3747122 = -216*q + 115703. Is q greater than -16849?
False
Let z be (-4945)/2200*(-2 - -8). Let k = z - 3/220. Suppose -4*v + 3*v = -f + 11, -4*v + 5*f = 41. Is k at least as big as v?
True
Let b(m) = 561*m - 1320. Let s be b(3). Is 361 < s?
True
Let g = 4854 - 4849.791. Let b = g - -0.091. Let t = b + -5.1. Is -1 bigger than t?
False
Let w = 507 + -514. Suppose 45 - 15 = 5*y. Is w less than y?
True
Let c be ((-7)/(-4))/((-2)/16). Let z = 0.49973 + -0.59973. Are c and z unequal?
True
Suppose -3*j - 5*u - 239 = 0, -62 = -j - 2*u - 143. Which is smaller: -70 or j?
j
Suppose -b - 6*b = 49. Let d = -1.53 - -1.43. Which is smaller: d or b?
b
Let v(y) = y**3 - 26*y**2 + 50*y - 28. Let m be v(24). Let u be (m - -17)*(-2)/2. Is u > 0?
False
Let a(l) = -128*l**2 + 29*l - 4. Let g be a(5). Let y be -1 + (g/(-138) - (-1)/(-6)). Suppose 3*d - 4*n = 63, -3*n + 84 = d + 3*d. Is y greater than d?
False
Let b = -23119/14868 - 1/1652. Let x = b - -11/9. Suppose -17 = 7*o + 39. Does o = x?
False
Let r(i) = i**3 + 10*i**2 + i + 5. Let c = 54 + -8. Let l = c - 56. Let o be r(l). Is -5 bigger than o?
False
Let k = 2493 - 2483. Are k and 37 unequal?
True
Let d = -50 + 49.34. Let k = -981.76 - -981. Let g = k - d. Is g less than or equal to -0.08?
True
Let o = 37254 - 37306. Do o and -904/17 have the same value?
False
Let z = -105.4 - -116.4. Let s be (-10)/(-12)*48/300. Which is smaller: s or z?
s
Let z(a) = 35*a - 61. Let b = 219 - 216. Let i be z(b). Which is bigger: i or 46?
46
Let o = -12 - -9. Let x be o/3*(6/(-9))/2. Let g = x - 11/15. Is g at most as big as 1?
True
Let w be -34*1 - (0 - -1). Suppose -5*z - 4*u = -5*u + 196, 0 = 2*u - 12. Which is smaller: z or w?
z
Let g = -7281 + 7279. Let s = 1.7 + 185.3. Is s at most as big as g?
False
Let z = -2431 - -2431.2. Which is greater: 1/98 or z?
z
Let b be (-2 - 0 - 69)/(-1). Suppose -3*q + 7 = -4*o + 18, -5*o = -5*q - 10. Suppose -o + b = -2*t. Which is greater: t or -32?
-32
Let y(m) = -m**3 - 6*m**2 - 16*m. Let a be y(-7). Suppose -5*u - s = s - 295, 2*s = 3*u - a. Suppose 56*t = u*t. Is 5/8 bigger than t?
True
Suppose 95*p = -139*p + 234. Which is smaller: 2/9393 or p?
2/9393
Let d = -402.91 - -396. Let o = -7.11 - d. Which is smaller: 144 or o?
o
Suppose q = -32 + 31. Let b be q + 5 - ((-70)/(-3))/7. Are b and 0.4 nonequal?
True
Let t = -3002 + 3015. Which is greater: t or -3?
t
Let r = 3330 - 3023. Is 0 less than r?
True
Let z(i) = i**3 + 8*i**2 + 2*i + 17. Let n = 585 + -341. Let m be n/(-28) - -1 - (-2)/(-7). Let y be z(m). Do 0.2 and y have the same value?
False
Suppose 4*k - 240 = -4*k. Suppose u + 4*r - 6*r = 29, 3*u + r = 87. Which is bigger: u or k?
k
Suppose -24 = -3*b + 6. Let u(a) = -67*a - 131. Let q(o) = -29*o - 66. Let r(p) = 7*q(p) - 3*u(p). Let d be r(b). Which is greater: d or -90?
d
Let s(l) = -l**2 + 17*l. Let j be s(15). Suppose 2*m - 20 = 6*m, -4*m + 42 = 2*h. Does j = h?
False
Suppose -3*q - 3*f = 9, 48 = -2*f + 44. Let m be -4 + 6/15*7. Is q > m?
True
Let y be (32/(-3264))/((153/(-4))/17). Which is smaller: 1 or y?
y
Let a be (-13700)/(-411) + 1/((-6)/(-4)). Which is smaller: a or 27?
27
Let y be (-25)/(1125/80)*9/(-12). Which is smaller: y or -54?
-54
Let p = 0.049 + 0.039. Let x = p - -69.912. Let c = 64 - x. Which is smaller: 0 or c?
c
Let b be 1535*96/983190 - (-8)/(-52). Which is smaller: b or 1?
b
Suppose -s = -3*v + 26, -2*s - 42 = -v - 5. Let c(m) = -m**2 - 14*m - 30. Let h be c(s). Let u be ((-4)/6)/((-6)/h*-3). Is u bigger than -2?
True
Let t be (1/(-3))/(20/(-60)). Suppose 15 = 2*b + 3*b. Let a be b/(90/87) + 2/(-4). Is t greater than or equal to a?
False
Let z be 839 - -5 - (-350)/25. Which is bigger: 0.2 or z?
z
Let d be ((-555)/20)/(9/(-72)). Let p = 3109/14 - d. Which is smaller: -11 or p?
-11
Let f be 3/(-8) - 1770/16. Let l = 124 + f. Which is bigger: 14 or l?
14
Let r = -436.267 + 436. Let z = r - -44.267. Is 3 less than z?
True
Suppose -4*w + w - 900 = 0. Let k = -62 - w. Let h be (-2)/(-2) - 289/k. Is h equal to 0?
False
Let s(y) = y - 10. Let d be s(10). Suppose v = u + 3, -5*v - 3*u = -18 - 29. Suppose -v + d = 7*c. Which is bigger: 5/12 or c?
5/12
Let s = 4373 - 6267. Is -1894 greater than or equal to s?
True
Let x = 360 - 486. Let q = -100 + 38. Let m = q - x. Which is smaller: -1 or m?
-1
Let f = 2561558/19481 + -3024/23. Which is bigger: f or 0?
f
Let f = -0.0178 - -1512.0178. Which is bigger: 3/4 or f?
f
Let d = -1447883339/19283 - -75086. Which is bigger: -1 or d?
d
Let o = 35962 + -35961. Is -8/4197 at least as big as o?
False
Let z = 62.815 - -3.225. Let v = z - 66. Let f = 9 + -16. Is f at least as big as v?
False
Let n = 57 + -57. Suppose -1 = -d, 2*j = d - 5*d + 4. Let u be 2 + j - (130/34 + -2). Is u less than n?
False
Let b(a) = -6*a - 124. Let z = 120 + -145. Let c be b(z). Which is bigger: c or 27?
27
Let m(o) = o**3 + 3*o**2 + 1. Let t be m(-3). Suppose -46*x + 776 + 420 = 0. Does t = x?
False
Let n = -263 + 262. Let p = -3760 - -3743.97. Let z = p - -16. Is z equal to n?
False
Let q = -22 - -34. Let w = q + -28.8. Let g = -4.8 - w. Which is greater: 1 or g?
g
Let p(j) = -105*j - 1214. Let c be p(-10). Are -163 and c non-equal?
True
Let f be (-8)/44 - 35/(-11). Suppose 5*o - 4 = f*o. Suppose -o*i = 3*i - 15. Is i > 4?
False
Let y be (1404/(-273))/((-2)/966). Which is bigger: y or 2477?
y
Let d = 0.2 - 0.2. Let z = 5058.1 - 4837. Let x = z - 222. Which is great