 14*r + 15. Let j be u(13). Suppose -6 - j = -x. Let p(h) = 28*h + 262. Let c be p(-9). Is c smaller than x?
False
Let h = 2/9585 + 3181/67095. Which is bigger: h or 1?
1
Let v(q) = -13*q - 82. Let s be v(-7). Let o be -3 - (-39)/s - (-46)/(-3). Which is greater: o or -92/7?
-92/7
Let y = 4.1208 + -0.1488. Let t = 10.228 - 10.2. Let b = y + t. Which is smaller: b or -4?
-4
Let v(f) = 5*f**2 + 17*f + 32. Let x be v(3). Let i be (-764)/(-6) - 4/(-6). Do x and i have the same value?
True
Suppose 62*r + 58*r - 105*r = 200880. Which is smaller: 13393 or r?
r
Let a be 22/18 + 2/(-9). Let c(i) = 13*i**2 - 12*i**2 + 5*i + a - 3*i + 7*i. Let b be c(-9). Which is smaller: b or 1/9?
1/9
Let n = 87 + -77. Suppose 65 = -5*p + n*p. Suppose 28 = -3*r + p. Is r at most as big as -5?
True
Let z = 308 - 302. Suppose -7*q = -3*i - 2*q + 23, 2*i = q + z. Which is smaller: -1/30 or i?
-1/30
Suppose 4*m = -21 - 47. Let n = m - -21. Suppose -n*z = -65 + 13. Are 10 and z equal?
False
Let k = 61/246221 + -148158344/724628403. Let a = 6/109 - k. Which is greater: 0 or a?
a
Let h = 23532.7 - 23531. Let a = -4 - -2. Let s = 2.1 + a. Is s bigger than h?
False
Suppose 0 = 3*s + 5*c - 24, -c - 25 = -s + 3*c. Suppose s*p - 6 = 7. Let j(a) = -3*a**2 + 3*a - 1. Let h be j(p). Which is greater: 3/7 or h?
3/7
Let o be (-6)/15*480/(-192). Which is greater: o or 17/392?
o
Let p = -14 - -11. Let j(a) = -a**3 + 14*a**2 - 31*a - 25. Let d be j(11). Is d at most p?
True
Suppose 0 = -76*b + 27588 + 5700. Are 438 and b nonequal?
False
Suppose 5*z + 5 = -3*d + 40, 0 = -4*z + 28. Is d less than or equal to 1/24382?
True
Let w = 124606 + -124581. Let n = -10 - -5. Which is greater: n or w?
w
Suppose -33*z = -102*z - 20*z - 366858. Is -4125 at least as big as z?
False
Let p be (((-40)/3)/2)/((-1244)/(-233250)). Which is smaller: -8752/7 or p?
-8752/7
Let i(x) = 26*x**2 + 1. Let u be i(-1). Let w be ((-2600)/(-210) - -8) + 6/21 - -5. Is u at least as big as w?
True
Suppose -4*j = -9*j. Let h be (j + 19)/(2 + (-1 - 6)). Suppose 4*g - 1 + 25 = 2*k, g - 4*k = -13. Which is greater: g or h?
h
Let y be 3 - (1/(-2))/(98/(-691124)). Let v = y - -3532. Is v equal to 8?
False
Let h be ((-1916)/(-16))/((-3)/4). Suppose 887*w = -102199 - 38834. Which is bigger: h or w?
w
Let i be -2 - ((-16 - -2) + 7 + -4). Suppose -3*s + 4*s - i = 0. Is 17/2 at most as big as s?
True
Suppose 177 = -11*z + 94 + 94. Which is smaller: z or 47/69?
47/69
Let v = -1167 + 116699/100. Let f be (-3*2/(-9))/(-59 - 16975/(-291)). Which is smaller: f or v?
f
Suppose -2*n = 3*m - 6872, -n = -14*m + 15*m - 2290. Which is smaller: -2 or m?
-2
Let l(u) be the third derivative of u**6/120 - u**5/2 + 7*u**4/6 - 3*u**3 - 2*u**2 - 108. Let x be l(29). Are -46 and x equal?
False
Let w be (48*19/14)/(2/(-28)). Is -911 not equal to w?
True
Let c(r) = -176 + 48 - 15 - r**2 - 50*r + 6*r - 66. Let p be c(-39). Is p less than -198/13?
False
Let q = 85 - -8. Let p = q - 153. Is 2/7 != p?
True
Suppose -2*g + 5*z = 3*g + 5, -3*g + z = 1. Let o = -361 + 210. Let s = -3623/24 - o. Is s equal to g?
False
Suppose 13*s + 228 = 7*s. Let c = 73/2 + s. Is -27 greater than c?
False
Let r = -3 - -9. Let n be 1*(-3 + 9/3). Is n >= r?
False
Let u be (64/24 + -3)/(4/(-65196)*3). Is u smaller than 1810?
False
Let g(t) = -57 - 56*t**2 - 21*t + 7*t**3 - 8*t**3 + 38*t**2. Let h be g(-17). Is 11 at most h?
True
Suppose -4*w + 3*r + 9 = 0, -3*w - 15 = 3*r + 2*r. Suppose w = -s + x - 18, -4*x + 0*x = 5*s + 45. Which is smaller: s or 4/5?
s
Let y(w) = -w**3 + 15*w**2 - 15*w + 16. Let a be y(14). Suppose -b - 4*m = -85, a*m = -2*b + 5*m + 137. Do b and 72 have the same value?
False
Let f(o) = 2*o**2 - 89*o - 45. Let m be f(45). Is m > 7/78?
False
Suppose -20*o + 42 = -13*o. Suppose 6*r - 42 = o. Is r smaller than 22/3?
False
Let z = 25549 + -25530. Do z and -34 have the same value?
False
Let r = 35956 + -36495. Is r at least as big as -546?
True
Let u(l) = l**3 + l**2 + l - 24. Let c be u(0). Let x(f) = -f**2 + 1 + 6478288*f - 19 - 6478313*f. Let q be x(c). Are 46/7 and q nonequal?
True
Let w = 80/21 - 139/42. Let p(b) = 18*b**2 - 4*b. Let i be p(4). Let r = i - 39442/145. Which is bigger: r or w?
w
Let v be (-1)/(10/(-80)) - (-4)/2. Let y be (v/(-3945))/(1/3). Let z(u) = u. Let o be z(0). Is y at most as big as o?
True
Let a be (181/(-28) + 2/(-7))*-68. Suppose -3*t = 4*q + 611, 3*q + 1 + a = -4*t. Is q <= -152?
True
Let s = -466387/7 - -66503. Let v be 400/(336/21)*(-6 + 1). Are s and v unequal?
True
Let n = -3317 - -3249. Which is smaller: -70 or n?
-70
Let o = 1165/72 - 129/8. Let p = 3 - 0. Suppose -2*i - i = p. Is o <= i?
False
Let c = 22565 - 21564.3. Let b = c - 1001. Which is smaller: b or -0.43?
-0.43
Suppose 0 = 4*b - 141 - 23. Suppose 97 = 6*g - 2*g - z, 2*g - b = 3*z. Let w = -8 - g. Which is bigger: -34 or w?
w
Let m = -43 - -50. Suppose 6 = 9*g - m*g. Suppose -2*j - 4*z = 0, -4*j - g*z = -0*z. Are 15/11 and j nonequal?
True
Let d be 525 - ((-108)/(-45) + 6/(-15) + -3). Which is smaller: d or 522?
522
Let f be (-8)/(-2) - (2488142/522 + (10 - -2)). Let k(l) = 21*l**3 - 7*l**2 - 3*l + 1. Let o be k(-6). Let r = o - f. Is 7 > r?
True
Suppose 0 = -5*h + 2*w + 3*w, 0 = 2*h - w + 2. Let u(x) = 3468*x - 15*x**2 - 3476*x - 2*x**3 - 1 - 10. Let b be u(-7). Is b greater than or equal to h?
False
Let b be 45/18*16/(-10). Let a be 2 - -1 - 14/b*-2. Let m be a - (256/(-44) + 2). Is m > 0?
False
Let d(k) = 7*k**2 + 436*k + 244. Let x be d(-60). Which is smaller: -713 or x?
x
Let x(h) = 67*h - 144. Let y(k) = 198*k - 433. Let o(f) = -17*x(f) + 6*y(f). Let q be o(5). Are q and -1 unequal?
True
Let b = -2 - -1. Let j be (9/(-21204))/((-1548)/(-784) - 2). Let a = -3/310 - j. Which is smaller: a or b?
b
Let a = -328 - -331. Let s be ((2 - 3) + a)*18/4. Which is smaller: 16 or s?
s
Let y(m) = 17*m + 1669. Let w be y(-101). Which is smaller: w or -172?
-172
Let f be (750/(-1 + -4))/(-1). Suppose -i - f = -11*i. Suppose 3*b + i = -t, -5*b + 2 = -6*b. Is t > -10?
True
Let t be (-23)/(345/600) + (-2 - -12 - 4). Which is smaller: -233 or t?
-233
Let v = 2.43 - 3.5. Let a = 1.17 + v. Which is smaller: a or -42?
-42
Let t(h) = h**2 + 24*h + 122. Let x be t(-17). Let f be ((-1)/(-2) + -1)/(3/(-42)). Which is smaller: x or f?
x
Let b = -3.63 - 266.37. Let n = 274 + b. Let u = -2906/11 + 264. Is n at most as big as u?
False
Let g = 1153/5 + -222. Let w = 91/10 - g. Which is smaller: w or 51?
w
Let t(h) = -h**3 - 20*h**2 + 2*h + 42. Let l be t(-20). Let i be (-2)/((5/2 + -3)*l). Is 74 equal to i?
False
Let c = -140 + 80. Let q = c + 60. Is q at least -4/169?
True
Let j be 0*(-9)/45 - (-100)/(-48). Let c = -27 - -27. Which is bigger: c or j?
c
Let h be 10/6*6/(-4). Let d be 6 - (-7 - -31)*(-5)/(-15). Which is smaller: d or h?
h
Let d = 15 + -5. Let v = 33 - 22. Let i = v - d. Which is smaller: i or 2?
i
Let z be (-30)/50*5 - (-1 - 1). Which is smaller: 4/5713 or z?
z
Let h = 1332/17 - 78. Suppose -3*b + 93 = 4*q, -q = b + 3*q - 23. Let v be (-4)/(-10) - (-21)/b. Does h = v?
False
Let z = -283.33 + 283.4. Is z not equal to -192?
True
Let j be ((-2)/(-166))/((-2)/(-20)). Let b = 1730/581 - j. Suppose -2*o + 5*p - 17 = 0, -4*o - 3*p + 4 = -27. Which is smaller: b or o?
b
Let l = -117181179/1390 + 84303. Which is smaller: l or -1?
-1
Let p = -11739 - -82167/7. Are p and -2 equal?
False
Let c = 0.91 + -1.492. Let y = c - -0.042. Let k = 3862 - 3862. Which is bigger: k or y?
k
Let u = 47 - 16. Let c = -48877 - -48883. Which is bigger: u or c?
u
Suppose b + b - 17 = -3*n, -4*b + 13 = -n. Suppose 0 = t + 3*t + 4. Let u = 5 + t. Does b = u?
True
Let v be 100/(-18) - ((-2196)/162 - -14). Does v = 84?
False
Suppose 9*z + 1638 - 513 = 0. Let d be 1/(-3)*(z - -14). Which is bigger: 40 or d?
40
Let c = 65/212 + -3/53. Let n = 30.4 + -28. Let q = n - 2.5. Is q at least as big as c?
False
Let a = -100 - -108. Let v be (a/(-20))/((-8)/15). Let g = 903/8 + -113. Which is smaller: v or g?
g
Let h = -4720 + 4798. Is 27 greater than h?
False
Let d be (5 + -4 + -1)/3. Suppose d = -5*x - 2 - 8. Which is greater: -4 or x?
x
Suppose -6 = 4*s - 202. Suppose 2*l + 31 = 2*p + 7*l, 5*p - s = -3*l. Let h be (p - (6 - 4)) + 4. Is h greater than 52/5?
False
Let c(s) be the third derivative of s**4/6 - 6*s**3 - 2