. Let u be (d/640 + 4)/(-1). Which is smaller: u or 0?
u
Let u = 87 - 19. Let z = u - 68. Which is bigger: 2/99 or z?
2/99
Suppose -5*z + 6 = -i, 3 = -2*i + 5*z - 14. Suppose 4*n = 27*n - 1035. Let r be (n/(-9) - 6) + -1. Is r > i?
False
Suppose c + 5*n = -16, 4*c - 3*n - 22 - 6 = 0. Suppose -2*h = h - c*h. Which is greater: 20/31 or h?
20/31
Let s = -15258 + 14695. Which is smaller: s or 1?
s
Let g(p) = 24*p - 343. Let s be ((-102)/15 + 4)/((-11)/55). Let f be g(s). Which is smaller: f or -8?
-8
Let a be (-5)/4*-2*(-2344)/4. Let o be -5*(a/25 - 5). Suppose -x - 125 = x - y, 5*x + o = -3*y. Which is smaller: x or -65?
-65
Let f = -2/36609 - 52241035/146436. Which is greater: -357 or f?
f
Let c = -11300 - -11260.2. Let i = 5.3 - -34.7. Let u = c + i. Which is greater: 0.16 or u?
u
Let n = 272516/59 - 4619. Is -0.3 less than n?
True
Let a(i) = -2*i + 63. Let b be a(28). Suppose b*v + 0*v = 2*v. Let f be (12/8)/((-22)/(-4)). Is v less than or equal to f?
True
Let t = -10437 - -2687. Is -7750 greater than t?
False
Let x = -1.394 + 772.394. Let c = x + -786. Which is greater: 9 or c?
9
Let v(p) = 70*p - 503. Let k be v(7). Let o be 1*8*(-2 + 0). Let c = o - k. Which is bigger: c or -2?
-2
Suppose -109*p - 7296 = -97*p. Let k = -608 - p. Is 3/101 smaller than k?
False
Suppose 0 = 125*i - 134*i - 1152 - 1215. Which is greater: -1842/7 or i?
i
Let z = -159 + -24. Let l = -184 - z. Which is smaller: 150 or l?
l
Let x = 2662 - 268859/101. Which is smaller: 0 or x?
0
Suppose -206*q + 85 = -211*q. Let a be (q/(-34))/(2/(-12)). Are a and -42/13 nonequal?
True
Let x be 15208/(-22776) - 34/(-51). Does 0 = x?
False
Let h be 1/2*(-22)/(-33). Let s be 1/10 + (-1)/2. Is h > s?
True
Suppose -10*a + 4*k - 1700 = -7*a, -2*a - 5*k = 1095. Let g = 790 + a. Which is smaller: 232 or g?
g
Suppose -3*g - f + 3*f - 23 = 0, -4*f = -4*g - 32. Suppose -4*a - 212 = 2*o, 3*o + 2*o = 10. Let u be (a/36)/((-1)/(-6)). Is u smaller than g?
True
Suppose 6 = 2*x - 4*x - 5*k, k - 6 = 2*x. Let a be -6 + 987/132 - x/12. Is a greater than 2?
False
Let m(z) = z**2 + 6 - 5*z + 14 + 26 + 24*z. Let g be m(-21). Suppose 5*l + 8 = g. Are l and 15 unequal?
True
Let y be (-13 - (-968)/72)*6/(-4). Which is smaller: y or -81?
-81
Suppose -3*r - 1 = -2*x - 24, -5*r + 13 = 3*x. Is 5 greater than r?
False
Let g be -16 - (45305/578)/(-13). Which is bigger: -10 or g?
g
Suppose 0 = -q - 3*o + 7, 0 = -4*q - 5*o + 7. Let w(j) = 4*j + 2. Let z be w(q). Let r be (7/(-1) + 4)*(-4)/(-12). Which is bigger: z or r?
r
Let c = 1.574 + -1.62. Let h = c + -0.354. Which is smaller: h or -10?
-10
Suppose 4*d + 96 = 4*q, q = 2*q - 2*d - 28. Suppose q = 7*b + 6. Let t be 6/(-4)*b/3. Which is smaller: -4/7 or t?
t
Let u = -3843 + 2920. Which is smaller: u or 2?
u
Let o(g) = 2*g**3 + 11*g**2 - 4*g - 16. Let k be (9/(-27))/(4/60). Let a be o(k). Is 57/2 < a?
True
Suppose 59*s - 778855 = -26*s. Which is smaller: s or 9165?
s
Let l = -1708023456097/319 + 5354299737. Let m = -5768 - l. Does m = 0?
False
Let r = -0.6257 - -0.6067. Is r equal to -4?
False
Let b = -27002/15 - -9004/5. Let s be (-20)/(-1345)*2/(-4). Let n = s - 769/5111. Is n at least b?
False
Let t = 1906 - 152479/80. Let h(l) = l**2 - 2*l - 2. Let z be h(2). Which is greater: t or z?
t
Let f = -636 + 638. Let y be (f/(-10))/((3 - 0)/(-45)). Is y less than or equal to 16/7?
False
Let a(d) = -d**3 + 13*d**2 - 13*d + 7. Let q(j) = 8*j. Let u be q(3). Suppose 4*r - u = 24. Let p be a(r). Is p at least -3?
False
Suppose -11 = 232*k - 235*k - w, 2*w - 2 = 4*k. Is k at most as big as 27/17?
False
Let x = 733 - 669.4. Let k = x + -71.6. Is -0.17 at most as big as k?
False
Let z = -25.203 - -25.1. Let w = -0.263 - z. Which is greater: 3 or w?
3
Let r = -36624007/2286 - -16021. Which is greater: 1 or r?
1
Let y = -53.489 + 0.489. Let r = -1.8798 - 51.0852. Let m = r - y. Which is bigger: m or 0.1?
0.1
Let h = -41 - -55. Suppose 45 = 82*p - 73*p. Which is smaller: h or p?
p
Let p = -563/1885 - 1/754. Let w(r) = 4*r - 14. Let j be w(6). Suppose 0 = -2*u - 8 + j. Is p at most as big as u?
True
Suppose 4*l = -687 - 17. Let j = -1279 - -1104. Is l >= j?
False
Let y be (12/(-18))/((-4)/(-6))*-2. Let k be 3220/(-100)*y*(-2)/4. Is k < 31?
False
Let d = -319 - -329. Suppose d*u = -0*u + 40. Let l = 20 + -31. Which is smaller: l or u?
l
Let a = 0.79 + -4.37. Let k = -717.42 + 717. Let i = a + k. Is -4 at most i?
True
Let p be (-19*(-90)/38760)/((-27)/8). Is p at least as big as 0?
False
Let m be 16 + 3 + 22/(-2). Let t be 17/((m/(-12))/2). Which is smaller: -52 or t?
-52
Let c be (((-18)/10)/(-3))/(11/55). Suppose -c = 50*m - 47*m. Which is greater: m or -130?
m
Suppose -412 = x + 2*g, -4*x - 5*g + 161 - 1794 = 0. Which is smaller: -399 or x?
x
Suppose -g + l - 84 = -0*g, l - 408 = 5*g. Let u = -67 - g. Let b be (-2530)/(-154) + 8/u. Which is smaller: -1 or b?
-1
Let j be 61/7 + (-2)/(-7). Let u be 538056/70278 - ((-8)/(-136))/(2/4). Which is greater: u or j?
j
Let g(p) = 5*p**2 - 24*p - 128. Let d be g(-5). Let i = -156 + d. Is i equal to 0.2?
False
Suppose -3*d = 5*f + 1173 + 118, 417 = -d + 5*f. Is 1 at most d?
False
Let q = -1360 - -1330. Which is smaller: 2/51 or q?
q
Suppose 402*x - 180 = 397*x. Let g = 10 - x. Is g less than or equal to -23?
True
Let c = -9 - -6. Suppose 2*b + 5*p + 29 = 0, 3*p + 15 = 5*b - 2*p. Let h be b + 6*2/7. Is c > h?
False
Let v be 24/20*5 - -1. Let n(l) = -3*l**2 - 199*l + 1748. Let w be n(8). Are v and w equal?
False
Let g = -0.6 - 1.4. Let w be (-28)/(-2793)*(-385)/110. Are w and g nonequal?
True
Let r(i) = -i**2 - 222*i + 2066. Let f be r(9). Is f >= -414/29?
True
Let c(n) = -412*n + 132. Let o be c(-9). Suppose -494 = 14*a - o. Is a not equal to 237?
True
Let x = -1157 + -933. Which is smaller: x or 1?
x
Let s(t) = -t**3 - 5*t**2 + 9*t + 6. Let a be s(-6). Let x be (-3)/a*(3 + (-252)/68). Do 7 and x have the same value?
False
Suppose -7 = -55*l + 53 - 5. Which is greater: l or -2/10065?
l
Suppose -k + 170 = -2*i - 0*i, -5*k - 5*i = -925. Let t be k/189 + (-4)/14. Does -43/2 = t?
False
Let q(p) = -38*p**2 - 8*p. Let z be q(7). Is z != -11513/6?
True
Suppose 4*b = -2*l + 4*l + 372, 459 = 5*b - 4*l. Let c = b + -186. Which is greater: -92 or c?
c
Let d = -14087 + 13151. Which is smaller: -937 or d?
-937
Let w = 2461/3 + -821. Suppose 14 = 5*z - 21. Suppose 10 = p + 2*x + 4, z = 3*p - 5*x. Is w bigger than p?
False
Let o be 19/(-2)*(-1057)/(-302). Suppose -l - 164 = 5*x, 5*l + 72 = -2*x + 11. Which is smaller: x or o?
o
Let z(d) = d**3 + 7*d**2 - 6*d + 12. Suppose 5*y + 37 = 3*o, 5*y - 5*o = 2*y - 19. Let b be z(y). Let w be ((-3)/(-6) - 1)*(6 - b). Is -5 smaller than w?
False
Let q be (-312)/(-5) + (-2)/5. Let m be (1152/(-90) + 13)/(1/305). Is q greater than m?
True
Let z(a) = -39*a**2 - 2*a + 1. Let n be z(1). Let l be (-26)/n + 4/(-10). Let u = -245 - -244.9. Which is greater: u or l?
l
Let c = -22005 + 21741. Which is smaller: -277 or c?
-277
Suppose -t + 2 = t. Let a = 1 + t. Suppose -50*h - 7 = 1 - 108. Is h bigger than a?
False
Let n = -2992 - -4715. Which is smaller: n or 15508/9?
n
Let w = 365 - 503. Let h = w - -128. Let b be 1 - (-1 - (-2 - -1)). Which is bigger: h or b?
b
Let w = 416 - 416. Suppose u = 2*p + 8, -u - p = 7 - w. Is 12 > u?
True
Suppose 3*r + 2872*n - 123 = 2869*n, r = 5*n + 35. Which is greater: r or 1254/31?
1254/31
Let d = 3/5522 + -80075/11044. Let c be 0 - 9 - (-4)/2. Which is bigger: c or d?
c
Let m = -5.1 + -131.9. Let n = m - -136.95. Which is smaller: n or 4?
n
Suppose -398*i = 12*i + 1886820. Which is smaller: -4604 or i?
-4604
Suppose -35 = -9*m + 2*m. Suppose -46*w - m = -45*w. Is -49/8 < w?
True
Let i = -2/629 - 3133/3774. Let j = -24 + 22. Let d(z) = -z**3 - 3*z**2 - 3*z - 2. Let q be d(j). Which is greater: i or q?
q
Let j(y) = y**3 + 19*y**2 - 23*y - 47. Let p be j(-20). Suppose 4*z = 2*c - 12, p = -4*c + 5*z + 25. Which is smaller: c or -13/17?
c
Suppose 629*t - 634*t + 24695 = 0. Let c = t + -479073/97. Which is greater: 0 or c?
c
Suppose 14 = 15*h - 16. Let u be 10/8 + h/(-8) + -2. Is 2/103 at most u?
False
Let b be (10 - (-2635)/(-25))*(-20)/6. Are b and 323 non-equal?
True
Suppose b - 5*l = -7, -2*b + 4*l + 42 = -4*b. Let v = -19 + 43. Let z be v/42 + 232/(-14). Which is bigger: b or z?
z
Let q