*q - 2008 = 994*q. Which is bigger: -1252/5 or q?
-1252/5
Let h(x) = -x**3 - 4*x**2 + 44*x - 9. Let t be h(-9). Which is smaller: t or 1/827?
t
Suppose 257*t - 258*t - 44 = 0. Let z be (-176)/t*(114/(-4) - 0). Which is bigger: z or -116?
z
Let g be -22263 + 5/((-10)/(-12)). Let t = -200119/9 - g. Is t at least 22?
False
Let l(p) = 2*p**3 + 37*p**2 + 120*p + 46. Let g be l(-17). Is g less than -1128?
False
Let q = 7513 + -7512. Is q < -1667/5?
False
Suppose -13*q + 9156 = -4*h - 16*q, -h = q + 2289. Is h >= -2291?
True
Suppose 6*d + 3 = 7*d. Let a be (-6)/d*(-175)/(-10). Let y be (-17)/(-34) - a/2. Is y < 19?
True
Let k be 7/3*(-48)/(-56). Which is greater: 34/35 or k?
k
Let j = -2973 + 1768. Which is smaller: -2 or j?
j
Let x = 1990.5 - 1982. Is x not equal to -2/7?
True
Let p = -13105/7 + 1876. Are p and 7 non-equal?
True
Suppose 0*s - 24 = -4*s. Let o(i) = -7*i**2 + 2*i**2 + 6*i**2 - 1 + 5*i + 15 - 2*i**2. Let v be o(s). Are 6 and v nonequal?
True
Let p(g) = 5*g**3 - 24*g**2 - 6*g + 4. Let f be p(5). Is f greater than or equal to 2/5971?
False
Let y(h) = -3*h**3 + 51*h**2 - 36*h + 215. Let x be y(17). Is x <= -401?
False
Suppose 7*x - 10*x = 13122. Let o = 141 - x. Let v = o + -58653/13. Which is greater: v or 4?
4
Let x = 162 + -229. Let y = 152 + x. Let p = -119 + y. Which is smaller: p or -2?
p
Let r be 2223/(-38)*2/(-5). Suppose 4*v - 89 = 3*m, 49 = 3*v - 2*m - 18. Let z = r - v. Is -1 < z?
True
Let n = -296 - -304. Suppose n*c - 11 = -3*c. Is c bigger than -2/495?
True
Suppose 6*o - 5707 = -20*o + 9191. Does 554 = o?
False
Suppose 287*k = 458*k - 1676 + 5438. Is -98 at least as big as k?
False
Let n = 46 + -14. Let v = n + -26. Let c be 45/47 + -7 + v. Which is smaller: c or 0?
c
Suppose 2*z - 2*x + 0 = 4, -2*z - x - 8 = 0. Let f be ((-12)/27)/z + 176/(-468). Is f not equal to -1?
True
Let l be 45/(-30)*(-14)/(-6)*(-6)/21. Let f = 374/105 + -32/15. Which is smaller: l or f?
l
Suppose 0 - 4 = w + 4*g, -4*w + g = -52. Suppose -3*c = -3*p + p + 5, 4*c + w = 0. Let h be (-3 - 3)/(((-3)/p)/(-1)). Is h at most as big as 9?
True
Suppose 26*r = -93303 - 23021. Which is smaller: r or -4471?
r
Let t(r) = -r**2 - 6*r + 6. Let x be t(-7). Suppose -6*f + 2*f - 12 = -a, -5*f = -3*a + 15. Let m = x - a. Which is smaller: m or 4/23?
m
Let s = -2231 + 2294. Which is smaller: 557/9 or s?
557/9
Let m = -4923 - -4922. Let z be 40040/20009 + 2*-1. Which is greater: z or m?
z
Let o = -2163 + 2155. Is o <= 286?
True
Let y be 1 + (-15 - -9) + 4. Is -355 at least y?
False
Let b = 128/9 - 2167/153. Suppose -i + 4*i - 25 = -2*f, 60 = 4*i - 4*f. Suppose c - i = -3*l, -30 = 4*c + 5*l - 46. Is c bigger than b?
False
Let u = 0.0091 - -0.9909. Let s = -8/107 - -1415/321. Are u and s unequal?
True
Let z(j) = -3*j + 34. Let l(v) = -5*v + 67. Suppose h - 3 = -2*u, u - 6 = -0*u + h. Let f(y) = u*l(y) - 7*z(y). Let d be f(6). Is d > -1/2?
False
Let f = -14191.78 - -14499. Let h = f + -306. Which is greater: -2 or h?
h
Let p be (-3)/(9/3) + 2. Suppose k = 3*u - 2450, 4082 = 5*u - 35*k + 34*k. Let y = -25294/31 + u. Which is smaller: y or p?
y
Let d = -11.174 - 384.826. Is 0.07 < d?
False
Suppose 6 + 2 = -4*c, i = 3*c + 7. Let n = -78/25 + 13363/4275. Which is smaller: i or n?
n
Let u = -0.5121 + -3.4209. Let k = u + -0.067. Is -47 at most as big as k?
True
Suppose 2844*o = 2796*o - 56880. Does 0 = o?
False
Let f = 3.9 - 4.1. Let r = f + 0.3. Suppose 31*m - 33*m + 12 = 0. Which is smaller: r or m?
r
Suppose 11 = -3*v - 2*r, -27*v - 16 = -29*v + 2*r. Which is smaller: 16/113 or v?
16/113
Let g be 1/(2/(63 - -11)). Is 17 equal to g?
False
Let v be 22/(-4) + 5/10. Suppose -24*q = -29*q + 25. Let b = v + q. Which is greater: b or 27?
27
Let o = -5321/909 - -12360637/2049795. Let h = 5/41 - o. Which is smaller: h or 1?
h
Let u = 6526/3 - 6943667/3192. Which is greater: u or -1?
u
Let c = -22 - -23. Let x = 404 - 129. Let q = 7701/28 - x. Are c and q non-equal?
True
Suppose 3*t = -2*p - 3, -3*p + 2*t - 29 = 3*t. Which is greater: p or -184/11?
p
Let p be 3870/290*(-52)/(-13). Are p and 52 nonequal?
True
Suppose 0 = -2*m - 5*b - 14, -18 = 5*m + 5*b - b. Let t be 0 + -10 + (-6 - m). Let q = t - -13. Is q greater than or equal to 2/167?
False
Let b(j) = -4*j**2 - 17*j + 65. Let c be b(0). Is 72 >= c?
True
Let g = 78725/26 + -3027. Is g greater than 0?
True
Let q = 0.1 + 0. Let f = 291.96 - 804. Let k = -512 - f. Are q and k equal?
False
Let a(s) = -s**3 - 10*s**2 - 5*s - 7. Let q be a(-10). Let f = 118 + -178. Let d = f + q. Which is smaller: 0.1 or d?
d
Let k be (-140)/49 + 3/1. Let t be (-1)/10 + (-81)/90. Which is bigger: k or t?
k
Suppose 0 = -11*c + 7*c + 72. Suppose 0*q = q + c*q. Do q and 2 have the same value?
False
Suppose 0*t - 4*t - n + 460 = 0, 2*t + 3*n - 230 = 0. Let v = -591 - -1409/2. Which is greater: t or v?
t
Let v = -295.4 + 293.4. Which is bigger: -4.2 or v?
v
Let r(o) = -7*o**2 - 41*o + 305. Let p be r(-23). Is -2456 bigger than p?
False
Let l be -3*(-2)/(-4) - -1. Suppose 0 = -5*y + v + 905, -6*v - 181 = -y - v. Let m = y - 187. Which is smaller: l or m?
m
Suppose 3*p = 3*c + 39, 0 = -2*c + 3*p - 2 - 28. Let y = 369 - 755/2. Is c > y?
False
Suppose -62*f = -58*f. Which is greater: -39/154 or f?
f
Let w(b) = -2*b**2 + 47*b - 212. Let z be w(6). Which is greater: -2161 or z?
z
Let o = -4665/2 - -2252. Let v = -227 + 146. Which is smaller: o or v?
v
Let b be (-4)/6 + (-400)/(-15). Let c = -29 - -34. Suppose -25*i + c = -b*i. Is i less than or equal to -0.1?
True
Let h be (2 + 24/(-14))*21/(-6). Let y be (-2)/9 + 4431/22491. Which is bigger: h or y?
y
Suppose 0 = -7*n + 6*n + 3*o + 4367, -2*n = -3*o - 8725. Let x = -387869/89 + n. Is x equal to -1?
False
Suppose 3*j - 31 = -4*b, -2*b + 13 = -0*b - j. Let t be ((-1)/2)/(b/(-840)) + 2. Let n = -82 + t. Which is smaller: n or -22?
-22
Let y(w) = 126*w**2 - 23*w + 3. Let k be y(2). Is k at most as big as 440?
False
Let z(m) = -4*m**2 + 89*m - 401. Let s be z(22). Which is smaller: -381 or s?
-381
Let p = -31 - -36. Let a be 2/(40/(-60)*(-1)/1). Suppose a*m + u = -0*u + 4, -u = p*m - 10. Which is greater: m or -1?
m
Suppose -758*r + 181*r + 9717834 = 0. Is 16841 at most as big as r?
True
Suppose 77 = 5*t + 12. Let g be (-17 + 13)/(1/(-2)). Let b be 2 - 4/g*-22. Are b and t non-equal?
False
Suppose 1 = 5*b - 269. Let t(i) = -5*i**2 - 14*i - 29. Let o be t(-4). Let l = o + b. Is 1/22 != l?
True
Let n = 1 + -1. Suppose 0 = -i - 0*i - 4*b - 330, b + 4 = 0. Let r = i - -395. Does n = r?
False
Suppose 11*l - 7*l = 8. Suppose -4*x = -w - 17, 27 = 4*w + l*x + x. Suppose 0 = -r + w*r - r. Is -0.1 <= r?
True
Let f(s) = -5*s - 68. Let n be f(-11). Let m be (-5 + n/(-3))*1/(-7). Which is greater: m or 1?
1
Let c = -176 + 1234/7. Let p = -1269 - -1192. Is c at most as big as p?
False
Let b = 397 - 437. Let y = 7.5 - -34.5. Let c = y + b. Is c greater than or equal to 12?
False
Let n = -588 + 77025/131. Let a be 328/(-2882) - -2 - (-10)/(-5). Let u = a - n. Is 1/3 > u?
True
Let y(b) = 3*b**3 - 3*b**2 + 4*b - 2. Let j be y(2). Let g = -17 + j. Let r = -46/5 + 47/5. Which is smaller: r or g?
r
Let h be (1/3)/((-1)/2). Suppose -4*m - 20 = -6*m. Let a = m + -4. Is h greater than a?
False
Let v(c) = 3*c**2 - 154*c + 94. Let w be v(14). Are w and -1473 unequal?
True
Suppose -19 = t - 3*u, 5*t + 3*u - 3 + 8 = 0. Let d be (-1 - 3)*(-1)/t. Let w be (40/(-1040))/(2/(-24)). Which is smaller: w or d?
d
Let f = -118 - -227/2. Let t = 704 + -708. Which is greater: t or f?
t
Let m(v) = 2*v**2 + 14*v. Let k be m(-6). Let f be (-200)/k*3/2. Suppose -f = -a - 13. Is 38/3 > a?
True
Let l = -513190367/9784 - -52452. Which is bigger: l or -1?
l
Let u = -59.09 + 59. Let g = 0.042 + u. Let j = g + -0.952. Does j = 33?
False
Let f be ((-15)/7)/((-69)/644). Is 409/22 less than f?
True
Let q = -32 + 32. Let b = -11254 + 11297. Which is smaller: q or b?
q
Let i = -1.90852 - 0.09148. Which is smaller: 0.972 or i?
i
Suppose -11*m + 12 = -15*m. Let g be (-1)/(-3) + 7/m. Do g and -7/13 have the same value?
False
Suppose -36*r + 60*r - 11704 = 38*r. Which is smaller: r or -833?
r
Let p be (-1265)/161 - (-2)/(-14). Let n be (-81)/(-2)*(p/6)/(-1). Is 269/5 != n?
True
Suppose 30*h - 26*h - 5*i = 9, 2*h - 5 = 3*i. Is 2/25189 >= h?
False
Let j be (4 - 8/(-3)) + (-2