/37
Let j be 1/(-11*7/(-539)). Is j at most as big as -43?
False
Let t(w) = -2*w**2 + 7*w + 7. Let j be t(4). Suppose -3*m - 5*s = 37, 5*m = -j*s - 36 + 1. Let k(f) = -7*f - 20. Let h be k(m). Which is smaller: -3 or h?
-3
Suppose 0 = 3*j + 4*y + 6, 0 = 3*j + 50*y - 55*y + 6. Which is bigger: j or -53?
j
Suppose -3*z + 9*j = 8*j - 125, -2*z = -j - 84. Suppose -10*s + 59 = -z. Is 1 at most as big as s?
True
Let l be (-1320)/(-9) - 2/3. Suppose 350*n - 91*n = -263*n + 76734. Which is bigger: l or n?
n
Let d = -2582 + 172997/67. Which is bigger: 1 or d?
1
Let x be -2 - (-176)/80 - 114/(-430). Which is greater: x or 1?
1
Let d = -151538/69711 + 124/57. Suppose 117*n - 19*n + 7*n - 4*n = 11*n. Which is smaller: d or n?
n
Let v = -5578 - -5577.6. Is v equal to 494?
False
Let l = -433.65 + -8.35. Let y = 439 + l. Are 2/13 and y nonequal?
True
Let a be ((1 + 1)*(-138)/(-368))/(54/420). Which is bigger: -7/10 or a?
a
Let f(t) = -t**3 - 22*t**2 - 6*t - 120. Let s be f(-22). Which is bigger: s or 51/4?
51/4
Let n(a) = -3*a + 175. Let x be n(0). Let l = -102 + x. Is 73 at most as big as l?
True
Let j = 4759 - 14275/3. Is -4.86 <= j?
True
Let m(u) = -u**3 + 2*u**2 + 15*u + 8. Let k be m(-4). Let w be k/10 + (-3 - -2) + 0. Which is greater: 2 or w?
w
Let o(c) = -77*c + 231. Let g(p) = p - 6. Let n(h) = 3*g(h) - o(h). Let q be n(5). Does q = 151?
True
Let p be 57/(-75) + 9/15. Let s = -105.99 + -0.01. Let v = s - -106. Which is smaller: p or v?
p
Suppose -5*g + y + 111 = 0, 2*g + 6*y = -2*y + 78. Is g equal to 298/13?
False
Suppose -165*a + 230 = -116*a + 181*a. Is 11 greater than or equal to a?
True
Let d = -810/119 - 10/7. Suppose -2267 + 2316 = -7*p. Which is smaller: d or p?
d
Let c(z) = 19*z - 188. Let v be c(10). Let n be (266/35 + -8)/(v/670). Is n != 2?
True
Let f(p) = -10*p + 13. Let g(y) = 11*y - 13. Suppose -r - 16 = -11. Let k(m) = r*g(m) - 6*f(m). Let j be k(11). Is 41 bigger than j?
False
Let n(a) be the first derivative of a**3/3 - 9*a**2/2 - 10*a - 1. Let y = 369 - 359. Let o be n(y). Which is greater: o or 6/5?
6/5
Let m be ((-1)/7)/((18/168)/((-9)/12)). Is m less than -8/2051?
False
Suppose -7848*k - 1125 = -7873*k. Are k and 55 unequal?
True
Let v(i) = -2*i**3 - 75*i**2 + 215*i + 6. Let p be v(3). Is p at least -627/8?
True
Let s = 530 - 370. Suppose 122 = 2*d + s. Is d at least as big as -22?
True
Let s be (34 - (0 - -14)) + -12. Suppose 2*p = -p - 15. Is p bigger than s?
False
Let l(o) = -15*o**2 + 118*o + 11. Let x be l(8). Suppose -p - 3*h = 0, 0*p = 4*p + 2*h + 10. Let q be 10/1*p/6. Is x smaller than q?
False
Let l(q) = q - 8. Let f be l(7). Let w be (150/(-12) + 11)*8/(-3). Let k be (0 - (-4 + 9))*(w - 1). Is f at least k?
True
Let u(h) = -7*h - 364. Let m be u(-7). Does -316 = m?
False
Let u = -0.964 + -95.136. Is u > 2?
False
Suppose -3*j - 47*g + 18 = -44*g, j + 30 = 5*g. Which is smaller: -2/14211 or j?
-2/14211
Let q(t) = -1 + 5 + 4*t + 3. Let l = -801 + 799. Let p be q(l). Which is smaller: -9/8 or p?
-9/8
Let z = 11917525/4 + -2996738. Let a = 17181 + z. Let s = a - -177. Which is bigger: s or 0?
s
Let s be 1/(2/(-110))*-1. Suppose -34 = -u + s. Suppose 3805*x = 3913*x - 9504. Which is smaller: x or u?
x
Let r = -2314.4 - -2315.4. Are r and 14309/3 unequal?
True
Suppose 79*h - 11655 = 44*h. Are h and 333 equal?
True
Let b be 40*(14/10 - 1). Let i be 1/3 - 40/24*-1. Suppose 5*c - 4*r = 77, -r = i*c + c - 53. Which is smaller: b or c?
b
Let i = 1.13 + -0.13. Let d = 4.9 - i. Let a = 50 + -50.1. Which is smaller: a or d?
a
Let l be (8/80 - 1/2)*-10. Suppose 164 = -3*o - l*a, 48 = -o - 4*a + 4. Let m = o + 538/9. Is -0.06 at most m?
False
Suppose -18*n + 8*n - 980 = 0. Let f = n + 133. Let v = -3 - f. Do v and -36 have the same value?
False
Suppose -5*c + c = 5*j, -2*j = -2*c. Let a = 1/180 - 547/1260. Which is greater: c or a?
c
Let n be (9/(-2) + 4)*212/(-2). Let w = n + -14. Which is greater: w or 38?
w
Let g = 0.11015 + -19.11015. Which is smaller: g or 4.32?
g
Suppose 244*q + 46 = 246*q - 304. Is 1567/9 smaller than q?
True
Let i = 16 - -108. Let b = 83 - i. Let c = -47 - b. Which is smaller: c or -0.4?
c
Let w = 16657/34 - 490. Let b = 0.0172 - 0.1172. Which is smaller: w or b?
b
Let h be ((-33)/(-12) + 35/(-20))*-21. Which is smaller: -23 or h?
-23
Suppose 0 = -25*x + 65092 - 481517. Which is smaller: x or -16656?
x
Suppose -3*q + 468 = b - 117, b - 4*q = 550. Let y be (1/(-25))/((-171)/b). Is 2/233 less than y?
True
Let n = -152.9362 - -0.2562. Which is smaller: 1/4 or n?
n
Let r(h) be the second derivative of -11*h**3/2 - 57*h**2 - 3*h - 28. Let l be r(-8). Is l less than 149?
False
Suppose -3*n + 7520 = -5*t, 3*n + 4*t - 7492 = 2*t. Which is smaller: 2497 or n?
2497
Let x = -96 + 243. Suppose -11*w - x = -4. Which is greater: -11 or w?
-11
Let w(u) = -5*u**2 - 261*u + 148. Let x be w(-39). Which is bigger: 2724 or x?
2724
Let o = -48.7 - -42.52. Let u = o + 1.88. Is -1/3 greater than u?
True
Let g = 30770.46 + -30771. Are g and -60/13 nonequal?
True
Let l = 63.2 - 65.2. Which is bigger: l or 1280?
1280
Let p = 7662.088 - 7662. Are p and -44 nonequal?
True
Let h = -14.46 + 14.36. Let b = -44/57 - -2/19. Which is smaller: b or h?
b
Let r be ((-9)/(-5))/(630/50 - 12). Suppose -4*l = -2*h - l + 69, 0 = r*h - l - 86. Which is greater: h or 26?
h
Let j = 121 - -41. Let l = j - 317/2. Which is bigger: -3 or l?
l
Let o = 27.87 - 0.87. Let q = o + -27.7. Which is smaller: 5 or q?
q
Let f = 3977 - 3976.8. Is f > -67?
True
Let i(f) = f**3 - 11*f**2 + 4*f + 5. Let q be i(7). Let w be ((-8)/(-24) - 2018/(-12))*-1. Let o = q - w. Is o >= 1/4?
True
Let v = 261 - 148. Let a = v - 4182/37. Is a less than or equal to 5?
True
Suppose -3 - 1 = -2*b. Let r be 7/(7/b) - (-1665)/(-835). Is -1 greater than r?
False
Let p be (50/125)/(1/5). Let u = p + 2. Let q be 1 - u/1 - -5. Which is smaller: q or 9/7?
9/7
Let g = 10181/3556 - 3/508. Is g >= 0.027?
True
Suppose -36 + 26 = -2*k. Suppose 2*i + k*i = 3*i. Is -6 less than i?
True
Let f(x) = 55*x + 151. Let w be f(-16). Is w at least -728?
False
Let u = -3312 - -195407/59. Is u at most -1?
False
Let u = 14.828 - 15.828. Which is smaller: -2817 or u?
-2817
Let c be 7 - (7470/21)/((-27)/(-126)). Is c at most -1654?
False
Let s = 14938 + -14934. Is s bigger than 61.7?
False
Let p be (-4)/26 - (0 - 0). Let s be (-9 - -1) + -47 + 64. Let u(b) = b**3 - 12*b**2 + 26*b + 9. Let f be u(s). Which is bigger: p or f?
f
Let o = 4 + 9. Let m(u) = 2*u**2 + u + 21. Let n be m(0). Let w = o - n. Which is greater: -7 or w?
-7
Let y = 49 + -51.3. Let l = -1 - y. Let n = 635 + -637. Does l = n?
False
Suppose -3*o = 4*m - 4*o + 287, -3*m + 3*o = 204. Which is greater: -94 or m?
m
Suppose 0 = 9*k - 3818 - 1978. Suppose 4284 = 8*v - k. Does v = 615?
False
Let w(p) = -2*p - 43. Let y be w(-22). Let t = 20.008 + -0.008. Let d = 19.4 - t. Is y not equal to d?
True
Let z = -4981 - -2706. Let r be (-3)/2 - z/(-490). Are r and -5 equal?
False
Suppose 0*y + 24 = 3*y. Suppose y*l + 30 = -2. Is l equal to 1?
False
Let m be (2/(-3))/(86/144093). Which is smaller: m or -1124?
-1124
Let l(q) = -2*q**2 - 13*q + 7. Let y be l(-9). Let n(v) = 118*v + 71. Let o be n(-1). Is o bigger than y?
False
Let i = 61/25 - 47189/19350. Is i < 2/5?
True
Let w be -3 + 291/(7/((-3864)/90)) + 5. Which is bigger: -1784 or w?
w
Let u be -1 + 1 + -1 - -6. Suppose -2*p + 10 = 0, 3*j + j = p - 5. Suppose 3*o - 6 = 2*c + 20, j = 5*o - 2*c - 38. Which is smaller: u or o?
u
Let w = 702 - 51. Let r = 657 - w. Which is greater: -22 or r?
r
Let o(a) = -a**3 + 7*a**2 + 11*a - 35. Let l be o(7). Suppose -3*z + 73 = 2*g, 2*g + 5 - 63 = 2*z. Let w be -24*(12/28 - g/l). Is 9 greater than or equal to w?
True
Let i = 159 - 150. Let r be i/(-21) - (-5)/7. Suppose 4*s + 2 = -2. Which is smaller: s or r?
s
Suppose 2*g + 1139 = -3*h, 0*g = -2*g - 8. Let m be h/(-168) + 8/(-24). Let w = m - 13/8. Is w at most as big as -0.2?
False
Let v = 157.2 - -44.8. Let g = 202.27 - v. Is 0 bigger than g?
False
Suppose 3*m + 3*n = -0*m + 9, 3*m - 6 = -4*n. Let h be (20/m)/(4/6). Let j = -791 + 796. Do j and h have the same value?
True
Let p be 63/6*(-132)/198. Let v = -6.5 + -1.5. Which is smaller: v or p?
v
Suppose 5*r - 611 = 3*p, -3 = 3*p + 3. Suppose -3*n - j + 5*j = r, 3*n +