. Which is smaller: a or r?
a
Suppose -11*m + 13*m - 9977 = 5*t, 3*t + 4*m + 5955 = 0. Which is bigger: -3987/2 or t?
t
Let w = 5.97 - 121.07. Let k = -1296.8 + 1411.8. Let f = k + w. Which is smaller: 67 or f?
f
Suppose 2*q - 5*f + 8 = 0, -f - 2*f + 9 = 3*q. Let o(m) = 5*m - 3. Let s be o(q). Let b = 1 - s. Which is smaller: 3/37 or b?
b
Suppose -4*w - a + 20 = -3*w, -4*w + 4*a + 72 = 0. Suppose -11*g - 992 = -w*g. Is 126 > g?
True
Let g(s) = s**2 - 12*s. Suppose 0 = 2*h + w - 25, -4*h + 2*w + 46 = 0. Let y be g(h). Let f = 6965/59 - 118. Is y bigger than f?
False
Let a be (-43995)/482735 - (0 - 3). Let f = -2/8777 - a. Is -2 bigger than f?
True
Let h = 8790.9 + -8791. Is -360 at most h?
True
Let d be (-3)/2*8/12 + -47. Let s be (d/18 - -1)/((-2)/6). Is s at least as big as 12?
False
Suppose -3*v + 5*i = -6917, 6909 = 11*v - 8*v + 3*i. Is v at most as big as 2304?
True
Let a be (-5874)/(-330) - 1/(-2). Which is smaller: 18 or a?
18
Suppose 2*b + 236*w - 232*w = 18, -17 = -b - 4*w. Let y = -31 + 1. Is b smaller than y?
False
Suppose 29*h - 26*h - 3*w + 2937 = 0, -6 = -2*w. Is h bigger than -3903/4?
False
Suppose 7982*i - 8052*i = 0. Which is smaller: -21/454 or i?
-21/454
Let s(w) = w - 8. Let r be s(8). Suppose 15 = -f + 2*t, 2*t - 47 = 3*f - 6. Let l be -2 + 0 - 39/f. Do l and r have the same value?
False
Let y be -6 - (4 + 1 - 12). Let q = 366 - 365.25. Is q at most y?
True
Let c be (-2)/4 - (-11)/2. Let b be 1 + -2*(1 + -2)*c. Suppose 0 = 2*v + 2*v - 48. Which is greater: v or b?
v
Suppose -145 - 8 = -a + 2*s, 744 = 5*a - 3*s. Let w = a + -103. Let b be 2/(288/(-410) - w/(-55)). Which is greater: b or 20?
b
Let m(s) = -s**3 - 16*s**2 + 26*s + 45. Let d be m(-17). Let j be (-3366)/d + (7/(-6) - -1). Which is greater: -1 or j?
j
Let z = -248 - -263. Let k(o) = -o**3 + 16*o**2 - 15*o - 18. Let g be k(z). Are -94/5 and g equal?
False
Let z be (56/(-133))/(18/(-90)). Which is bigger: z or 1?
z
Let c(x) = x**2 - 9*x - 17. Let j be c(11). Suppose 23 = -4*h + y, 5*h = j*y - 60 + 20. Let m = h + 5. Is m at least 2/91?
False
Let c be -7 - (-2 - (11 - 4)) - 24. Let h = -11683/50280 + 38/419. Let b = h + -2783/120. Are b and c unequal?
True
Let o = 3267 - 3267. Is o greater than 2/1627?
False
Let y = -2 - -1. Suppose -10*a - 648 = u - 5*a, 5*u + 5*a + 3300 = 0. Let b = -2665/4 - u. Which is smaller: b or y?
b
Suppose 9 = 3*z + 5*t, z + t + 2*t = 3. Suppose -z*n + 3 + 12 = 0. Suppose v - 21 = 4*a, -n*v - 1 - 4 = 2*a. Which is bigger: v or -11?
v
Let l be 6/(-16) - 6/64*-4. Suppose 14*w - 4*w - 40 = l. Which is bigger: 1 or w?
w
Let h(q) = -2*q**2 + 33*q - 10. Let p be h(-8). Let w = 805 + p. Is w greater than or equal to 402?
True
Let m(f) be the first derivative of -f**4/2 + 5*f**3/3 - f**2/2 + 11*f + 130. Let k be m(3). Is 10/43 at most as big as k?
False
Let w(y) = y**2 + 33*y - 32. Let q be w(-34). Let h(n) = n**2. Let i be h(-2). Suppose -2*r + 4 = -i. Is q at least as big as r?
False
Suppose 0 = 2*h - 273*u + 274*u - 16937, 4*h = 2*u + 33870. Does h = 8469?
False
Let k = 808 - 810. Is 0.602 greater than or equal to k?
True
Let m = 685.79 + -716.5. Let b = 2.09 - m. Which is greater: b or 2/7?
b
Let u = -164.8 - -162. Let g = u - -1.8. Are -121 and g unequal?
True
Suppose 5*g - 5*p - 1525 = 0, -4*p = -9*p + 25. Suppose 4*z - 7*z - q + 930 = 0, 3*q + g = z. Is 310 greater than z?
False
Let o be (-115)/(-20) + -3 - (-1)/4. Suppose -10*k - 13 + o = 0. Suppose 60 = -2*y - 3*y. Which is smaller: y or k?
y
Let l be (-420)/(-880) + (-1)/(-4). Let y = l - 144/77. Which is smaller: 2 or y?
y
Suppose 38*r = 36*r - 18. Let o(p) = -p**2 - 4*p + 37. Let k be o(r). Which is bigger: k or -9?
k
Let d be 5 - 109405/23445 - 9/27. Which is smaller: -1 or d?
-1
Let p(a) be the third derivative of 5*a**5/12 - a**4/24 - a**3/3 + 20*a**2. Let q be p(-1). Let u be (1 + -2)*(23 - q). Which is greater: 6/23 or u?
u
Suppose -18 = 4*b + 3*m, -2*m + 0 = -b + 1. Let w(a) = -4*a**2 + 2*a + 5. Let s be w(4). Let x = s + 95/2. Which is greater: x or b?
b
Suppose 94*v - 98*v + 2596 = 0. Suppose -v + 161 = -8*g. Do g and 64 have the same value?
False
Suppose 5*o - 24 = 26. Let x = 20 + 13. Let b = -25 + x. Which is smaller: o or b?
b
Let g = 12/161 + -1367/3220. Suppose -58*u = -35*u + 28865. Let j = u - -1256. Which is smaller: j or g?
g
Let f be (-11)/(-2) - (-14)/(28 + -56). Is -339 bigger than f?
False
Let k be 25 + -30 - ((-13)/2 + 1). Which is smaller: k or 454?
k
Let g = 55.4 - 55.5. Are -169 and g equal?
False
Let h = -3 + 5. Suppose -5*l + h*l - 2*k = -53, -5*l + 2*k = -115. Let n be (-69)/l - -1*(-2 + 5). Is -38 at least n?
False
Let r = -332.694 + -0.306. Let f = r + 331.8. Is f not equal to 0.14?
True
Let r = 1 - 1. Let t = -262 + 404. Let i = t + -157. Is r greater than or equal to i?
True
Suppose 0 = 642*t - 703*t + 61. Which is bigger: t or -1/4709?
t
Suppose 0 = -4*k - 62 + 306. Let a = 35 - 27. Let o be (122*1/a)/((-2)/(-8)). Is o > k?
False
Let x = -1178 + 1178.06. Let j(t) = -t**3 - t**2 + t + 6. Let w(q) = q**2 - 1. Let r be w(1). Let f be j(r). Is f less than x?
False
Let h = 8153 + -8144. Let p be ((-4)/(-3))/((-10)/(-45)). Let x = -6 + p. Is x less than h?
True
Let r = -4231/17 + 249. Let l = 581.3 - 581.3. Is r greater than or equal to l?
True
Let g be 406088/2734424 - -2*(-1)/14. Which is smaller: 0 or g?
0
Let b = 3 - 5. Let n be 8/(-28) - 20180/77. Let a = 262 + n. Which is smaller: a or b?
b
Let y = 0.78 - -5.92. Let r = -180 + 164.3. Let h = y + r. Is h bigger than 0?
False
Let s = 198 - -47. Let x = s + -244.6. Which is greater: x or -23?
x
Suppose -250 = 29*c - 4*c. Which is greater: 349 or c?
349
Let y be 240/70625*20*(-1)/8. Are y and 1 non-equal?
True
Let p = 4435681/55 - 80645. Which is greater: p or 4?
4
Let b be (15/10)/((-3)/(-28)). Let h(p) = 3*p - 29. Let j be h(b). Is 10 >= j?
False
Let j(l) be the first derivative of l**2/2 + 9*l + 17. Let y(b) = -b**2 - b. Let p be y(-3). Let h be j(p). Do 11 and h have the same value?
False
Suppose 0 = -19*x - 9725 - 3024. Let p = x - -672. Is p >= 8/73?
True
Let r(d) = 73*d - 314. Let h be r(4). Is h at most -352/17?
True
Let y(v) = -28*v + 1177. Let s be y(42). Which is smaller: s or 3/175?
3/175
Let d(w) = w**2 + 206*w + 6511. Let m be d(-39). Let h be (-50)/(-28) + (-6)/3. Is h equal to m?
False
Let l be 32/((-203904)/6399) - -1. Suppose -30 = -5*n - 5*q, 4*q + 3 = 3*n + 2*q. Let b be (1 - 7 - -3) + n. Which is smaller: l or b?
l
Suppose 974*z + 975*z + 684 = 1958*z. Let b = 0.7 + -3.7. Which is smaller: b or z?
b
Suppose -5*f - 4*a + 46 + 6 = 0, 3*a = f - 18. Suppose f*x + 119 = -73. Is x at most 6?
True
Let a be -6 - (0 + 6 - 13). Let n be a*2*200/(-270)*-3. Suppose -q + 3*q = -2*z + 4, 0 = -2*q + 4*z + 16. Which is greater: q or n?
n
Let x be (-2 - 5) + 0 - -419. Let g = x + -413. Is g greater than -1/306?
False
Suppose -41 + 2185 = 8*i. Let c = i + -271. Let o = -5 - 0. Which is smaller: c or o?
o
Let k be (-9)/(189/(-140))*3. Let z be ((33/18)/11)/((-110)/k). Which is greater: 1 or z?
1
Let u = -34943 - -65485. Is 30543 less than u?
False
Let s be 2/322 - (-9)/7*(-8)/(-24). Suppose -3*v + 2*a + 12 = 0, -a + 0*a = 0. Suppose k = -d - 0 + 1, 5*k = 4*d - v. Is k at most s?
True
Suppose 59*u = -14058 - 13436. Are -452 and u nonequal?
True
Let r be (-1866)/(-2) - (0 + 5 + -3). Is r > 931?
False
Let k = -7553.6 + 7552. Which is smaller: k or 2/109?
k
Let z = 88 - 174. Let f = z + 85.5. Which is smaller: -0.38 or f?
f
Suppose 3*y - 2*s - 194 - 21 = 0, 0 = 3*y + 5*s - 208. Suppose -6*p = -y - 31. Let w be (-5 + 0 + -1)*-3. Which is bigger: w or p?
w
Let s = -2539 + 1495. Is -1045 at least s?
False
Let d = -98899/106 + 933. Let n be (6/4 + 4 + -1)*4. Suppose 19*m = -n*m - 37. Which is bigger: d or m?
d
Suppose 31*f - 24 = 317. Suppose f*p - p + 890 = 0. Which is smaller: -90 or p?
-90
Let o(m) = -m**3 + 8*m**2 - 5*m. Let k be o(6). Suppose 5*z = 3*g - 151, -z - g + 15 = k. Let i = -54 - z. Is -24 not equal to i?
True
Let d = -0.01337 + -0.28663. Is d at most -6/259?
True
Let z = -453 - -231. Let s be (-3)/6 + (-99)/z. Which is smaller: 2/5 or s?
s
Let g be (-552)/(-138) - (-3)/(-1). Let y = -1849/14 + 132. Which is greater: g or y?
g
Suppose 0 = -53*s + 26*s + 15093. Suppose 5*y - 32 = -2*w, 5*y = 4*