 a?
j
Let z be 4/(2/((-16)/(-4))). Suppose -3*a - 2*a - z = -x, 3*x = -3*a + 6. Suppose -3*w = -3*r + 36, -2*w = x*r - 2 - 29. Which is smaller: 12 or r?
r
Let m be 111/2 + 5/(40/4). Suppose 4*i + 4*i - m = 0. Let y be 4*1*(-9)/(-6). Which is greater: i or y?
i
Suppose 0 + 20 = -5*q. Let j be (-51)/(-18) + (-2)/q. Let u(a) = -3*a**3 - 5*a**2 - 7*a - 3. Let v be u(-1). Which is bigger: v or j?
j
Suppose 9*u - 14 = 7*u + b, 3*u - 21 = 2*b. Suppose -j - 4*h - 14 = -2, -4*j = 2*h + 6. Which is bigger: u or j?
u
Let s be (36 + -35)/(2*(-3)/4626). Do s and -771 have the same value?
True
Suppose 2*u + 3*d = 269, -u = 5*d - 8 - 116. Suppose -b + u = -2*c - 2*c, -c = -b + 127. Let f = b - 858/7. Do -1 and f have different values?
True
Let l = -4.21 - -12.61. Is 2 != l?
True
Let i = -319.78 + 270.8. Let x = -49 - i. Which is smaller: x or 0.4?
x
Suppose 2*f + 1 = 7. Suppose -f*b = 3*m, 4*b - 3 + 2 = -5*m. Which is greater: 0.1 or b?
0.1
Let n(t) = 7*t**2 - 19*t + 9. Let c be n(2). Let q be -4*(-1)/(2/(-2)). Are q and c unequal?
True
Suppose 5 = 5*c - 4*c. Suppose t = 5*m + 35, -3*m + c*t + 33 = -4*m. Let r be -4 - (-4)/m*-4. Which is greater: 2/9 or r?
2/9
Let r(p) = -p**2 + 4*p + 5. Let i be r(4). Suppose -2*a = -5*j + j - 16, i*j - 2*a = -20. Which is bigger: -2 or j?
-2
Suppose k + 2 = 2*k - 2*j, 22 = 5*k + 2*j. Let i(o) = k - o**3 + 4*o**2 - o - 6*o**2 - 2 - 3. Let p be i(-1). Is p greater than -0.27?
False
Let p = -14562/7 + 2073. Which is bigger: -8 or p?
p
Let a be (-4)/228*(-7929)/26. Let o = a + -98/19. Are o and 0 equal?
False
Suppose 5*q + 7 = 22. Suppose 5*p = -4*g + 33, -p = -2*g + 4*p - 21. Suppose -g*w = 2*y + 8, -q*w + 2 = -5*y + 14. Which is bigger: -1/3 or y?
y
Let f(u) = u**3 - 8*u**2 - 8*u + 3. Let b be f(9). Suppose -11*t - b = -12*t. Let h be (-28)/(-24) + (-2)/t. Which is smaller: 8/7 or h?
h
Let f = 54 + -57. Suppose -2*b = -0*b + 6. Let c be b*(-2)/(-4) - -2. Is f >= c?
False
Let i = 5.07 - 0.07. Let p = 0 + i. Let y = -0.1202 + 0.0202. Are y and p unequal?
True
Let x(p) = p**3 - 5*p**2 - 3*p. Let v be x(6). Let c be 12/v - 1057/6. Let b = c + 171. Is -4 at most b?
False
Suppose 8*q = 3*q + 85. Suppose 3 = 3*z, -2*m = -0*m + z - q. Let b = m - 6. Are b and 5/6 nonequal?
True
Let d be 0*(-1)/3 - 19. Let i = d - -52. Let x = 133/4 - i. Is x at most as big as 2/7?
True
Suppose -6 = -3*b - 39. Suppose 5*w - 6*w - 4*i = -9, 2*i = -w + 7. Let y(k) = -5*k + 14. Let l be y(w). Is l smaller than b?
False
Suppose 2*c - 9 = c. Let o(u) = -u**3 + 10*u**2 - 10*u + 13. Let v be o(c). Suppose 0 = v*g - 6*g + 2. Is 10/9 < g?
False
Let w = 0.69 + -4.39. Let v = -3.9 - w. Let p = 9.88 - -0.12. Which is smaller: p or v?
v
Let u be (0 + (-2)/28)*-15. Let i = -1234 + 1234. Which is smaller: u or i?
i
Suppose 4*c + 12 = -0*c + 4*q, 0 = 5*c - q - 1. Let i be c + -2 - (-1 - 2). Let l be (-28)/9*(-612)/714. Are l and i unequal?
True
Let h be 1/((3/(-2))/(-3)). Suppose 4*s + 132 = -188. Let g be 2/3 + s/75. Which is greater: g or h?
h
Let y(a) = 7*a**2 - 33*a + 54. Let n(x) = -10*x**2 + 50*x - 81. Let g(i) = -5*n(i) - 7*y(i). Let r be g(18). Let c = -8 + r. Is 6/13 at most c?
True
Let z(i) = -6*i**2 + 15*i + 12. Let x be z(4). Which is smaller: -164/7 or x?
x
Let w be ((-2)/122)/(85/5610). Is w greater than or equal to -1?
False
Suppose -15*a + 12 = -18. Let z = 1 - 5. Let t = z + 9. Which is greater: a or t?
t
Suppose 2*m - 3 = 3*q - 24, -q = -2*m - 31. Let a be (6/m)/(1/3). Let r be (0 - (-12)/(-9))*a. Do r and -4 have the same value?
False
Suppose -3*h + 78 = 4*m, 5*h + 0*h - 130 = 3*m. Let n = h - 23. Suppose -4*q - 12 = -l - 3, -4*q = n*l + 5. Is -4 equal to q?
False
Suppose -496 = -0*j - 4*j. Let y = j + -325/2. Which is smaller: y or -38?
y
Let l(p) = p**2 + 4*p + 25. Let x be l(-9). Let w be 5*((-256)/x)/(-8). Which is greater: w or 2?
w
Let t = 128 + -2. Which is greater: t or 127?
127
Let m(p) = -p**2 + 8*p - 3. Let u be m(7). Suppose -w - 13 = -3*w + 3*v, 2*v + 14 = u*w. Let b be (-3 + 2)/(2/w). Is b <= 1?
True
Let o be (30/(-45))/((-8)/14724). Is 1227 smaller than o?
False
Let g(z) = -3*z + 11. Let a be g(4). Let s be 4 + (-87)/27 + a. Which is smaller: 0 or s?
s
Suppose 4*h = -b + 168, -522 = -3*b - 3*h - 0*h. Is b at most 177?
True
Let u = -16.3 - -15.9. Is 26 greater than or equal to u?
True
Let g be 3/6*28 + -2. Let f be (g + -9)/(1/(-1)). Let l be 1 - 2 - 0/f. Is 1/2 at most as big as l?
False
Let s = -749 + 723. Which is smaller: s or 0.06?
s
Suppose 11*o = 9 + 2. Is -1/116 equal to o?
False
Let r be 3*((-62)/(-3) + 2). Suppose 0 = -3*z - 2*m + 215, 4*z + 53*m - 49*m = 292. Which is greater: r or z?
z
Suppose -189*t = -194*t + 30. Suppose 2*i = 4*i - 14. Is t at least i?
False
Let r(f) = -4*f**2 - 156*f + 93. Let k be r(-38). Is 248 > k?
True
Suppose -5*f + 4*i + 346 = 0, -f + 5*i + 41 = -24. Is f bigger than 72?
False
Let j = 13.0252 - 0.0252. Do j and 5/6 have the same value?
False
Let b = 433 + -324. Is 431/4 greater than b?
False
Let d(p) = p**2 + 12 + 10*p - 2 + 1. Let z be d(-9). Let g = 63 - 63. Is g at most as big as z?
True
Let q(o) = 56*o + 12. Let l be q(-1). Which is smaller: l or -136/3?
-136/3
Let h = -32 - -40. Let c = h - 8. Is c equal to 1/38?
False
Let o(a) = a**3 + 6*a**2 + a + 4. Let r be o(-6). Let f be r/(-8)*-1*-12. Suppose 7*g = f*g. Is g equal to 3/10?
False
Let t = -37 + 57. Suppose -5*y + 16 = 4*n, 0 = -4*y - 0*n + 5*n - t. Which is greater: 6/67 or y?
6/67
Let s be 0 - (-132)/16 - 2/(-8). Let m = 4 - 1. Suppose 3*w - 3 = -2*k, -w + 10 = -m*w. Is s at least as big as k?
False
Let a = 791 - 379. Let q = -402.82 + a. Let m = q + -0.18. Which is bigger: m or -1?
m
Let d(c) = -71*c**3 - c**2 + 4*c + 4. Let j be d(-1). Which is greater: j or 47?
j
Let c = -52 + 46. Let q be ((-16)/(-72))/((-2)/c*-1). Which is greater: q or 1?
1
Let q = 2.92 - 3. Let p = -75/44 + 43/22. Which is smaller: q or p?
q
Let i(p) = -2*p**2 - 11*p + 10. Let g be i(-6). Suppose -g = 5*k + 6. Are 1 and k equal?
False
Let b be -3 + -12 + 16 + 1. Let v be 5 + (2 - 4) + 0. Let t be ((-8)/(-28))/(v/7). Is t greater than b?
False
Let f be (-12)/4 + (-1 - -5). Let l = -7 - -6.96. Do f and l have different values?
True
Let j = -2353249/568606 + 389/94. Which is smaller: j or -0.1?
-0.1
Let o be 3*(-2 + 408/207). Let n = -18 + 15. Let h = n - -3. Which is greater: h or o?
h
Let o be (-5)/(-4)*47/5405. Which is smaller: o or 0.07?
o
Suppose -84 = 5*m - 29. Let n(c) = -10*c**2 - c + 1. Let o be n(1). Which is smaller: m or o?
m
Let x be (54/15)/(4/10). Suppose x*w - 4*w = 5, -4*w - 131 = -3*p. Do 46 and p have the same value?
False
Let k be (3/(-2))/((-21)/476). Let a = 20 - k. Let x = a + 6. Which is smaller: -7 or x?
x
Let a(i) = i**3 - 7*i**2 + 7*i - 4. Let h(u) = -u**2 - 8*u - 6. Let r be h(-6). Let k be a(r). Let y be 0/k - 0/(-1). Is 0 >= y?
True
Suppose -1662*r + 1657*r = 345. Is -69 at most r?
True
Let w = -12.356 + -1.704. Let u = w - -14. Which is bigger: u or -0.3?
u
Let v = -0.836 - -0.836. Which is smaller: v or -0.0324?
-0.0324
Let i(v) = v**3 - 8*v**2 + 10*v - 18. Let f be i(7). Suppose 5*a = f*s + 125, -5*s + 0*s = 4*a - 100. Which is smaller: a or 23?
23
Let s = -1965 + 1965.02. Let u = -0.3 - -0.1. Let p = 0.8 - u. Which is smaller: p or s?
s
Suppose -y = 8*q - 3*q - 8, -2*q - 2*y = 0. Let b be (8 - q - 3)*1. Suppose 5*u + 28 = 3*k - 39, -b*k + 2*u + 70 = 0. Are k and 24 nonequal?
False
Let q(y) = 6*y - 42. Let n be q(7). Suppose -z = 3*c + 5, 0 = -n*c - c + 2*z + 10. Which is smaller: c or 8/17?
c
Let a = -0.0399 - 0.9601. Is -21 <= a?
True
Let z be (15 - 0) + (2 - 3). Suppose 13 = 5*r - f, 2*r + 2*r - z = -f. Is r >= 5/3?
True
Let n = 2.2225 - 0.2225. Let r = -0.33 - -0.03. Let f = 0.28 + r. Which is greater: f or n?
n
Let a(o) = -6*o - 1. Suppose 4*q - 5*k - 5 = 0, -3*k - 2*k = -5*q + 10. Suppose q*h + 3 = -3*w, -2*h - 2*h + 3*w = 24. Let j be a(h). Which is smaller: j or 18?
j
Let j = 3440881/1180 + -2916. Which is greater: 1 or j?
1
Let x = -10.2 - 14.3. Is x > 0?
False
Suppose h = -2*h. Let z be 2 + -4*2/4. Let m be (-2)/6*(2 - z). Which is bigger: h or m?
h
Let c be (-6)/63 + (-4)/(-42). Are c and 6.5 equal?
False
Let t be (-2 + 4)*(-1 + 2). Let b be (-8 - -1)*(-1 - 19/(-7)). Let z = b + 12. Which is bigger: z or t?
t
Supp