k
Let s = 8 + -6. Suppose s*x = x + 1. Suppose x + 0 = w. Which is smaller: w or 0?
0
Let u = -3.5 - -0.5. Which is bigger: -4 or u?
u
Let u(j) = 23*j + 26. Let y be u(3). Is y != 95?
False
Suppose -i + x = 3*x + 8, 5*i = -2*x - 24. Suppose 0 = 23*m + 17 + 144. Are i and m non-equal?
True
Suppose -5*n = -5*d + 2*d + 34, -3*n + 4*d - 27 = 0. Suppose -20 = 2*h - h. Let z = 17 + h. Which is smaller: n or z?
n
Let k be (0 + (-9)/30)*(-4)/1. Let h = -3 - 3. Let g be (-8)/h + (-2)/(-3). Which is greater: k or g?
g
Suppose 5*d - 21 + 6 = 0. Suppose -d*c = -2*w + 80, -5*c + c + w - 100 = 0. Does -23 = c?
False
Suppose 14 = -2*l + 32. Suppose -l = 5*g - 34. Suppose -g*p - 27 = 2*r - 4*r, -10 = -5*r + p. Which is greater: r or -11?
r
Suppose -9 = -3*k - 0. Suppose y + y - 8 = 0, 0 = -3*v + 5*y - 8. Is k less than v?
True
Suppose -10 = 2*m - 4*m. Let u(y) = y - 1. Let x be u(m). Suppose -d = -x*d - 3. Which is greater: 1/12 or d?
1/12
Let y(f) = -2*f - 24 + 5*f + f - 11. Let h be y(15). Let z be (20/h)/(9/(-5)). Is 1 at least z?
True
Let i = -35/73 - -1359/3139. Are i and -64 non-equal?
True
Let q = 6/29 - 389/58. Let a = -41/6 - q. Which is smaller: 1 or a?
a
Let g = 21711/5 - 4367. Which is greater: -25 or g?
g
Suppose -19 = 4*x + 1793. Is -455 less than x?
True
Let g = 29 - 16. Let m be 32/(-24)*(1 - g). Are 16 and m unequal?
False
Let b = -3409.19 + 3409. Let y = 0.1 + -0.1. Which is smaller: y or b?
b
Let h = -0.2 + -0.06. Let g = -0.96 - h. Which is smaller: 0.1 or g?
g
Suppose -5*m = 3*t - 5*t + 2, -3*t - 4*m - 20 = 0. Let c be 2 - -2*(-6)/t. Suppose -c*o + 6 = o. Which is smaller: o or -0.14?
-0.14
Let y = -0.23 - 0.75. Let o = -0.88 - y. Which is bigger: o or -59?
o
Let p = -7 + 1. Let g be (p/(-16))/(3/10). Suppose 4*h - 7 = 2*z - 3, 0 = 2*h - 2. Which is bigger: z or g?
g
Let r(h) be the second derivative of h**3 + 9*h**2 + 11*h. Let s be r(-3). Does -2/139 = s?
False
Let a = 83 - 81. Let d be -61 + a + -1 + 3. Which is greater: -58 or d?
d
Let c = -21953474 - -3841879504/175. Let t = -772/25 + c. Let j = 92 - t. Is -1 at least j?
False
Let k = 0.1582 - -0.1418. Is -45/7 != k?
True
Let z = 6034/29 - 208. Which is bigger: z or -3/11?
z
Suppose -23*t = -8*t + 15. Which is bigger: -5/14 or t?
-5/14
Let t = -39 + 59. Let k be (-2)/10*(t/8 + 0). Which is smaller: k or 6/19?
k
Suppose -30*h = -1006 - 314. Is h less than 40?
False
Suppose 2*m - x = -0*m - 36, 3*m + 47 = 5*x. Let j be 1/2*(-1 + m). Do j and -12 have the same value?
False
Let l(g) = 2*g**2 + 14. Let t be l(0). Let a be -1*(1 + -1 - 0). Suppose a = -4*c + 4*q + 64, c = -5*q - 0*q + 10. Is c at most as big as t?
False
Let a = 1227/6112 + 4465681/11032160. Let o = -2/361 + a. Let p = -6/5 + 7/10. Which is smaller: o or p?
p
Let b(x) = x**3 + 8*x**2 + 9*x - 4. Let l be b(-4). Which is bigger: l or 3?
l
Let i(q) = -41*q + 1. Let s be i(-1). Let k be (0 - 24/30) + 418/10. Is s smaller than k?
False
Let s = 21119/44 + -480. Which is smaller: 0 or s?
s
Let w = -6 - -11. Suppose 0 = w*a + 20, 4*x - x = a + 70. Let y = 18 - x. Which is smaller: y or -3?
y
Let o = 58 + -59. Suppose 5*f + 6*v = v + 5, -f + 4*v = -1. Let r be (f*(3 - 2))/6. Is o greater than or equal to r?
False
Let w = 444 - 4883/11. Is 4 at most w?
False
Let o be 68/(-16) - (-5 + 5). Let v = 4 + o. Which is bigger: v or -36?
v
Let o = 1.0581 + -0.0581. Which is greater: -376 or o?
o
Let g = -3.25 + 3. Let w = 51.5 - 55. Let m = 4.5 + w. Which is bigger: g or m?
m
Let m = -607 + 389. Is -2/3 > m?
True
Suppose 5*b - b - 24 = 4*z, -5*b + 30 = 5*z. Suppose 3*a - b*a = -14*a. Let s be (-59)/(-168) - (-1)/(-3). Which is bigger: a or s?
s
Suppose -3*y - 5*f + 18 = 0, -5*y + 0*f - 4*f = -17. Let i = 89 - 6677/75. Which is bigger: y or i?
y
Let h(w) = w**3 - 5*w**2 - 7*w - 3. Let u be h(6). Let j(m) = m**3 + 8*m**2 - 6*m - 12. Let g be j(u). Let p be 9/g*2/(-3). Which is greater: 0 or p?
p
Suppose -2*u = q - 22, 13*u + 5*q - 32 = 9*u. Let c = -563 - -1729/3. Are c and u unequal?
True
Let h be 0 + 2 + -3 + 9. Let s(n) = -2*n + 2. Let c(v) = -v - 1. Let t(k) = 3*c(k) + s(k). Let b be t(-2). Is b at least h?
True
Suppose i - 4*b - 3 = 1, 0 = b. Suppose 3*t - 25 = 2*n, -i*n + t - 78 + 13 = 0. Let d = 63 - 81. Which is greater: d or n?
n
Let d(u) = -u**2 + 17. Let m be d(-4). Let s = 51978/73 - 712. Which is bigger: s or m?
m
Let x be 1 + -3 - 4/(-4). Let z = 8/39 - 181/819. Which is greater: z or x?
z
Let p = 783 + -789. Is 3 smaller than p?
False
Suppose 0 = -11*b + 281 - 50. Does b = 20?
False
Let b = -427 - -438. Let g = 2.8 + -3. Which is smaller: g or b?
g
Let w be 7 - (-675)/(-100) - (-25)/(-4). Let c be (-26)/(-10) - 2/(-5). Which is bigger: w or c?
c
Let f(b) = b**3 - 11*b**2 + 9*b + 13. Let j be f(10). Suppose j*k + 10 = k. Let l = k - 29. Is -34 bigger than l?
False
Let u = -4724/11 + 44633/110. Is -24 not equal to u?
True
Let c be (-908)/(-60) + 2/(-15). Let j = 23 - c. Suppose -k = -2*x + j, -2*x - 1 = -x - 3*k. Is x less than 5?
False
Let f be (-12)/8 - (-106)/4. Suppose 0 = -0*v - 5*v + f. Let n = -5 + v. Is n at least 1?
False
Let g = -23.8 - -23.603. Which is greater: g or 1?
1
Suppose 2*f - 32 = 6*f. Let y be f/16 - 2/4. Let j be (-1 - y) + (-4)/(-38). Is j > 0?
True
Let o be 4 + (38/11)/(-1). Suppose -v + 2 = 1. Which is greater: o or v?
v
Let l = 1.69 + 27.31. Let r = 3.9 + -3.8. Which is smaller: l or r?
r
Let x(h) = -6*h**2 + h + 1. Let n be x(-1). Let y(v) = -v**2 - 8*v - 13. Let c be y(n). Is -4/13 equal to c?
False
Let v(w) = -7*w**3 + 8*w - 2*w**2 + 2 + 6*w**3 - 7. Let f be v(-4). Is -4 less than or equal to f?
False
Let v(w) be the second derivative of -w**3/3 - 17*w**2/2 - w. Let i be v(-8). Is -4 greater than or equal to i?
False
Let r = -12/192245 + -2230618531/3268165. Let o = r + 683. Is o bigger than 1?
False
Let h(w) = -5*w. Suppose 0 = 3*b - 3*i + 12, i - 1 = -3*b + 3. Let z be h(b). Is -1/24 at most z?
True
Let i = 74.19 - 0.19. Suppose 83 = -75*m + 8. Are m and i non-equal?
True
Let b = 0.51 - 0.6. Let i = -319 - -319.2. Do i and b have the same value?
False
Let r = -2/327 + 36959/1308. Let n(t) = t**2 + 125*t - 489. Let x be n(4). Which is smaller: x or r?
x
Let b = 43 + -21. Let d = b - 25. Which is smaller: 1 or d?
d
Let y be (13 - 14)*(2 - 47). Suppose 3*r + 43 = 2*h, 5*h - r = -6*r + y. Is h at most 16?
True
Let o be (1 + 3)*65/130. Which is smaller: 39/14 or o?
o
Let k = 0 + -1/2. Suppose 2*u = -5*j + 8, -4*j + 3 + 5 = 0. Let c = u + -1. Which is smaller: c or k?
c
Let r = 9 + -6. Suppose -y + 5*a = 4*y, -y = -4*a - r. Is 1/35 greater than or equal to y?
True
Let t(f) = f**3 + 5*f**2 + f - 5. Let d be t(-4). Let o = d + -2. Let y be (17/o - 3)*2. Which is smaller: y or 0?
0
Suppose 126 = -2*f - f. Let c = -26 - f. Suppose -2*j + 4*j = -5*a - 32, -a - c = -2*j. Which is greater: a or -9?
a
Suppose 4*q - 4 = -2*k, 4*q + 2*k - 16 = -3*k. Is q <= -1/175?
True
Let j be (-76)/(-22) - (8 + -4). Let p = -35/44 - j. Do p and 21 have the same value?
False
Let t be 2/4*(-16)/8. Which is bigger: t or -16/15?
t
Let t be (-9)/(-36)*(-8)/20. Let f be (1 - 1)/(2/(-1)). Which is smaller: f or t?
t
Let l be (-5535)/(-22044) - (17/4 + -4). Which is bigger: 1 or l?
1
Let i be 12 + -6 + 0 - -265. Is 271 equal to i?
True
Let u be 4/(-7)*112/(-32). Let v = -34 + 58. Suppose u*x - v = -x. Is x greater than or equal to 8?
True
Let a = 287 + -294. Is a at most as big as -3?
True
Suppose -4*w - 2 = -6. Let b = 375 - 31873/85. Let n = 27/425 - b. Which is smaller: n or w?
n
Let p = -70 + 74. Let o be p/26 - ((-4239)/(-1950) + -2). Which is greater: 1 or o?
1
Let p be 4/(1 - (1 - 5)/4). Suppose -a + 2*g = -2*g + p, 4 = 4*g. Does -1 = a?
False
Let r = 28.6 - 27. Let i = r - 1.62. Is -3 less than i?
True
Let u be ((-4)/(-6))/((-6)/63). Is u at most -6?
True
Let u be 53/7 + 27/63. Let l(p) = -p**3 + 7*p**2 + 9*p - 7. Let g be l(u). Let i(x) = -2*x**2 + 2*x - 1. Let w be i(g). Do -3 and w have the same value?
False
Let p = 207/95 + -49/19. Is 5/39 at most p?
False
Let v = 227 + -118. Suppose 5*d = -2*g + v, 0 = 5*d + 5*g - 81 - 19. Suppose -d*w = -18*w + 90. Which is smaller: -17 or w?
w
Suppose 3*i + 29 = 2*d, 0*d - 5*i = d - 34. Which is smaller: d or 12?
12
Let u(f) = -4*f**3 + 5*f**2 - f - 2. Let s be u(2). Let c = 621/2 + -