c(d) - 13*g(d). Let f be w(3). Let b = 3287/1281 + 1/183. Is f at least as big as b?
False
Let l(h) = 102*h - 117. Let p be l(-7). Let f = 830 + p. Which is smaller: 7/72 or f?
f
Suppose 0 = 34*g - 93*g + 36*g. Which is greater: g or 3/6622?
3/6622
Suppose -1995 = 155*o - 60*o. Let l = -8524/393 - -3/131. Is l less than o?
True
Suppose 0*z = z + 1. Let m = z + -12. Let l = 1066 - 1078. Is l greater than m?
True
Suppose 61*b - 558 = -192. Let k be b/(1/((-99)/2)). Do -295 and k have different values?
True
Suppose -2*y + v = -0*v - 14, 4*y + 5*v = 0. Let j be (y + -2)*7 + 2. Suppose 0 = 4*x + 5 - 97. Is j < x?
False
Let z(n) = 33*n**2 - 4*n + 4. Let q be z(1). Let i be -1*q/77 - 204/14. Which is bigger: -16 or i?
i
Let y be ((-640)/(-240))/(8/6). Which is bigger: y or -251?
y
Let r be (25 + -3298)*(-3 + 79/27). Which is bigger: r or 243?
243
Suppose 4*b + 5*s + 91 = 0, 0 = 5*b + 4*s - s + 130. Let q = b + 28. Which is bigger: -213 or q?
q
Let s be (-59)/35 - (-2)/5. Let n = -48 - -58. Suppose n + 18 = -28*l. Which is greater: l or s?
l
Suppose -644 - 4676 = 56*y. Which is smaller: -94 or y?
y
Suppose -3*w + 240 = -7*w. Let k(q) = q**3 + 20*q**2 + 6*q + 63. Let i be k(-14). Let r = 1094 - i. Is r < w?
True
Let p = 12437 - 3644049/293. Which is smaller: p or 1?
p
Let s = -504309/97 - -5199. Let j = -357/1067 - s. Let g = 35 - 139/4. Which is greater: g or j?
g
Let m = -8191 - -8196. Which is bigger: -247 or m?
m
Let f = 1262 - 1117. Let t be (-2)/(-9) - 5248/(-36). Is t greater than f?
True
Let f = 27 - -37. Let c = 151246 + -151243. Is c != f?
True
Let p be -1 + (1 - 164575/155). Let x = -1061 - p. Which is greater: x or 1?
1
Let j(v) = 223 - 42*v - 26 - 39 - 13*v - 19*v. Let p be j(9). Does -0.1 = p?
False
Let s(n) = 2*n**2 - 41*n - 2213. Let y be s(46). Are y and 930/7 nonequal?
True
Let f(q) = -3*q**2 - 15*q - 11. Let x(i) = 2*i**2 + 16*i + 8. Let y(m) = 3*f(m) + 4*x(m). Let t be y(19). Which is smaller: -22/13 or t?
-22/13
Let x = -246.6 + -44.4. Let g = x + 291.1. Which is smaller: g or 6/17?
g
Let s be 711/316*6/(-27). Which is greater: -1168 or s?
s
Suppose -5*x - 2*r + 6*r + 36 = 0, 3*r = 2*x - 20. Suppose u = -3*a - a - x, 5*a + 26 = 4*u. Suppose -5*i - u = k, -3*k = -3*i + k + 16. Is i < 5/9?
True
Suppose -88*f + 1922 = 3606 - 97340. Are f and 1086 nonequal?
True
Let f = -340 + 272. Let p = f + 135/2. Which is smaller: -7/4 or p?
-7/4
Let u = 18075 - 18052. Is u > 25?
False
Let t = -0.01708 - 679.98292. Is -0.3 < t?
False
Let j = -557.3 + 629. Let t = j + -71.77. Is -2.6 bigger than t?
False
Let f = 31/6 - 8. Let z(w) = w**3 - 2*w + 10. Let j be z(0). Let s be ((-10)/25)/(1/j). Which is bigger: f or s?
f
Let m = -8.158 + 8.158. Which is greater: m or -2.4?
m
Let l = 41 + -36. Suppose 4*t - 3*t + r = 7, 0 = t - 3*r + l. Suppose f = -f + 6. Which is smaller: t or f?
f
Let b be (-28)/154 + 25056/(-132). Are -193 and b unequal?
True
Suppose -3*y + 2 = 3*j + 8, -2*j - 10 = 0. Suppose 3*x = -y*q + 57 + 33, 0 = -4*x - q + 117. Suppose 307 + x = 14*b. Which is bigger: b or 26?
26
Suppose -x = -3*d - 177, -4*d + d - 1107 = -6*x. Suppose 180*h - x*h - 120 = 0. Let c(t) = 4*t + 1. Let n be c(-5). Which is greater: n or h?
n
Let i = 7.58 - 1.48. Let s = 5800.2 - 5794. Let p = i - s. Is 65 smaller than p?
False
Let d = 2930.7 - 2917.7. Which is smaller: d or -6.07?
-6.07
Let z(s) = -21*s**2 - 14*s + 45*s**2 - 7 - 27*s**2. Let p be z(-4). Which is smaller: p or 2/59?
2/59
Let i(y) = -3*y**2 - 13*y + 7. Let c be i(-9). Let n = 165 + c. Suppose -v + 3*h = -58, 0*v + 4*h = -4*v + 168. Is n > v?
False
Suppose 0 = 125*x - 124*x. Let c be (-118)/8 + (x/(-7) - 3). Is -18 > c?
False
Let r be 2 - (-1 + 87/27). Let y = 13.8 + -15.5. Let o = y - -0.6. Is o bigger than r?
False
Suppose 19*s - 17409 = -2*s. Let h = 807 - s. Which is smaller: -25 or h?
-25
Let y be ((-6)/(-12282))/((-14)/280). Are 1 and y equal?
False
Suppose -8*f + 5*f = 672. Let q = f - -225. Is q bigger than 3/158?
True
Let n = 2290 + -2290. Do n and -1840 have the same value?
False
Suppose 0 = -3*o + 6, -3*o - 649 = 9*p - 2482. Which is smaller: 9 or p?
9
Let m = 9/25 - 233/300. Let x be (-33 + 7)*-2*1. Suppose -d - 53 = -x. Is m at most d?
False
Let x = -4.3 + 4. Let a(t) = 2*t**2 - 116. Let n be a(-7). Which is smaller: n or x?
n
Suppose -25*s + 5290 = -18460. Which is smaller: 952 or s?
s
Let c(t) = 5*t**2 - 211*t + 212*t + 5 + 0*t**3 + t**3. Let n be c(-4). Suppose 0 = -12*v + 13*v + n. Which is smaller: v or -13?
v
Let j(v) = 14*v**2 + 7*v + 8. Let x be j(-1). Suppose -18*h = 87 - x. Are h and -1 unequal?
True
Let g be (2 + -22 + -61806)/(-2). Which is smaller: -1 or g?
-1
Let n = -61124 - -52750006/863. Is n <= -1?
False
Let n = 42 - 42. Suppose n = 2*f + 4*h + 18, 6*f - f - 15 = 2*h. Is f less than or equal to -2/105?
False
Let b = -0.15896 - -0.25896. Is b < 0.068?
False
Suppose 20*p = 22*p - 48. Suppose 0 = 29*z - p*z + 585. Is z >= -117?
True
Let w = -643 + 1013. Let t = -370.1 + w. Let h = -0.86 + 0.06. Is t smaller than h?
False
Let d(k) be the first derivative of -k**2/2 - 22*k - 55. Let x be d(7). Is -28 bigger than x?
True
Let s be 5/((-105)/(-14)) - (-460648)/(-692100). Let m = 6/769 + s. Is -1 <= m?
True
Let y = -4590 + 4642. Is y greater than 35?
True
Suppose 2*f - 48 + 34 = 0. Suppose -5*z - 5 = -5*i, -3*z + 4*i + 9 = f*i. Which is bigger: z or -1/9?
z
Let t be 0/((3 - 5)/2). Let u(y) = y**3 + 3*y**2 - 2*y - 2. Let n be u(2). Suppose -4*j = 4*i + i + n, -8 = 4*j + 2*i. Which is smaller: j or t?
j
Suppose 63 = -5*s - 27. Let a be -1*((-6)/9 - 24795/27). Let o = 902 - a. Which is smaller: o or s?
s
Suppose 0 = -2*p + 86 - 394. Let h be (4 + 25/2)/(9 - 765/84). Is h smaller than p?
False
Let z = 4 - -8. Let r(t) = 25*t**3 + 5*t**2 + 10*t + 1. Let v be r(-3). Let n = v - -670. Is z at most n?
False
Let a = 4170 - 4219. Which is greater: a or -44?
-44
Suppose -5*p + 0 = 2*y - 7, 3*y - 1 = 2*p. Which is bigger: p or 146/121?
146/121
Let k = -827.3 - -836.3. Which is greater: -1086 or k?
k
Suppose 3*s + 3*o - 47 = s, o + 35 = 2*s. Let l(x) = -2*x + 41. Let u(m) = m - 42. Let c(z) = -6*l(z) - 5*u(z). Let t be c(8). Which is smaller: s or t?
s
Let d = 2551 - 2551. Which is greater: d or -2508?
d
Let y = 198 + -208.2. Let d = y - -10.2. Does -22/5 = d?
False
Let n(h) = h**2 + 36*h + 50. Let i be n(-15). Let a = 236 + i. Is a greater than or equal to -28?
False
Suppose 5*g + 21 = -z, -3*z - 5*g - 14 = -1. Suppose -22 = -2*h - 4*n, -24 = -0*h - z*h + 2*n. Suppose -h*v + 0*v = 28. Which is bigger: -5 or v?
v
Let w = -6.2361 - -0.1961. Which is bigger: w or 5/3?
5/3
Let v(c) be the third derivative of 7*c**4/12 - 31*c**3/6 + 7*c**2 + 3*c. Let r be v(-17). Are -269 and r non-equal?
False
Let w be (48/36)/((-1)/9). Let s = 193847/11 + -17635. Which is bigger: s or w?
w
Let v be (11444740/55840)/41 + (0 - 5). Which is bigger: v or 1?
1
Let f = -490651 + 6539396531/13328. Which is greater: f or -1?
f
Let a = 725 - 1025. Let d = 300.3 + a. Are d and 2.1 equal?
False
Let k be (-3 + 2)*0*4/8. Let p = 30 + -56. Let f be 20/(-14)*14/p. Is f at least as big as k?
True
Let a(v) = -v**3 + 17*v**2 + 16*v + 37. Let t = 293 + -275. Let w be a(t). Let m(k) = -2*k - 1. Let z be m(-3). Are w and z non-equal?
True
Let o(n) = -20*n**3 + 3*n**2 + 3*n + 7. Let q be o(-3). Suppose -11*c = -q - 348. Let g = c + -75. Are 6 and g nonequal?
True
Let m(u) = u**3 - 3*u**2 - 6*u + 3. Let r be m(4). Let w = 22144/3 - 7387. Which is smaller: r or w?
w
Let j = -8545 - -2281511/267. Is -1 at least j?
False
Suppose 0 = 5*t - 5*d + 22 + 13, 2*d + 1 = -3*t. Suppose -h = 4*u + 17, -3*h - u + 19 = -3*u. Suppose -24 - 15 = h*a. Which is bigger: a or t?
t
Suppose 2*s = -2*c - 2, 1 = -3*c + 2*c + 3*s. Let k be 3 - c - (0 - -4). Suppose k = -3*a + w + 24, 5*a = -5*w + 1 + 19. Is 37/5 at most as big as a?
False
Let t = -197 - -177. Let w = t - 8. Which is bigger: -30 or w?
w
Let f = -7122819/983 - -7246. Is 0.4 <= f?
False
Let v be (-3)/(-42)*4 - 262/(-14). Let a(x) = 2*x**2 - 36*x + 26. Let g be a(v). Let u be 10/(-8) + 16/g. Which is smaller: -1/2 or u?
u
Suppose 24*o + 5*k + 32 = 26*o, -29 = -5*o + 4*k. Which is smaller: 7/344 or o?
7/344
Let p = -170 - -162.56. Let s = -7.34 - p. Is s greater than 15?
False
Suppose 0 = 4*t