6*x + 5033. Let v = x + -25879/36. Which is smaller: 1 or v?
v
Let w = 133 + -130. Let p = -1.025 + -0.075. Which is smaller: w or p?
p
Suppose -2*y + 97 = v - 5*y, -3*y = -2*v + 188. Let o be (-5)/20 - v/(-76). Is 0 greater than o?
False
Let t be 108/1302*(-14)/3. Which is greater: t or -1?
t
Let l = 1219 - 253543/208. Which is greater: l or -1?
l
Suppose -932*q + 926*q + 6822 = 0. Is q at most 1136?
False
Let y(t) = t - 7. Let u(s) = s - 7. Let o(b) = -6*u(b) + 7*y(b). Let q be o(6). Suppose -15 = -r + 2*m, 5*r - m - m - 35 = 0. Which is smaller: r or q?
q
Let n be (-1)/3*(-4 + 300) + -1. Is -101 smaller than n?
True
Suppose 12 + 21 = b. Suppose 37*u + 40 = b*u. Which is smaller: u or -9?
u
Let z be 1 - (0 - 4/2). Let r = 0.009 - 5.009. Let m = r - 1. Which is bigger: z or m?
z
Let m = -402 + 352. Is -8 greater than or equal to m?
True
Suppose 3*u - 10*u = -609. Which is smaller: 88 or u?
u
Let r = 504 + -484. Are r and 99/5 unequal?
True
Let m = 21 + -15. Let h = 11 - 9. Let p = 9 - h. Which is smaller: m or p?
m
Let v(k) = -7*k**2 - 141*k - 17. Let c be v(-20). Is c equal to 5?
False
Let m = 32.57 + -6.57. Is 1 smaller than m?
True
Let y = -82 + 433. Let k be 2/13 + (-2511)/y. Which is greater: k or 1/3?
1/3
Suppose 2928 - 168 = -4*h. Let m be 12/(-21) - h/(-42). Let f = m + 28. Which is smaller: 12 or f?
f
Let k(w) = 13*w - 9. Let l be k(5). Let a be (-1)/(-8) + 665/l. Is a greater than 13?
False
Let f be -4*2*1/(-4). Suppose p + 0*p - o - 11 = 0, -12 = -p + f*o. Suppose 0 = -n - p. Are -10 and n equal?
True
Suppose -174*p + 188*p = -420. Which is bigger: p or -34?
p
Let m be (2/(-5))/(7/5). Let i = -3431 - -3432. Is m greater than i?
False
Suppose 0 = -2*h + 2*f + 26, 5*h + 0*f - 45 = f. Is -1 >= h?
False
Let w = -19349/3720 - -1/744. Is w greater than or equal to -5?
False
Let o = -4396 - -593456/135. Are 1 and o non-equal?
True
Let x = -0.259 + 2.259. Is x at least -41?
True
Let t be 3 + (330/(-154) - (-2)/14). Which is smaller: -4/219 or t?
-4/219
Suppose -897 = 18*v - 5*v. Is -69 != v?
False
Let i be ((-60)/(-42))/((-2)/(-28)). Let z be 8/2 - 3/(15/i). Do z and -1 have the same value?
False
Let g = 0.6 - 1. Let a = 6.3 + -6.2. Which is greater: a or g?
a
Let g = -174 + 105. Let x = g + 69. Let p = -0.1 - 0. Is p greater than x?
False
Suppose -2*v = w + 46, 8*w - 9*w + 17 = -v. Suppose -6 = -3*m - 15. Is m < v?
False
Suppose 0 = 8*y - 318 - 2. Which is smaller: 42 or y?
y
Let s = 15153/22 + -689. Which is greater: s or 1?
1
Let o = -0.47817 + 0.11817. Let a = 5 + -3. Is o less than or equal to a?
True
Let d(n) = -n**3 + 2*n**2 + 2*n + 3. Let i be d(3). Suppose 5*c = -5*p + 140, 5*p - c = -i*c + 170. Which is bigger: 32 or p?
p
Suppose 0 = -2*y + 6*y. Let n = 29 + -24. Let h = 4 - n. Are h and y nonequal?
True
Suppose 0*s - 34 = 2*s. Suppose -16*k + 4*f = -14*k + 32, k = -2*f - 20. Which is bigger: s or k?
s
Let f = 0.0378 + -88.0378. Is 3 equal to f?
False
Let i = -1.46 - -1.36. Let x be -4*(0 + 6/8). Is i smaller than x?
False
Suppose 168 = 3*j + 5*z - 128, -293 = -3*j - 2*z. Does j = 97?
True
Let w = 3052085/379 - 8053. Which is bigger: -1 or w?
w
Let v = 371 + -377. Let t be (11 - 8)*(1 - 4). Does v = t?
False
Suppose -3*y - 20 = -4*y. Suppose -2*k - y + 28 = 0. Suppose 1 + 7 = k*t. Which is bigger: 6 or t?
6
Let y(g) = g + 4. Let r be y(0). Let h be (-4)/10 + 208/20. Suppose 4*n + 20 = 0, 3*u + 5*n = -0*n - h. Which is smaller: u or r?
r
Let i = 5387/17 - 317. Let u = i + -11/51. Which is greater: -1 or u?
u
Let r be 4/(-10) + 252/5. Suppose -2*d - r = -7*d. Suppose 6*c = d*c - 4. Which is bigger: c or 10/11?
c
Let o(p) = -p**3 + 2*p**2 - 9*p - 40. Let u be o(-4). Which is smaller: 94 or u?
u
Let h be -2 + 3 + -1 - -14. Let v be h/21*4/(-6). Which is bigger: -1 or v?
v
Let i = 52 - 54. Let c = -4 - -6. Let o = c + i. Is -0.05 >= o?
False
Let d(l) = -l**3 + 7*l**2 - 7*l + 6. Let h be d(6). Suppose h = -0*t - 5*t. Let u = -1814/3 + 604. Which is smaller: u or t?
u
Suppose k = -5*i - 1, -3*k + 7*k + 3*i = -21. Let c be 4/k*-15 - 4. Let j = 1 - -6. Is c >= j?
False
Let d be 2/(1744/8744) - 10. Is d greater than or equal to 1?
False
Suppose -4*r = -7*r + a + 9, 2*r - 2*a = 2. Suppose i - 3*h - 1 = 0, 3*i + 3*h - 36 + 9 = 0. Is i > r?
True
Let u = -5092981/362 + 14069. Which is greater: 0 or u?
0
Let r be (-34)/8*(-120)/(-15 - -9). Is -85 > r?
False
Let z = -23 + -41. Let n = z - -92. Suppose 5*j - 2*j = -h + 10, 5*j = 4*h + n. Which is smaller: j or -2?
-2
Suppose -38 = -3*y - 0*y + 2*p, -4*p = -y + 6. Are y and 8 unequal?
True
Let r be (-3)/(-1155)*(-463 + 2). Let t = 3/55 + r. Let y(b) = -b**3 - 2. Let c be y(0). Is c >= t?
False
Let n = -12.98 + 2.38. Which is greater: -1/4 or n?
-1/4
Let u = -9 - 20. Let q = u - -19. Is -10 at most q?
True
Suppose p + 406 = 405. Which is smaller: p or 1/1946?
p
Suppose 0 = -3*o + 8 - 2, -383 = -3*n + 2*o. Which is smaller: 128 or n?
128
Let r = 72 + -69. Is -2 less than r?
True
Suppose 0 = 2*b + 3*j - 164, 8 + 0 = 4*j. Is b equal to 80?
False
Let z = -1 + 0.9. Let g = -0.201 + 0.2. Let b = 0.001 + g. Which is greater: b or z?
b
Let x = 1973/2 - 987. Do x and 1.19 have different values?
True
Let p be (1 - (-15)/6)*(-16)/(-14). Suppose -o + 42 = -4*f + f, p*f = -o - 49. Which is smaller: -23/2 or f?
f
Let c = -10 + 9.946. Let j = c - 0.046. Do j and 1/5 have different values?
True
Let i be (1 + -2)/(-8 - -9 - 2). Are 15/8 and i unequal?
True
Suppose 140 = -3*d + 197. Let z = 16 - d. Is z > 1?
False
Let u be -2 - 0 - (0 + 10). Let c be -21*(-7)/u + (-1)/(-4). Are -11 and c non-equal?
True
Let h(g) = -3*g + 14. Let f be h(5). Let r = -49 - f. Which is greater: r or -47?
-47
Suppose 15 = -5*g - 220. Let u = 21520.9 - 21521. Do u and g have different values?
True
Let z(w) = -w**3 - 12*w**2 - 9*w + 23. Let q be z(-11). Let r be (0/(-2))/((-12)/4). Is q at least r?
True
Let x be (-2)/(-3) + 1 + 71/(-21). Is -3 at least as big as x?
False
Suppose 0 = 4*z - 2*x + 92, 3*z + 3*x = -46 - 14. Let h be (-55)/z*-6*1. Let y be (-12)/h*9/(-24). Is y less than 0?
True
Let b = 1.12 + -0.32. Let j = -1.5 + b. Is 0.2 at least as big as j?
True
Let i(c) = 4*c**2 - 7*c + 24. Let g be i(6). Let x = -104 + g. Which is greater: x or 1?
x
Let r(x) = -x**3 - 6*x**2 + 6. Let o be r(-4). Is o at most -28?
False
Let s = 218 - 253. Are s and -0.03 non-equal?
True
Let a be (0 + -1)/(1/(-3)). Let b = 5 - -18. Suppose 4*d - b = y, -2*y - 25 - 1 = -4*d. Which is smaller: d or a?
a
Let y be -5*(3 - (-39)/(-15)). Let v = y + 7. Suppose 7 = v*a + 17. Is a <= 0?
True
Let y be (0 + (-1)/14)/((-168)/(-112)). Which is smaller: -2 or y?
-2
Suppose 5 = 3*r - 2*r. Suppose -4*h - r*f = -141, 77 = 3*h - 2*f - 0*f. Is h < 28?
False
Let o = -161 + 160. Is o bigger than -7/24?
False
Let i(w) = w**2 - 14*w - 1. Let l be i(14). Let d = 422 - 423.2. Are d and l unequal?
True
Suppose 3 - 24 = -3*g. Suppose 3*h - 15 = -5*n + 1, 5 = n. Let u be -3 + h + (15 - 3). Which is smaller: g or u?
u
Let p be 21/(-15) + 2/5. Let t be 0/(-2) - (p + -2). Does 1 = t?
False
Let v be (5 + -1)/((3 - -2)/(-5)). Let p be (v + 92/20)/((-21)/(-30)). Which is smaller: p or 0?
0
Let p(c) = -c**3 + 2*c**2 + 3*c + 1. Let i be p(3). Let l be (4 - (-60)/(-16))*(i + -5). Is 0.3 > l?
True
Let o = -32238/12737 - -120/47. Which is greater: o or -2/5?
o
Suppose 2*v - 9 - 2 = n, 0 = -3*n - 2*v - 33. Let o = 18 - 28. Is n bigger than o?
False
Let u = 87 - 43. Suppose -k - u = k. Let v = 19 + k. Which is smaller: v or -5?
-5
Let c be ((-14)/6)/((-6 - -2)/(-24)). Which is smaller: c or 9/5?
c
Let r(q) = -4*q**2 - 3*q - 1. Let z be r(-2). Suppose b + 3*b = 192. Suppose -i - 4*k - 26 + 3 = 0, -3*i - 5*k - b = 0. Is i > z?
False
Suppose -61*f + 63*f - 3*y = 150, 0 = 2*f - y - 146. Is 72 < f?
False
Let z(d) be the first derivative of d**4/4 - 5*d**3/3 + 7*d**2/2 - 5*d - 47. Let v = -4 - -8. Let n be z(v). Is 8 greater than n?
True
Suppose -4*z + 4 = 0, 4*z + 5 = 4*p + 141. Let j be p/(-42) - ((-27)/(-21) - 1). Which is smaller: j or 0?
0
Let m(j) = -j**2 - 11*j - 2. Let t be m(-11). Let s = 3 + t. Let w = -288 + 3742/13. Which is smaller: s or w?
w
Suppose 0 = 15*w - 14*w - 2*u - 4, 0 = -w - u - 2. Is 2/309 at least as big as w?
True
Let f(l) = -3*l + 24. Let k = -32 - -41. Let h be f(k).