e 1 + 1 + 396/(-195). Which is bigger: q or i?
i
Let p = 5.7746 + 0.0954. Let a = p + -1.57. Which is smaller: 0 or a?
0
Suppose 1598 - 40406 = -13*v - 29*v. Is v at least as big as 922?
True
Let c = 11817344/1003 - 11782. Which is smaller: c or 1?
c
Suppose f + 5*y - 45 = 0, y = -6*f + 2*f + 199. Let c = f - 24. Let b(m) = 20*m + 7. Let z be b(1). Which is greater: z or c?
z
Suppose -2 = 5*n - 42. Suppose -2*z = -2*b + n, -4*b + 9 = -z + 2. Let t be -1*(z - (-65)/20). Which is smaller: t or 16?
t
Suppose 8*y + 26 = -46. Let p(n) = n**3 + 10*n**2 + 8*n - 8. Let f be p(y). Let s be ((27/(-24))/(-9))/(f/3). Is 1/3 at most s?
True
Let x = 44091 + -486361/11. Let f = x - -78935/638. Is f smaller than 0?
False
Let f(h) = 8*h - 104. Let a be f(13). Which is smaller: -6/431 or a?
-6/431
Let q(s) = -124*s - 367. Let r be q(-3). Are 7 and r unequal?
True
Let x(j) = -12*j - 21. Let g be x(-2). Suppose -10*n - 704 - 116 = 0. Which is bigger: g or n?
g
Suppose 13*f = 4*f - 1125. Which is bigger: -141 or f?
f
Let k = 20606.1 - 20606. Is k <= -2450?
False
Let k = -14054 + 5494. Which is smaller: k or -8561?
-8561
Let y be 6447/(-21)*((-12)/96 + (-5)/(-232)). Are 32 and y nonequal?
True
Let b = -61602129/2348 + 26236. Is b at most 0.3?
True
Let c be (-27)/(-45) - (-12)/5 - -2. Which is greater: c or -131?
c
Let x be (-48)/(-18)*-3 - (-8772)/(-6). Which is smaller: 1/3 or x?
x
Let x = -7705 + 12168. Let q be x/46*(-36)/6. Let h = q - -582. Is 0 bigger than h?
True
Let y = 26.4223 + 0.5677. Let q = 8.01 + y. Let r be (-2)/(0 - -2) + -1. Which is smaller: q or r?
r
Let f = 223.355 - 2.155. Let j = f - 219. Let q(t) = t - 12. Let b be q(13). Which is smaller: j or b?
b
Let j = 5836 - 414347/71. Do j and -4 have the same value?
False
Suppose j - o = -6, 0 = 2*o - 2 - 8. Let h be (-3015)/(-3021) + (5 + -7 - j). Which is smaller: 1 or h?
h
Suppose f - 2 = -2*m, 5*f - 33 + 16 = -3*m. Is 19/112 at most as big as m?
False
Let j be ((-12)/(-15) + (-95)/25)/(-1). Suppose 990 = j*h + 7*h. Which is greater: 98 or h?
h
Suppose 8*m = 6*m - 26. Let p(o) = o**3 + 2*o**2 + 17*o - 6. Let y be p(0). Which is smaller: y or m?
m
Let q = 1.09 - -14.91. Let z be -3 + (260/17)/5. Which is smaller: q or z?
z
Suppose 0 = -4*h + h. Suppose -2*z + z - 5 = -2*f, -z + 5*f - 2 = 0. Let c be z/(-294) + -2 + 26/12. Which is greater: c or h?
c
Suppose -12 = 11*j - 67. Suppose -f - 172 = -j*g, 0*g - 3*f = g - 44. Suppose 0 = -3*i + 125 - 20. Is i at most as big as g?
True
Let g be (-1)/(2*3/(-12)). Let p(u) = -u**3 + 9*u**2 - 5*u + 1. Let h be p(9). Let t be (-1 + (-20)/h)/(0 - 2). Which is smaller: t or g?
t
Suppose 3*w = -2*w - 2260. Let t(c) = -19*c**2 - 101*c - 44. Let q be t(-8). Is q != w?
False
Let l(v) = 138*v + 3368. Let i be l(-39). Is i equal to -1?
False
Suppose -3*t - 23 = 5*a - a, -3*a - 17 = 2*t. Let b(h) = -h**3 + 24*h**2 + h - 23. Let z be b(24). Let y be (-4 + 4 + -1)/(9 + z). Is t bigger than y?
False
Suppose 24 = 5*b - 31. Suppose -12*m = -b*m. Suppose m*n + 5*u + 2 = n, -3*u = 4*n + 15. Which is greater: n or -28/9?
n
Let v be 3*5 - 15/((-60)/(-16)). Suppose v*j = 7*j - 256. Is j not equal to -1/5?
True
Let g = -99 + 328. Let f = g + -236. Suppose 5*i = 3*j - 3 + 40, -4*i = 4*j + 28. Which is greater: f or j?
f
Let t = 1975.4 + -1974.9. Is -693 smaller than t?
True
Let s be ((-1113545)/371174 - -3)*4/(-1). Which is bigger: s or -1?
s
Let r = 4/181 - -664/2715. Let n = -58 - -52. Let v be 4/n*-3 - 1. Is r at least as big as v?
False
Let r(v) = -v**2 - 10*v - 7. Let c be r(-8). Let d = 27 + 1. Suppose 4*n - d = 16. Is n < c?
False
Let p = -1007/3 + 328. Let k = -95/12 - p. Which is smaller: k or -58?
-58
Let t = -9075 + 9127. Is 17 bigger than t?
False
Let t = -37 - -60. Let u be (t/23)/((-4)/(0 - -1)). Which is smaller: u or -4?
-4
Suppose 0 = 4*k - 0*k - 600. Suppose 30 = -12*b - k. Which is greater: -13 or b?
-13
Let p be 85536/(-42856) + (-16)/(-2) + -3*2. Let q(s) = -2*s + 10. Let y be q(5). Is y at most p?
True
Suppose 0 = 2*d - 7*d + 8 - 3. Is 16/409 > d?
False
Let w = 14 - 14.1. Let y = 0.64 - 2.21. Let o = y - -1.57. Is o not equal to w?
True
Let l be (15/(-3))/1 + -72. Let h be 517/l + 4/(-14). Which is smaller: -36/5 or h?
-36/5
Let a = 13766 - 7740. Which is smaller: a or -0.2?
-0.2
Let u(j) = -14*j + 97. Let k be u(7). Which is smaller: -3 or k?
-3
Let j(i) = 3*i + 4 - i**2 - 9*i - 1 - 2. Let y be j(-6). Let h be y + 0 - ((-12)/6 - -13). Is h > -7?
False
Suppose 4*k = -3*r - 0*k, 9 = -3*k. Let m be ((-3)/3*-99)/((-6)/r). Which is smaller: -65 or m?
m
Suppose 0 = 30*t + 21*t - 918. Which is greater: 237/14 or t?
t
Let n(i) = -28*i + 393. Let w be n(14). Which is greater: 9/10 or w?
w
Let v = 1135 - 666. Let j = -16414/35 + v. Let p = 0 - 1. Is j bigger than p?
True
Let r(x) = x**2 + 13*x - 11. Let v be r(-14). Suppose -4*n = -20, v*l - 5*n = -2*l. Is 4 less than l?
True
Let l = 24327 - 72997/3. Suppose -j - 5 + 20 = -3*y, 25 = -5*y - 2*j. Is y < l?
False
Suppose -4*y + 20 = n - 4*n, -10 = -2*y + 3*n. Suppose -3*h = -2*d - 131, 4*h = y*d + 42 + 128. Which is greater: 47 or h?
47
Let s(n) = 11*n + 146. Let r be s(-12). Let i(d) = -3*d**2 + 41*d + 10. Let h be i(r). Which is greater: h or -33/13?
-33/13
Let b = 41 - 146. Let l be (-21)/b - (-71)/(-5). Let q be l/(-189)*3 + (-56)/90. Is 1 bigger than q?
True
Let f = -8 + 15. Let q = f - 10. Let r = 270.2 + -269.5. Which is smaller: q or r?
q
Let w = 22 + -10. Let k(i) = 4*i**3 - 10*i**2 - 4*i + 28. Let g(q) = q**3 + q**2 - q + 1. Let f(p) = -3*g(p) + k(p). Let j be f(13). Is j equal to w?
True
Let b = -3074 + 3085. Do b and 182/15 have the same value?
False
Let r = -4294/935 - -252/55. Is -1 at most as big as r?
True
Let v = -229.99 - -231. Let l = -136 - -135.91. Let w = v - l. Which is bigger: w or 2/3?
w
Let x = 10271 - 10270. Which is smaller: x or -1/14353?
-1/14353
Let x be ((-4530234)/(-292))/((-9)/6). Are -10343 and x unequal?
False
Let g be ((8/(-5))/(18/45))/(95/(-190)). Which is greater: -290 or g?
g
Let m = -1.01179 - -0.17179. Which is smaller: -2/7 or m?
m
Let u = -9.3 + 9.4. Let q = 13 + -13. Let d = q + 4. Which is smaller: u or d?
u
Let p = 2547 - 2552. Is -0.2 at most p?
False
Let g be (2 + (-53)/31)/(4017/(-206)). Which is smaller: 1 or g?
g
Let i = 8.2 - -6.8. Let k = i - 51. Which is bigger: k or -2/7?
-2/7
Suppose -14*h + 9*h - 25 = 0. Let v be 490/(-126) + (-1 - 2/(-3)). Which is greater: v or h?
v
Let q be 8 + (-4)/(30912/27769273). Let i = q - -10756/3. Which is smaller: i or 0?
0
Let k = 356 + -351. Suppose 5*c + 4*z = 9*z + 60, -54 = -k*c - z. Is c >= 11?
True
Suppose -19*z - 69991 = -71872. Let j = -106 + 206. Which is bigger: j or z?
j
Let j(l) = l**3 - 2*l**2 - 17*l - 5. Let g be j(5). Let o be -19 - g - 4/(-2) - -26. Let x = 3/7 - 19/28. Which is greater: o or x?
o
Let g(o) = -257*o + 2049. Let b be g(8). Is b >= -73/13?
False
Let g = -9028/7 + 1290. Let l = -8 - 8. Which is bigger: g or l?
g
Let q(d) = -411*d + 4575. Let t be q(9). Is 877 greater than t?
True
Let h = -194/6045 - -1/155. Let t be (-2)/6*(1 - 1). Does t = h?
False
Suppose 14*k - 15680 = 24*k. Let b = k - -6191/4. Suppose -40 = 3*x - x. Is x less than or equal to b?
False
Let g = 77/5 + -549/10. Suppose -22*h + 672 = 1574. Does h = g?
False
Let s be -7*-14*((-156)/910)/(14/10). Is s smaller than -320/27?
True
Let d = -2231 - -198562/89. Let q = 1/2670 - d. Is -4 smaller than q?
True
Let s(m) = -7*m**2 - 56*m - 85. Let j be s(-2). Is j greater than 13.401?
False
Let p(n) be the second derivative of n**5/20 + n**4/12 - 5*n**3/6 + 9*n**2/2 + 95*n. Let v be p(2). Which is smaller: 22 or v?
v
Let q be 11940/(-4760) - (-5)/2. Is q <= 1?
True
Let f = -23.919 - -15.919. Let x = 0.15 + -10.15. Let z = x - -6. Which is bigger: z or f?
z
Let u = 73/765 - -1/45. Let l = 0 + -27. Let x = l + 26. Which is bigger: u or x?
u
Let b = -9 - -87. Let f = b - 45. Let h = f - 34. Are h and 3/19 nonequal?
True
Let i = 23888 - 94609/4. Is 237 < i?
False
Let l(o) = 260*o + 8998. Let a be l(-36). Is -3992/11 >= a?
False
Let b be ((-3)/2)/(2/(-4)). Let c be 3/(-2)*(296/(-150))/1. Let m = c + -18/175. Is b != m?
True
Suppose 4*b - 6 = -2*l + 3*l, -4*l = 3*b + 5. Let w be (-7)/(21/(-60))*-1. Let a be -4 + (l - w/4). Does a = -11/7?
False
Let d(t)