?
False
Suppose 2*f = -q - 90, 0 = -2*f + 4*q + 22 - 92. Let j(a) = 3*a**3 + 15*a**2 - 12*a - 5. Let b be j(-6). Which is greater: f or b?
b
Let v(u) = 2*u**3 + 3*u**2 - 8*u - 3. Let t be v(-3). Let m be 109 - -14 - t/(-2). Is 120 smaller than m?
False
Let d = -118.7 - -123. Let x = d - 0.3. Let o = -0.2 - 0.8. Is o at most as big as x?
True
Let x be 56/(4/(-4) + 2). Let q be ((-2)/(4/2))/(4/x). Let r = q - 2. Is r less than -16?
False
Let c be 3/(269232/800812) + -6 - 3. Let s = 11/284 + c. Which is smaller: s or 1?
s
Let f(y) = 2*y**2 + y**2 - 2*y + 3*y. Let g be f(1). Let n be 510/21 - 3 - (297 - 280). Which is smaller: g or n?
g
Let d(i) = -10*i - 105. Let g be d(-15). Let l be 1100/10*6/g. Which is greater: l or 14?
l
Suppose 5*o - 23 - 2 = -5*n, -19 = -5*n - 3*o. Suppose 4*x - n*x - 20 = 0. Suppose -x*a = -19*a. Are 3/10 and a unequal?
True
Let d(b) = 0*b**2 - 22 + 11 - b**2 - 16 - 13*b. Let s be d(-11). Is -46/11 < s?
False
Let l = 0.79 - -27.81. Let m = l + -23.6. Let o = 0.29 - -0.01. Are m and o non-equal?
True
Let i = 17 - 67/4. Let z = 77 - 68. Suppose -776 = z*y - 857. Which is smaller: i or y?
i
Let j(f) = -f**2 - 12*f + 7. Let z(d) = d**2 + 2*d - 43. Let w be z(5). Let g be j(w). Is 39 smaller than g?
False
Let v(y) = 2*y**2 - 95*y - 2865. Let n be v(-21). Is n equal to -303?
False
Let s = 86.873 + 0.127. Let t = 35 - s. Let f = 52 + t. Which is smaller: 19 or f?
f
Let m(b) = 2*b + 12. Let y be m(-8). Let h(z) = 3*z + 8 + 21*z - 15*z. Let n be h(y). Is n at least as big as -28?
True
Let k = -153 + 158. Let y be (3 - k)/(16/(-9)). Is y less than 4?
True
Suppose 14640 + 24720 = 10*x. Is 3937 != x?
True
Let f = -13555/43758 + 49/153. Which is bigger: f or 0?
f
Let l(i) = 68*i + 2198. Let g be l(-33). Is g not equal to -23?
True
Let h be 16/(-3) - ((-35)/(-420) - (-118)/24). Is h equal to -0.24?
False
Let t(s) = s**3 + 2*s**2. Let u be t(-5). Suppose 20*n = 11*n + 1413. Suppose n*z = 159*z + 148. Is u at least as big as z?
False
Let g(x) be the second derivative of x**4/12 + 5*x**3/6 + 5*x**2/2 - 35*x. Let k be g(5). Let b = 58 - k. Do b and 4 have the same value?
False
Suppose -2*x = -2, -4*x + 793 = -q + 3195. Which is greater: 1/4 or q?
q
Let j = 2313 - 4676. Which is bigger: j or -2362?
-2362
Let q = 6 + -6.52. Let n = -75 + 75.08. Let u = q - n. Which is smaller: u or -0.03?
u
Let w = 315672476/6019 + -52446. Does 0 = w?
False
Let l = 9734/3 + -3214. Is l at least as big as 32?
False
Let a be (-12)/(-8)*(-4)/(-2) - (-1758552)/(-586231). Is 1 >= a?
True
Suppose 24*z + 19*z - 20052 + 103945 = 0. Is -1951 < z?
False
Let w be 6/(-4) - (819/114 - 7). Suppose -19*y - 21 = -2. Which is bigger: y or w?
y
Suppose -20301 = -159*t + 79551. Which is greater: 626 or t?
t
Let o be ((-2)/(-4))/((-17)/238)*-1. Suppose 36 = o*f - 20. Let d = -914 + 2768/3. Which is smaller: d or f?
f
Suppose -2*n + 0*g = 4*g + 204, -3*n = 2*g + 290. Let f = n - -97. Let p = -3 + 8. Are p and f equal?
False
Let w(f) = -f**2 + f + 2. Let n be w(-2). Let o be 6/n - 50/(-20). Let a be 2 - ((-198)/5)/(9751/(-490)). Is o equal to a?
False
Let j(q) = 39*q**3 - q**2 + 2*q. Let u be j(1). Let s = -3435 - -3471. Which is bigger: s or u?
u
Suppose 4*x - 3*x - 5 = 0, 0 = 4*r + 3*x - 75. Let q(w) = w**3 - 15*w**2 + w - 13. Let c be q(r). Suppose -49 = c*h + 5*h. Does h = -10?
False
Suppose 267*o = 266*o + 12. Let m be (-537)/(-531) + o/(-12). Which is smaller: -1 or m?
-1
Let r(g) = 17*g**3 - 8*g**2 - 14*g - 7. Let i be r(-1). Is 9 smaller than i?
False
Let m be 10/25 + 1/(455/(-197)). Let y = -0.3448 + 0.4448. Which is bigger: m or y?
y
Suppose -5*t - 5*t + 13*t - 3 = 0. Let i = 1.18 - 1. Is t at most i?
False
Let g(y) = y**3 - 14*y**2 + 16*y - 230. Let b be g(14). Is b smaller than 101?
True
Let n(l) = l**2 - 2*l - 2. Let g be n(3). Let r = -40915 + 2168497/53. Is r smaller than g?
True
Suppose -13*b + 38*b - 200 = 0. Let h be (693/(-114) + 7)*b/(-10). Which is smaller: h or -1?
-1
Let g(f) = 16*f + 83. Let z be g(-8). Let s be 2/(-4)*2 - (z + 14). Is 30 at least s?
True
Let u = -228 + 228. Let n = -147 - -585/4. Which is smaller: n or u?
n
Suppose 5*i + 3*j = 14064, -5*i + 4887 = -5*j - 9193. Do 2813 and i have the same value?
False
Let v be 16 - 19 - (-2011904)/550. Let c = -3655 + v. Is -0.1 greater than c?
False
Let q(c) = 2*c**2 - 196*c + 429. Let t be q(96). Are 1173/26 and t equal?
False
Let q(s) = -242*s - 5881. Let y be q(-21). Is -796 <= y?
False
Suppose 0*j - 29*j = -232. Let r be (48/(-64))/((-242)/j). Which is bigger: r or -1?
r
Let w = -2718.8 + 2719. Is -12.17 > w?
False
Let t = -28.18 - -0.18. Suppose 3*n = 5*y + 28, 541*n + 4*y = 545*n - 24. Which is greater: t or n?
n
Let z = 3.926 - 3.666. Is 2/7 < z?
False
Suppose 1 = 2*j + w, -4*j - 13 = -3*j + 5*w. Suppose -2*d + 262 = 6*g, 149*g - 148*g - 585 = -5*d. Suppose 0 = -j*p - 216 + d. Is 1 greater than p?
True
Suppose -4*v + 2*j + 0*j + 6 = 0, 0 = -2*v + 4*j. Let s be 47 - ((-36)/(-8) - 3)*v. Suppose 0 = -4*o + d - s, 6*o - 4*d = 2*o - 44. Is o at least as big as -12?
True
Let p = 127003 - 1823128063/14355. Which is bigger: p or 0?
p
Let o(n) = n. Let p be o(-1). Let l be (-5)/(-2)*171/(-570) + (-3095)/(-4100). Do l and p have the same value?
False
Let t be (-8715)/(-14)*-3 + ((-3)/2 - -3). Which is smaller: -1868 or t?
-1868
Let k = 32/7815 - -158201/20530005. Let c = 2/37 - k. Let j = 92/497 - c. Which is greater: -1 or j?
j
Let u = 0.16 - 0.56. Let w be -4*4*(-18)/1872. Which is bigger: u or w?
w
Suppose 0 = -3*c + 310 - 40. Which is smaller: c or 633/7?
c
Let z = 0.36 + 0.04. Let d = -0.8617 - -0.8617. Which is bigger: z or d?
z
Let u be 1 + -1 + 4/(-26). Let c = 363 - 215. Let q = -149 + c. Is q at most u?
True
Suppose -5*j + 227 + 293 = 0. Let h be j/39*27/(-348). Which is greater: 0 or h?
0
Let z(c) = -c**3 + 11*c**2 + 3*c + 35. Let w be z(10). Let o = -164 + w. Is -1/17 >= o?
False
Let v(q) = -41*q - 11. Let l be v(-6). Suppose 4*b + l = -b. Suppose 4*h + 79 = -3*a - 49, 0 = a - h + 52. Is a <= b?
True
Let p = 183.32 + -183.62. Is 2.456 smaller than p?
False
Let i = 141491/52 - 2721. Is i greater than or equal to -5/3?
True
Let y(i) = -531*i**2 - 35*i + 36. Let a be y(1). Which is bigger: -529 or a?
-529
Let z = 761 - 918. Are 4 and z nonequal?
True
Suppose -64*y - 332 = 244. Let j(h) = -h - 6. Let r be j(-8). Does r = y?
False
Let h = -224 + 557. Let p be (-175)/(-4) - (10 - h/36). Which is smaller: p or 41?
41
Let i = 0.03766 - 1.03766. Which is smaller: 208 or i?
i
Let n(y) = -28*y - 1. Let v be n(0). Is 2/3299 < v?
False
Let u = -5.537 + 5.337. Is -86/155 greater than u?
False
Let v = -2671849 + 66807469/25. Let t = v + -450. Suppose -k = 40 - 40. Is k at least t?
True
Suppose 23*n - 1674 = 32*n. Let s = n + 187. Is s > -2/583?
True
Suppose -9*f + 14*f + 25 = 5*w, 3*f = -3*w - 3. Are -3349/3 and w unequal?
True
Let q = 5057 + -8199. Is q > -3143?
True
Let i = 245 + -941. Let r = i - -695.96. Let y = -3.95 + -0.05. Which is bigger: y or r?
r
Suppose 10*y - 5*y - 3*o - 76 = 0, -2*y - 3*o + 22 = 0. Let x be -4*((-4)/y - (-10944)/133). Is x less than -328?
False
Let x = 0.06997 + 0.13003. Let s = 0.059 + 0.211. Let g = s + -1.37. Which is smaller: g or x?
g
Suppose 2*x - 4*x = -x. Suppose x = -3*p - g + 150, 3*p + 3*g = -0*p + 156. Which is smaller: p or 97/2?
97/2
Suppose 34 = 12*w - 86 + 36. Does w = 10?
False
Let c = -43.2 - -5.2. Let p = -38.09 - c. Let n = p + -0.01. Is n greater than or equal to 2?
False
Suppose 10*p - 250 = -40. Let g be (359/p - -1) + 2/6. Which is greater: 19 or g?
19
Let y = -10133 + 10132. Are y and 115.3 nonequal?
True
Suppose -25*t - 28661 = -28486. Let x be (-2)/7 - 18/(-14). Which is smaller: t or x?
t
Let o be (-34)/(-289) - (-2362)/(-136). Suppose -20*b + 18*b = 34. Are b and o nonequal?
True
Let p be (-9)/(-108)*48/4. Let r = 8.13 + -7.8. Which is smaller: p or r?
r
Suppose 4*v - 2733 + 394 = 5*f, -2*f = -5*v + 922. Let d = f - -471. Is 17/36 <= d?
False
Suppose 0 = 6*h - 5 + 11, 2*z + 3*h = -41. Let s = 848 + -2597/3. Which is smaller: s or z?
z
Suppose -5*k + 2*u + 563 = 42, -4*k = 4*u - 400. Let h = -119 + k. Which is bigger: h or 3?
3
Let q(n) = 4*n**3 - 19*n**2 + 7*n + 3. Let l be q(6). Let z be 1/3 - (7 + (-1509)/l). Which is smaller: 1 or z?
z
Suppose 