f?
m
Let g(u) = -104*u - 3240. Let l be g(-43). Which is smaller: 0.2 or l?
0.2
Let z be 264/(-396) - -1*(-1)/(-3). Does z = -284?
False
Suppose 2*x - 37*h + 35*h + 214 = 0, -5*x - 4*h = 517. Which is smaller: -108 or x?
-108
Suppose -19*c + 24*c = 9 + 6. Let b be 255/12 + 2/(-8). Suppose -b = -4*q - 5. Are q and c nonequal?
True
Suppose 8*n - 560 + 400 = 0. Let k be (n/12)/(-19 + 20). Which is greater: k or -1/6?
k
Let l(p) = 38*p - 496. Let h be l(41). Does h = 1062?
True
Suppose 8*z - 175 = -48*z + 49. Which is greater: z or -2/13?
z
Let p = 19335 - 386583/20. Which is smaller: 6 or p?
p
Let k = 10.5 + 42.5. Let u = -52.9 + k. Is -2/517 less than or equal to u?
True
Let w be (2 - 42)*((-3)/2)/3. Let n = w - 12. Suppose -n = -h - 7*h. Which is smaller: h or -2/165?
-2/165
Let y = 22645 - 17321. Are 1 and y equal?
False
Let q = -9911.616 - -9912. Which is bigger: -1.1 or q?
q
Let f = 48 - 41. Let a = 44 + 22. Let q = -58 + a. Which is greater: f or q?
q
Let d = 9514 - 9044. Which is smaller: d or -3?
-3
Let g(v) = -3*v**3 - 201*v**2 - 9*v - 642. Let f be g(-67). Suppose -4*a = -0*a - 364. Let d = 53 - a. Which is smaller: f or d?
f
Let f be 5 + (-1)/1 - 190751/61. Let u = f - -3123. Which is bigger: 1 or u?
1
Let d(g) = -g**2 + 8*g - 9. Suppose 31*t - 33*t = -14. Suppose -18*a = -17*a - t. Let k be d(a). Which is smaller: k or 2?
k
Let a = 44 + -40. Suppose -a*j + 387 = 7. Suppose c - 47 = 4*c + 5*r, 0 = -5*c - 5*r - j. Which is smaller: 2 or c?
c
Let a = -662.3 - -27.3. Let v = a + 744.8. Let g = v - 111. Which is smaller: 1/4 or g?
g
Let y be ((-34)/6 - 1)*-3. Let s be (-14 - (-2944)/46)/((-8)/(-3)). Which is greater: s or y?
y
Let o = -35.7 - -464.7. Let c = o + -425. Is 1.6 bigger than c?
False
Let q = 0.46082 - -1.53918. Let v = 35/18 - 58/9. Is q greater than or equal to v?
True
Let q(r) = 2*r**2 - 16*r - 20. Let b(o) = 4 - 6 + 0 + 3. Let u(x) = -2*b(x) - q(x). Let c be u(9). Is -1.4 >= c?
False
Let g = 1413 + -1435. Which is greater: g or 11/5?
11/5
Suppose -274 = -o - 44. Suppose 7*p = -o + 13. Let q(s) = -33*s**2 + s + 2. Let h be q(-1). Which is bigger: h or p?
p
Let m be ((-48)/(-32))/(21/(-14420)). Is -1 smaller than m?
False
Let u = 90.68 - 90.48. Suppose -5*t + t + 92 = 0. Which is smaller: u or t?
u
Let w be 2 - (0/3)/(-1 - -3). Suppose 2 + 18 = w*d. Let n be (-2)/(-4) - 185/d*1. Is -52/3 at most n?
False
Let n(m) = -2*m**2 - 11*m - 35. Let h be n(-15). Let g be h/3 - 1 - (-56)/84. Which is smaller: g or -106?
g
Let q be (560/66 + 142/781)*(-3 - 138). Which is smaller: q or -3?
q
Suppose u - 4*y + 8 = -8, 0 = 2*u + 5*y - 20. Suppose -64 = 2*j - 3*q, u*q + 32 = -j - q. Let m = j - -26. Do -0.2 and m have the same value?
False
Let k(h) = -7*h + 7. Let m be k(5). Suppose 0 = 12*i + 555 - 51. Let o be m/i + (-106)/168. Which is greater: 1 or o?
1
Let c = 2765.985 + -2766. Is -16 at least c?
False
Let l = 2050.3 + -2050. Let p = 35.2 + -18.2. Which is greater: l or p?
p
Let i be 10*((-8)/(-8) - 1002/(-10)). Which is smaller: 3032/3 or i?
3032/3
Let y = -800 + 788. Let r be (-6)/(-39) - 7240/585. Is y bigger than r?
True
Let o = -190.044 + -0.156. Let b = o + 189. Do 1/3 and b have different values?
True
Let b = 4456 - 4457. Which is greater: 9/89 or b?
9/89
Suppose -3*f = 2*n - 619, n + 2*f - 1575 = -4*n. Suppose -n*p = -312*p + 535. Is p > -109?
True
Let n = 1350 + -856. Let u = 489 - n. Which is smaller: u or 0.06?
u
Let t be (-6)/(42336/(-14190)) - 2. Let p = t - -3/98. Which is greater: 3 or p?
3
Let f(p) = p**2 - 58*p - 120. Let b be f(-2). Which is smaller: 5/856 or b?
b
Let s = -34 + 36. Suppose s*b + 3*b - 5 = 0. Let d = -166 + 122. Is b != d?
True
Let v = 904927/5 - 180430. Let x = -555 + v. Let r = 34 + -27.5. Is r less than or equal to x?
False
Let g = -2818 + 2987. Which is bigger: 6 or g?
g
Let i = 21106523/1081 + -19525. Which is bigger: 0 or i?
0
Let d = 47299/396 - 1076/9. Is d smaller than 0?
True
Suppose -2*w + 3*t - 2 = -13, w + 5*t = -27. Let m(s) = -61*s - 86. Let b be m(w). Suppose 90 = 4*q - 54. Is b >= q?
True
Let v be (-2 - 547/(-7))*-353. Let b = 28270 + v. Let s = -1388 + b. Which is greater: s or 4?
4
Let p = -2/361 - 31762/1083. Let j = 0.109 - -88.891. Let q = -89.1 + j. Are q and p equal?
False
Let n = -2501 + 2533.11. Let i = 3.89 + n. Let c be (-2)/(-6) + 0/1. Is i greater than or equal to c?
True
Let o be (-1)/(128/36)*(-10)/(-105). Let v be (-6)/(-3) - 2 - 1. Which is smaller: v or o?
v
Let i be (-28)/(-56) - (2 - 435/2). Is 211 at least as big as i?
False
Let k be (0 - 19)/((-161)/1127). Do 133 and k have the same value?
True
Let h(n) = -2*n**2 - n - 1. Let k be h(-1). Let q = -1498/15 - -10336/105. Which is smaller: k or q?
k
Let z = 20983.918 - 21022. Let n = 0.082 + z. Let c = n - -39. Are -0.05 and c non-equal?
True
Let r be 25/84 - 3/9. Let q(l) = l**2 - 5*l - 6. Let k be q(-2). Suppose -k*m + 14 = -2. Which is smaller: r or m?
r
Let g = -1289.7 + 1280.7. Is g less than or equal to 167?
True
Let x(t) = t**3 - 4*t**2 + 11*t - 20. Let c be x(4). Let f be (0 + -2)*(-60)/c. Suppose 0 = f*u + 31 - 21. Is -2 at most u?
True
Suppose -3*s + 77 = 4*d + 2*s, 4*s = 2*d - 6. Let r be (-2)/((12/658)/1). Let g = r - -122. Which is smaller: g or d?
g
Suppose -5*b - 27585 = 47*j - 45*j, -5*j + 25 = 0. Are b and -5518 non-equal?
True
Let t = -1/2827 + -2822/14135. Which is smaller: t or 8.34?
t
Let k(o) = 3*o**2 + 37*o + 14. Let n be k(-12). Suppose -69*a + 71*a - n = 0. Let h be 6/(-21)*2/8. Is a less than h?
False
Let r(a) = -a - 2. Let q be r(0). Let d = q - -4. Let j be 184/336 + (-12)/(-72). Are d and j unequal?
True
Suppose 21*v - 36 = 17*v. Let f = v - 9. Suppose 3*s + 58 - 10 = f. Is 2 >= s?
True
Suppose -14*q = -18*q + 24. Let w(i) = -3*i**2 + 15*i - 5. Let p be w(q). Let x = 93 + -116. Are p and x non-equal?
False
Let d(z) = -34*z - 510. Let i be d(-15). Is i less than or equal to -2/2941?
False
Let y = 17447 - 17527. Suppose 4*s = 2*s - 156. Which is greater: s or y?
s
Let p = 148 - 209. Let t = p + 61.54. Which is smaller: t or -1?
-1
Let y = 37111.9 + -37112. Is y at least as big as -0.6398?
True
Let d(j) = 339*j - 5772. Let k be d(17). Let a be (-2)/7 + 265/(-28). Is k less than a?
False
Let v = -13 - -8. Let t be (-8)/(-20) - 4/10. Let s be ((-2)/28*-6)/(-1 + t). Which is smaller: v or s?
v
Let y be 14 - 6 - 12563/1581. Which is smaller: -1 or y?
-1
Suppose -5*i - 37 - 178 = 0. Let g be -13 + (1408/(-12))/4. Which is smaller: i or g?
i
Let o be (-61 + 69 + (-4 + 3 - -195))*8. Is o less than 1626?
True
Let p be -1 + (-7 + -3 - (-5 - 4)). Is -12/19 bigger than p?
True
Let x = 51 + -33. Let p = x + -17.7. Suppose -21 - 3 = 12*n. Which is smaller: p or n?
n
Suppose 0 = 29*s - 610 + 581. Does -10/1341 = s?
False
Let n = 75 + -70. Suppose -n*i - 172 = -12. Suppose -3*l - 25 = 2*l, -4*l = 4*b + 152. Which is smaller: b or i?
b
Let h be ((-24)/7)/(-6)*(-154)/44. Let z(n) = -n - 6. Let s be z(-6). Suppose 6*y - 3*y - 4*c + 16 = s, 0 = 5*y + 4*c + 80. Which is smaller: h or y?
y
Let x = 863166/425 - 30890/17. Let w = 214 - x. Does w = -1?
False
Let u(x) be the first derivative of -x**4/4 - 10*x**3/3 + 8*x**2 - 27*x + 70. Let n be u(5). Which is bigger: -321 or n?
-321
Suppose 0 = -16*p + 3*p - 11505 - 1066. Does -965 = p?
False
Let x = -994942777/25017 - -119312/3. Which is bigger: x or 0?
0
Let b(z) = -z**3 - 6*z**2 - 5*z - 16. Suppose 3*l - 391 = -19. Let f = 118 - l. Let p be b(f). Which is smaller: p or 12?
12
Let m(f) = f**3 + 14*f**2 - 15*f. Suppose -3*u + 29 = -4*k - 34, -5*u = 5*k + 70. Let p be m(k). Suppose -19*a + 24*a = p. Which is bigger: -2/9 or a?
a
Let p(t) = 12*t - 115. Let w(h) = 26*h - 229. Let d(z) = 9*p(z) - 4*w(z). Let l be d(24). Which is greater: -18 or l?
-18
Suppose -5*j - 4*b - 280 = -7*b, 4*j - 5*b = -211. Let p be (j/(-2))/(7/14). Is p > 60?
False
Let z = -488.8 + 475.8. Which is smaller: z or 1.6?
z
Let m = 99 - 72. Let j = -246 - -272. Which is smaller: m or j?
j
Let g(p) = -p**2 + 113*p + 1161. Let s be g(-9). Which is greater: 373/6 or s?
s
Let j = -0.10963 + 594.10963. Which is smaller: j or -1/5?
-1/5
Let v = -270 - -181. Let h = -77.12 + 0.12. Let o = v - h. Which is bigger: 3 or o?
3
Suppose -n - 5 = -2*n. Suppose -5*a + 0*a + 10 = 0, 0 = 2*w + n*a + 60. Which is