 -4?
g
Let d(o) = -5*o**3 + 5*o - 5. Let y(v) = 5 - 10 - 2*v**2 + 3*v**2 - 4*v**3 + 4*v. Let x(u) = 3*d(u) - 4*y(u). Let f be x(4). Are 1/14 and f unequal?
True
Let i(a) = 2*a - 4. Let z be i(-4). Let g be (z/3 + 3)*0. Which is smaller: -1/4 or g?
-1/4
Let y = -15637/34 - -460. Is y not equal to -1?
True
Let a be (-6)/27*6 - 4787/(-33). Let n be 1/2*-72*4. Let l = a + n. Is 1 <= l?
False
Suppose 6*j + 13 = 3*j - 5*m, 12 = -2*j - 5*m. Let p(g) = -g**2 + 7*g - 6. Let r be p(6). Let f be (-1 + 3 - 0) + r. Is f less than j?
False
Let w = 63 + -69. Let s = 0 - 1. Let j be (s/3)/((-53)/w). Do j and 0 have the same value?
False
Let p = -0.9 - -10.9. Let r = 1235.1 + -1235. Which is bigger: r or p?
p
Suppose 0 = 4*v - 5*c - 76, -2*c = 29 - 37. Which is greater: v or 20?
v
Let y = 0.0027 + -0.0027. Which is smaller: 99 or y?
y
Let f(g) = -g + 12. Let h be f(9). Suppose h*j - 8 = -j. Is j less than 9/4?
True
Let v = 287/4008 + -5/167. Is v smaller than 1?
True
Suppose 0 = -5*s - 2*r + 4*r - 48, -2*s = r + 12. Let x = -69 - -61. Is x at least as big as s?
True
Suppose -43*m - 40515 = 30*m. Which is greater: m or -556?
m
Let q be (-1)/(-4) + (-46)/(-8). Let w be (-4)/14 - q/(-21). Which is smaller: -7/6 or w?
-7/6
Let g = -8.8926 - 1.2504. Let v = 0.143 + g. Let a = 0 + 0. Is a greater than v?
True
Let j be (153/17748)/(((-30)/16)/1). Which is bigger: j or -1?
j
Let d be 62/(-6) - 2/(-6). Suppose u - h = 5*u + 27, 2*u - h = -15. Let w(m) = m - 3. Let g be w(u). Is d greater than or equal to g?
True
Let v(r) = -r**2 - 3*r + 99. Let s be v(-11). Is s equal to 12?
False
Suppose -5*h = 2*k - 34, -33 = -3*k - 7*h + 4*h. Is k at least -0.7?
True
Let y = 1/291 - 295/1164. Which is smaller: -3 or y?
-3
Suppose 12*r = 10*r + 4. Let j(u) = -2 + 19*u - 11*u - 2*u**r + 3*u**2. Let g be j(-9). Which is bigger: 1 or g?
g
Let o(t) = -2*t + 12. Let d be o(5). Let k be (1 - d)/(1/(-11)). Let v = 12 - k. Which is bigger: 3/8 or v?
v
Let g be 13 - 4/(-12)*-15. Suppose -4*r - 4 = -g. Are r and 3 unequal?
True
Let q be 5 - ((-2 - -4) + 1). Let p be q/2*(0 - (5 + -2)). Is -2 bigger than p?
True
Let m(x) = 23*x**2 - x - 2. Let u be m(-1). Suppose 13 = -5*a - u. Which is smaller: a or -8?
-8
Let y be 9*(-4 - 108/(-28))/3. Let u be 2/((1 + -5)/2). Is y not equal to u?
True
Let b = 189.0287 + -0.0287. Which is smaller: b or 0.1?
0.1
Let y be ((-2)/(-26)*2)/1. Let m(a) = -a**3 - 5*a**2 - a - 2. Let g be m(-5). Suppose 5*q + 2 = g*q. Which is smaller: y or q?
q
Let f = 16 - 16.1. Let x = 1.2 + -4.2. Let q = -3 - x. Is q not equal to f?
True
Suppose 0 = -7*v + 10*v + 3. Which is smaller: -7/17 or v?
v
Let r(c) = -c**3 + 10*c**2 - 14*c + 141. Let o be r(10). Which is smaller: o or 6/203?
6/203
Suppose -36 = -7*v + 3*v. Let n be (-6)/(-10) - (-1 - v/(-6)). Which is smaller: 1 or n?
n
Suppose 0 = 5*t + 4*q - 152, t - q = 6*t - 143. Suppose 2*n - t = -5*n. Let p = -0.5 + 0.8. Is p != n?
True
Let i(h) = 12*h**3 - 2. Let c be i(2). Let y = -138 + c. Let g = -307/7 - y. Which is bigger: -0.1 or g?
g
Let h = 3093/7 - 441. Suppose -3*l + 15 = -3*v, 6*v + 5*l = 2*v - 2. Let r be (-72)/120 - v/5. Is h greater than or equal to r?
True
Suppose -24 = 2*j - 12. Let p(a) = 2*a**2 + 12*a + 4. Let t be p(j). Let o be (-4)/(-2)*(4 - 1). Which is bigger: t or o?
o
Suppose 5*n = -d - 6, 4*n - d = -4 - 8. Let t = -7.79 + -0.21. Which is bigger: n or t?
n
Let p(x) = -x**3 + x**2 - 2*x. Let g be p(-2). Suppose 36 = -12*i + g*i. Which is bigger: 4 or i?
i
Let z = 8445 + -4838983/573. Which is smaller: 1 or z?
z
Let c = 22 + -27. Let n = c - -8. Suppose n*s - 5*v = 20, v - 1 + 5 = 2*s. Which is bigger: -4/9 or s?
s
Suppose 2*r + 12 = 4*w, -7*w + 3*w - 5*r = -40. Let s = 7 - w. Suppose -3 = s*i - 1. Do -2/27 and i have different values?
True
Suppose 13*j + 232 = 15*j. Which is greater: 115 or j?
j
Let s(x) = 2*x**2 + 6*x + 3. Let u be s(-5). Let y be -2*7/(-2) + 96/6. Is y less than u?
False
Let d = -11.3 + -18.7. Let a = -35 - -76. Let h = a + d. Which is bigger: h or 2?
h
Let t = -21 + 39. Suppose 0 = 2*q - 0*q + 4*m - t, 0 = -q + m + 24. Is 22 < q?
False
Let u = 10 - 12. Let j = -7 - u. Let f = j + 6. Is f less than 10?
True
Suppose -2*m - 4*z - 24 = 0, -z = 4*m - 0 + 41. Let y be 6/(-10) - 6/m. Suppose l - 3 = y, -2*l = -4*w - 3*l - 1. Are w and 1/11 equal?
False
Let n be (391 + -13)*(1 - 2/(-4)). Is n greater than or equal to 567?
True
Suppose -4*x - 1 - 7 = 0. Let b = -15 + 9. Let j be 4*1*4/b. Which is bigger: j or x?
x
Let s be 1*(3 - 7) - -1 - 6. Let u be ((-4)/(-6))/((88/s)/(-4)). Let x = 2 + -1. Is x < u?
False
Let t be 1/(-20)*-2*2. Let v be 1*0*(-3)/(2*-3). Suppose 4*b = -4*u + 20, -5*u = -v*u + b - 5. Which is bigger: t or u?
t
Let r = 21.14 - 21. Let p = r + -0.14. Is p > -0.9?
True
Suppose 2*h = -3*h - 3*f - 1998, 1194 = -3*h - 3*f. Let w be (-24)/(-84) - h/14. Let v = w + -35. Which is smaller: v or 0?
v
Let q = 437/2 - 12693/58. Is 0 < q?
False
Suppose -j - 4*g + 9 = 2, -4*j - 5*g + 6 = 0. Let f be ((-27)/25 - -1)/((-50)/20 - -2). Which is bigger: j or f?
f
Let r be (-1)/((-10)/(-32))*5/(-2). Let z = 19 - r. Which is bigger: z or 12?
12
Suppose -2*p - 7*p + 81 = 0. Let d be 2/9 - 56/p. Is -5 > d?
True
Let x = 0.0606 - 1.0606. Which is greater: 420 or x?
420
Let z(v) = -12*v - 4. Let x be z(-3). Suppose 0 = -4*p - 5*l - x, 0 + 1 = -3*p + 2*l. Let s be ((-21)/6 - p)*0. Are -2/25 and s nonequal?
True
Suppose -4 = 9*a - 10*a. Let r be (-19)/(-76) + -1 + 3/a. Which is bigger: 10/9 or r?
10/9
Suppose 0 = -26*i + 37*i + 242. Is -21 bigger than i?
True
Let y = 3 - 2. Let j = 159 + -172. Which is smaller: j or y?
j
Let p = 112 - 122.3. Let w = 10 + p. Is 5 equal to w?
False
Let h = 20304/12035 + 44/415. Is h at most 1?
False
Let l be ((-27)/(-6) + -4)/((-5)/10). Which is greater: l or 2/303?
2/303
Let a be ((-2)/(-2))/(195/(-5)) - 0. Let p = -37/78 + a. Are -8/7 and p unequal?
True
Suppose 4*y + 5*x - 209 - 31 = 0, 3*y - 5*x = 215. Let c be (26/y)/((-2)/2). Let f = -2.1 - -2. Is f <= c?
False
Let u = -1.977 - -0.097. Let l = u - 0.12. Is 2/7 smaller than l?
False
Suppose 12*t + 5686 = -6302. Which is greater: -998 or t?
-998
Let m = 14238 - 298916/21. Is 5 smaller than m?
False
Let f be ((-114)/(-39))/((-11)/44). Is f greater than -11?
False
Let k be -1*(-70 - (-8 + 13)). Which is smaller: k or 80?
k
Let n be 20/(-30) - 652/(-6). Let p be (3/(-4))/(9/n). Let f = -2/53 - -57/106. Which is smaller: p or f?
p
Suppose -185 = -50*c + 87*c. Suppose -2*x - 2*x - 5*o = -6, -4*x = -4*o - 24. Let p be ((-2)/4)/((-2)/x). Which is smaller: p or c?
c
Let y(h) = h**2 + 3*h + 1. Let f be y(-3). Let x = -28703/5 + 5741. Which is smaller: x or f?
x
Let i be (2 - 3)/(2/(-4)). Let h(p) = -2*p**2 + 8*p - 2. Let c be h(1). Suppose 5*g = 2*b + i*b + 4, -3*g - 4 = c*b. Which is smaller: g or -2/41?
-2/41
Let f(a) = -3*a**2 - 3*a - 3. Let w be f(-3). Let y = w + 19. Is 1 smaller than y?
False
Let u = -0.0272 + 0.2272. Let h(i) = -4*i - 2. Let s be h(-2). Which is smaller: u or s?
u
Let d(h) = 5*h + 2. Let m be d(-4). Suppose 2*f = 43 - 77. Which is smaller: f or m?
m
Let v = -169 + 219. Is v at least 47?
True
Let w be 9*4*(-6)/(-8). Let b be w/36*(-4)/(-1). Let z = 3 - b. Are -1/6 and z unequal?
True
Suppose 2*y + 29 = 11. Let c be (y/6)/((-27)/(-12)). Which is greater: 1/18 or c?
1/18
Let i = 105880/51 - 2076. Which is smaller: i or 1?
i
Let z = -1496 + 1495. Is z at least 16?
False
Let y(o) = 3*o - 2*o + 22 + 3*o. Let k be y(-4). Suppose 5*g = 4*m + 13, -4*m = -2*g - 2*m + 4. Are k and g non-equal?
True
Suppose 22*d + 5838 = 29*d. Let f = -9553/40 - -385817/360. Let o = f - d. Which is smaller: 0 or o?
o
Suppose 2 = 4*d - 54. Let u be 2 + -3 + d/6. Suppose g - 2*y + 10 = -4*g, -3*g + 15 = 3*y. Which is bigger: u or g?
u
Suppose 0 = 15*y - 4*y - 77. Which is bigger: y or -2/3?
y
Let r = 15 - 1. Let i(p) = -p**2 + 17*p + 14. Let x be i(17). Let w = x - r. Which is smaller: 2/17 or w?
w
Let y = 2418/19 - 585213/4598. Which is bigger: y or -1?
y
Let i = 455 - 4082/9. Let u = -5 - -5. Which is bigger: u or i?
i
Let w be 1*(-1 + 0 + -8). Let a(y) = y**3 + 10*y**2 + 10*y - 1. Let p(v) = 3*v + 3. Let t be p(-4). Let q be a(t). Which is smaller: w or q?
q
Suppose 5*y = y. Suppose -4*n + 379 = -5*t, -2*t - 2 + 4 = y. Let a be (