 be w(10). Suppose c*a = 5*a + 2, 210 = 5*j - 5*a. Which is greater: j or 40?
j
Let s be (0/2 - -1)*6. Let h = -1988 + 1988. Suppose -s*t = -2*t + 3*r - 112, h = 3*r. Which is greater: -0.1 or t?
t
Let m = -4 - -9. Let x = -3568 - -3575. Which is smaller: m or x?
m
Suppose -38 = 3*b + 5*n + 54, -b = n + 30. Let k = 174 - 169. Suppose -5*f = k*d + 135, 2*d + 6*f = f - 51. Which is bigger: d or b?
d
Let w be 4*2/(-6)*(-885)/(-10856). Let m(a) = 2*a + 3. Let d be m(-2). Is w bigger than d?
True
Let t be (-15)/(-177)*(-24)/30. Let f = 825 - 825. Is t greater than or equal to f?
False
Suppose 13*u = 3*s + 11*u - 204, s = -4*u + 82. Which is smaller: 68 or s?
68
Let g(i) = 21*i - 24 + 53*i**2 - 55*i**2 - 4*i. Let s be g(7). Suppose 5*d - 2*a + 21 = 0, -3*d - 4*a - a = -6. Is s > d?
False
Suppose 14069*o + 17 = 14086*o. Does o = -11/72?
False
Let d = -131 - -259. Let x = -85 + d. Let b = x - 22. Which is greater: b or 22?
22
Let s be (-9)/(45/9 + 18/(-4)). Let t be -1 - -2 - (s - -22). Which is smaller: t or -49?
-49
Let t(l) = 81*l - 29. Let n be t(2). Suppose 128 = -5*g + n. Is g < 12/65?
False
Let y = 0.82288 - -0.17712. Which is bigger: -7/76 or y?
y
Let y(w) = 0 - 11*w + 6 + 4*w + 11. Let h be y(2). Let g be (-357)/36*(-4)/14. Is g equal to h?
False
Let x be ((-78)/(-4))/(3/2). Let s(h) = h**2 - 13*h - 24. Let k be s(x). Which is bigger: -22 or k?
-22
Let i = 0.06953 + 2.93047. Do i and 269/11 have different values?
True
Let d be 16/(-24)*((-21)/2)/1. Suppose -d*m - 8 = -57. Suppose m*u - 347 = -60. Which is greater: 0 or u?
u
Let k = 130 - 114. Suppose k*t - 14 - 2 = 0. Which is smaller: -8 or t?
-8
Suppose 5*n - 70 = 5*o, 35*o - 20 = 39*o. Is -53 > n?
False
Let a = -14932050 - -46364014796/3105. Let d = -2/1035 + a. Suppose -5 = -5*t + 4*x, t - 4*x = -2*t + 3. Are d and t non-equal?
True
Let n be (-4)/22 + 3 + -2*(-776)/(-176). Is n >= 460?
False
Let p be 5/((-150)/(-90)) + -2 + 1. Let q = -14 - -13.63. Is q < p?
True
Let h = -193 - -194. Let n be (-56386)/(-231) + 4/(-42). Is n < h?
False
Let s = -0.34861 + 0.54861. Is -2520 bigger than s?
False
Let a(v) = -v**2 + 71*v + 54. Let j be a(18). Is 1007 at most as big as j?
True
Let f be (-5)/((-5)/(910/(-63))*112/12). Which is smaller: -2 or f?
-2
Let y = 70658/219 + -968/3. Suppose -14 = 24*s + 10. Which is smaller: y or s?
s
Let y be (40 + -25)*18009/(-45). Which is greater: -6001 or y?
-6001
Let r(x) = -2*x - 9. Let i be r(-6). Let h = 47 + -79. Let m = h - -37. Which is smaller: m or i?
i
Let y be 776 + (-2 + 0 - -3). Let o = y + -521. Let m be o/312 - 4/26. Which is greater: -12/7 or m?
m
Suppose 0 = -23*g - 22*g + 47*g. Suppose -h - 2*h - 2*z + 125 = g, 4*z - 207 = -5*h. Which is greater: -1 or h?
h
Suppose -5*s = -2*t + 2678, -74*s = -79*s + 4*t - 2686. Let c(q) = -266*q - 2. Let v be c(2). Is v at least s?
True
Suppose 0 = -2*i - 4*g - 146, 61*i - 64*i + 4*g = 259. Which is greater: i or -734/9?
i
Let x = 0.7785 - 18.7785. Are -4 and x nonequal?
True
Let t = -24294607931/854327670 - -2/2686565. Let w = t + -10/159. Let o(u) = 10*u + 1. Let p be o(-3). Which is smaller: p or w?
p
Suppose 26 = 16*t - 22. Let f be ((-57)/38)/(t/20). Which is greater: -98/9 or f?
f
Let k(v) = 2*v**2 - 30*v - 47. Let h be k(16). Let a be ((-30)/4)/h*82. Is a less than or equal to 35?
False
Suppose 4*m - 6 = -2. Let h = -3951 - -3951. Are m and h unequal?
True
Let c be 36*(25/15)/5. Let y be (-18)/72 + 199/c. Are y and 1 equal?
False
Let t = 19 + -17. Let r(l) = -l**2 - l + 4. Let v be r(t). Let n = 336/5 - 348/5. Which is greater: n or v?
v
Let c = -103 - -105. Suppose 0 = o + c*u + 14, 5*u = 4*u + 2. Suppose -2*y - 4*x - 48 = 0, -2*y = 4*x - 2*x + 42. Is o less than or equal to y?
True
Let j(n) = n**2 + 10*n - 291. Let h be j(-24). Which is smaller: h or 116?
h
Let m = 0.1 - 0.3. Suppose 30*u + 2*c = 25*u + 76, 120 = -10*c. Is u >= m?
True
Let u(k) = k**2 - 4*k. Let r be u(4). Let w be 3 - (4/(-2) + 10). Let i be (3 - (-10)/w) + r + 0. Which is smaller: i or 3/10?
3/10
Let u be 2/6 - (-24)/36. Let j be (1/(-3 - 38/(-5)))/u. Which is greater: 0 or j?
j
Let q be (0 + 278)*((-32)/96 + (-14)/(-6)). Is q greater than 3890/7?
True
Let a = 268 - 153. Suppose -a = -5*d - 0*d. Suppose -2*f + 43 = -1. Is f less than d?
True
Suppose 143 = a + 4*d, -5*a - 2*d - 163 = -770. Which is smaller: 1310/11 or a?
a
Let k = -84 - -86. Suppose -236 = 2*z + k*l - 70, 2*z = l - 172. Which is smaller: z or -2/5?
z
Let w(j) = -j**2 - 3*j + 3. Let o be w(-4). Suppose 0 = 4*b - 4, 0 = 3*n - 2*n + 3*b - 2. Let a be 1 - (-2 + n) - (-231)/(-57). Are o and a unequal?
True
Let s = -38632/9 - -5318338/1239. Is 1 not equal to s?
True
Let p = 35 + -52. Let u = -3457/3 - -1136. Let x = -16 - u. Which is greater: x or p?
x
Let l = -3477 - -3554. Is 542/7 != l?
True
Let s be 2*((-4100)/(-40))/(-5). Suppose -3*f + 4*c - 21 = -2*f, c + 169 = -4*f. Let r = s - f. Does r = 4/55?
False
Let m = -5917 - -6144. Is m >= 219?
True
Let q be (77/(-35) + -1)/((-7690)/25). Which is greater: 0 or q?
q
Let a = 2069 + -2078. Is a smaller than -2/33?
True
Let u be (900/(-275))/(-36) - (-6102)/(-3597). Is -2 less than or equal to u?
True
Let k be ((-1357)/(-10 - 13))/((-1)/(-28)). Is 1652 greater than k?
False
Let q = -0.436 - 204.564. Let o = q + 207.15. Is o less than 0.1?
False
Let r = -157163/16530750 + -1/19750. Do r and 1 have the same value?
False
Let u(d) be the third derivative of 7*d**4/12 + d**3/6 - d**2. Let a be u(-1). Suppose -m + 5*j = 29, 177 - 136 = -4*m - 5*j. Are a and m unequal?
True
Let p be (-82)/(-189) - (-2)/(-7). Let s(x) = -x**2 + 28*x - 1. Let i = -38 - -66. Let u be s(i). Which is greater: p or u?
p
Let k = 43 - 45. Let l be (63/18)/(k/(-4)). Suppose -5*b = t - 4*b - 6, 0 = 3*b + 6. Is l at most as big as t?
True
Let k = -1224 - -2327. Is k greater than 1101?
True
Let q be 12/105 - (-4)/14. Let h = 269 - 481. Let k = 288 + h. Is q > k?
False
Let k = 10.11 + -144.41. Let n = 134 + k. Which is greater: n or -16?
n
Let k be (6/4)/((-9)/(-6)). Let l be (k/2)/((-3)/6). Suppose -12*i + 0 = 36. Is l at most i?
False
Let s = -18 + 25. Let b(p) = 4*p - 13 + p - 2*p + 7*p - 8*p. Let g be b(s). Which is smaller: 2/5 or g?
2/5
Let b = 92314 + -92368.121. Let m = 0.121 + b. Let i = 52 + m. Is 2 at least i?
True
Let m = -30.1 - -19.4. Let h = 11 + m. Which is bigger: h or 27?
27
Suppose -9*p + 5*s + 35 = -6*p, -4*s = 16. Let i be p/(160/8) + (-97)/4. Let a = i + 23. Which is greater: -20/9 or a?
a
Let y be 4 + 1 - ((-99)/330)/((-12)/584). Let a be (1/(-2))/((-2)/(-40)). Which is smaller: y or a?
a
Let b = 38358/5 - 7834. Let k = -162 - b. Let q = 2.31 - 2.3. Which is smaller: k or q?
q
Let x = 27 + -16. Let o be x/(-55) - 22/(-310). Let w be (2/(-4))/(1/2). Is o at least as big as w?
True
Let i = 5 - 80. Are i and 8 non-equal?
True
Suppose 12*i = -18*i - 24660. Is i >= -821?
False
Suppose -946 = -3*c - 934, -4*b - 3*c + 1592 = 0. Is 389 not equal to b?
True
Let b be ((3996/(-99))/3)/((-4)/86). Do 290 and b have the same value?
False
Let k = 0.221 - 0.321. Let j = -45.1 - -50.8. Is k bigger than j?
False
Let g = 12121164/23 - 526868. Let q = g + -139. Let v = 14926 - 14926. Are v and q equal?
False
Let g be 66712/10812 - (7 + -1). Let q = g - -1/159. Suppose 0 = 4*c + 1 - 9, -4 = -s - 2*c. Which is smaller: q or s?
s
Let h be -1 + 3/(-42)*122. Let v = -66/7 - h. Let u = -17.871 + -11.129. Which is smaller: v or u?
u
Let a be 60/(-2610)*(-4)/(-276). Which is smaller: 0 or a?
a
Let m be (-6)/(-8) + 66/8. Let t(v) = 6*v + 32. Suppose 4*r - 21 = 4*h + 9*r, 0 = 3*h + 4*r + 16. Let o be t(h). Is m at most as big as o?
False
Suppose -5*m + 4*w - 160 = 5*w, -2*w - 160 = 5*m. Let o be 5/(-1) + (-136)/m. Which is smaller: -0.44 or o?
o
Let d be (-50)/7 + 2/14 - 635. Which is smaller: d or -639?
d
Let l = 391.4 - 391.7. Which is bigger: 450 or l?
450
Suppose -2*d - 5*z + 3*z - 44 = 0, d - z + 28 = 0. Is d at least -437/17?
True
Let d(k) = 36*k - 1562. Let r be d(49). Which is greater: r or 1820/9?
1820/9
Let o = -78 - -6. Suppose -9 = 3*a, 77*p - 82*p + 2*a = 339. Let n = o - p. Are -5/2 and n non-equal?
True
Let z = -16699257/4130 + 20217/5. Let w = -233/826 + z. Let u be ((-3)/(-5))/((-4)/(-2)). Does w = u?
False
Let l = 55 + -59. Let o = -123753 - -985955/8