Which is smaller: 1 or z?
z
Suppose 50*h - 15876 = 62*h. Are -1324 and h non-equal?
True
Suppose -2*z = 2*z - x - 2, 0 = 4*z + 3*x - 10. Let g be z/6 - 37/(-30). Let h = g + -19/10. Is -1 bigger than h?
False
Let u(w) = w**3 - 13*w**2 + 8*w - 20. Let x be u(4). Is x equal to -133?
False
Let c be (-4)/(-5)*55/22. Suppose 0*u - 2*u = -c. Is 1 at most u?
True
Let a be 35/1580*((-2 - 1) + 5). Which is greater: 1 or a?
1
Let i = 29 + -17. Let j be (1/48)/(27/i). Which is smaller: j or 1?
j
Suppose 0 = p + 70 + 45. Let v = p - -113. Which is smaller: v or 3?
v
Suppose 4*v + 17 = 3*l, 2 = 3*v + 5*l - 7. Is -57 >= v?
False
Let k be (-2)/(-7) - 141/420. Suppose -4*o + 51 = 19. Suppose s - 9 = -o. Is s >= k?
True
Let l = -4 - -13. Suppose l*g = 4*g. Suppose 0 = s + 2*s + 12. Is g > s?
True
Suppose -5*f - 3*h + 121 = 0, 5*f - 6*f + 3*h = -17. Which is greater: f or 19?
f
Suppose g + 3*g + 8 = 0. Let m(n) be the second derivative of -n**3/6 - 2*n**2 + 2*n. Let l be m(0). Which is smaller: l or g?
l
Let o = 72 + -66. Which is greater: 0.026 or o?
o
Let o(r) = 45*r**3 - 7*r - 8. Let v be o(-1). Is v < -45?
True
Let d be (3 + 3)*4/24. Suppose -v = -5*v + 8. Which is bigger: v or d?
v
Suppose -18*w + 20*w = 6, -3*p - 5*w = -45. Which is smaller: 33 or p?
p
Suppose -r + 4*y - 6 = 0, -3*r - 2*y = 10 + 22. Suppose -q = d - 4*d + 14, -q = 4*d - 14. Suppose d*z + z + 45 = 0. Which is smaller: z or r?
r
Let k(y) = -y**2 - 15*y + 122. Let j be k(6). Let h be 1/((0 - 2)/(-6)). Suppose r + 16 = -h*r. Is j >= r?
True
Let y be 74*1 + 5 + -7. Suppose -49*i + 48*i - 6 = 0. Let r be (6/y)/(2/i). Is 6 equal to r?
False
Let h be 0 + (-4)/((-4)/1). Let f be 6/(-10)*1313/(-3). Let r = f - 261. Do h and r have the same value?
False
Let g be ((-9)/6)/((-6)/16). Suppose 16 = 4*v - 2*f, -6 = -g*v + 2*v + 2*f. Let w(h) = h**2 - 16*h - 13. Let s be w(17). Are v and s unequal?
True
Suppose -81 = 2*u - 5*m, -5*u - m + 25 = 160. Let p = u - -25. Let s(l) = -l**3 - 5*l**2 - l - 7. Let z be s(-5). Is p bigger than z?
False
Let h(g) = 4*g**3 - 3*g**2 - 5*g - 5. Let m be h(-2). Let k = 61 - 101. Is m greater than k?
True
Let v = -344 - -227. Let y = v - -120. Is 3 at least as big as y?
True
Let g = -0.38 - -0.18. Let p = -0.09 + -0.61. Let s = 9.7 + p. Is s bigger than g?
True
Suppose 14*d - 9*d - 750 = 0. Let v = -95 + d. Is v != 54?
True
Let j be (768/(-1))/3 - (14 - 12). Is j greater than -259?
True
Let x be (66/(-15))/(50/(-125)). Let b(h) = 2*h + 4. Suppose 0 = 3*d - 5 - 7. Let f be b(d). Is x greater than or equal to f?
False
Let d(l) = 4*l**2 - 2*l - 7. Let z be d(-4). Let q be (z/(-26))/(2/(-12)). Let j = 0.1 + -0.2. Which is smaller: j or q?
j
Let a = 9 + -24. Let p = a - -15.3. Let k = -2.3 + p. Are 5 and k non-equal?
True
Let k = -2419 + 2418.905. Which is bigger: k or 0?
0
Suppose 11*g - 325 = 6*g. Is g at least 67?
False
Let b = -22 - -20. Let d be (b/(-4))/(-1*(-123)/(-18)). Is d less than or equal to 0?
True
Suppose -4*k + 803 = -81. Which is smaller: k or 0?
0
Suppose -3*b - 2*b = -15. Suppose -2*o + 6*o = -4*w - 20, b*w = 4*o - 8. Let x be (-1)/(-3) + o/3. Is x greater than -2/45?
True
Suppose 3*h + 3*p = 3, 3*p + 0 - 3 = -h. Is 1/150 at most h?
False
Let z = 7 - 4. Let i be 1/((-6 - -4) + z). Suppose 0 = u - i, 4*p + u = 3*p. Are -12/5 and p non-equal?
True
Let h = 1 + 0. Let s(m) = 3*m**3 + 2*m**2 + 3*m - 1. Let f be s(0). Which is greater: h or f?
h
Let c(b) = 2 + 4 + 1 - 5 - b. Let j be c(-7). Let r = j + -7. Which is smaller: 1 or r?
1
Let n(c) = 30*c - 4. Let h be n(-1). Let d = 40 + h. Which is bigger: 3 or d?
d
Let c = 284/329 + -54/47. Is 1264 < c?
False
Let s = 7.6 - -33.4. Let y = s + -33. Which is smaller: y or 3?
3
Let s(g) = 8*g + 15. Let v be s(-2). Is -1/28 at least as big as v?
True
Let i = 6 - 6.4. Let c = i + 0.9. Let x = -1.7 + 1.6. Which is smaller: x or c?
x
Let r = -29 + 28.9. Let t = 8 - 0. Let h = t - 7. Is h at least as big as r?
True
Let l = 2935 - 20509/7. Suppose 0 = -t + 3 + 3. Which is bigger: l or t?
t
Let b = 206 - 206. Is 8/19 not equal to b?
True
Suppose 2 + 2 = 4*p. Which is bigger: 2/81 or p?
p
Let q = 86163/20 - 4307. Is q smaller than 2?
True
Let u = -6 + 6. Suppose -4*d = y - 302, 3*d + 2*y = -2*y + 220. Suppose l + 3*l + d = -4*g, u = 3*g - l + 41. Is g at least as big as -14?
False
Suppose 0 = d - 3*p + 6, d + p = -0*p + 6. Is 8 greater than d?
True
Let d(q) be the second derivative of -q**3/3 - 3*q. Let y be d(-6). Suppose -l - y = -4*l - 4*u, l = -5*u + 15. Is -2/3 bigger than l?
False
Let p be -19*-2*2/4. Suppose -3*v - p = 5. Let o be 6/v - (-2)/8. Is 2 greater than o?
True
Let h be 2/(-4) - (-111)/(-30) - -3. Which is smaller: h or 0.3?
h
Suppose 0*t + 4*t = -2*b - 72, 19 = -t - b. Let a(s) = 23 + 31 + 27 - 92 - s. Let h be a(t). Which is greater: 5 or h?
h
Let h = 0 - 6. Let o be (-4 - h) + (-2 - -1). Suppose 5*x - 31 = -3*k, 7*x - 2*x = -2*k + 14. Which is greater: o or k?
k
Let l = -16 - -15.8. Which is bigger: 34 or l?
34
Let v be ((-36)/(-16))/((-1)/(-16)). Let m = 3 + -1. Suppose -4*k + m*x + v = 0, -k = 2*x + 2*x. Is k at least 8?
True
Let l = 0.15 - -4.25. Let d = -4.5 + l. Let n = -1 - -2. Which is bigger: n or d?
n
Let x be (-1)/1 + -1 - 9. Let s = 9 + x. Let m be (((-1)/(-1))/s)/1. Is m at most as big as -11?
False
Suppose 0 = m + 2*m - 36. Let d be 14/m*4/7. Is d at most as big as 2?
True
Suppose -2*r = -16 + 14. Is r at least -3/287?
True
Suppose -t - 4*s = -3*t - 4, 0 = -t - 4*s - 32. Suppose 2*h + o = -19 - 8, 2*o = -5*h - 67. Is h bigger than t?
False
Let r = -81 + 88. Let g = -9 + 16. Let a = r - g. Do a and 1/7 have the same value?
False
Let j(g) = 11*g. Let f be j(-2). Let c = 17 + f. Suppose -4*p + 7*p + 4*v + 7 = 0, -5*p = 3*v + 19. Is c less than p?
False
Let o be 3255/84 + (-1)/(-4). Which is smaller: 43 or o?
o
Let l(q) = 5*q - 64. Let s be l(15). Let z(f) = -3*f**2 + 33*f. Let a be z(s). Is -0.1 > a?
False
Let k = 6 - 5. Let j = 78001 + -700486/9. Let y = j + -169. Is k greater than y?
True
Let k be ((-248)/28 + 2)/(12/(-42)). Is 177/7 less than or equal to k?
False
Let d be ((-660)/(-150))/(2/5). Which is smaller: 13 or d?
d
Let n = -34.2 - 100. Let k = 134 + n. Let j = -713/18 + 79/2. Is j less than k?
False
Let o = -34.1 + 31. Let m = o - -3. Let k = 319 - 320. Which is smaller: m or k?
k
Let q = 21485/6 + -3670. Let a = -89 - q. Which is smaller: a or 1?
a
Let o(b) = 2*b**2 + 24*b + 110. Let x be o(-10). Which is bigger: x or 69?
x
Suppose -3*o - 3 = -6. Suppose -5*h + 16 - o = 0. Is h equal to 1?
False
Let j = 706.98 - 707. Let i be (2/(-14))/((-12)/14). Which is bigger: i or j?
i
Let d(x) = -x**3 + 2*x + 3. Let n be d(-1). Let i = 1/975 - -3314/975. Is n at least i?
False
Suppose -4*y - 39 = -5*y. Let b be -2*2 - (2 - y). Which is smaller: 32 or b?
32
Suppose -5*a - 41 = -41. Suppose -w + 4 + a = 0, -44 = z - 5*w. Is z >= -24?
True
Let n be ((56 - 2)/(-6))/(21 + -1). Let c = -1/20 + n. Which is smaller: c or -0.4?
c
Suppose -a + 20 + 1 = 0. Let n be 1/a*(-7)/6. Which is bigger: n or -1?
n
Let o be (-555)/3 - (-23 - -25). Which is bigger: o or -183?
-183
Let g be 4/(-38) + 1245/(-1710). Let p(k) be the second derivative of -k**3/6 + 5*k**2 + k. Let a be p(10). Which is smaller: a or g?
g
Let c be 17/34*(-4)/215. Let f be 0/(8/(7 - -1)). Is f bigger than c?
True
Let b = -873 - -873. Let s be (-2)/(-8) - (-1)/(-100). Is b <= s?
True
Let f = 9 + -2. Suppose -f*k - 30 = -12*k. Is k bigger than 9/2?
True
Let c(o) = -4*o + 1. Let n be c(1). Let s be 2*1/((-3)/n). Let w = -193 + 194. Is w bigger than s?
False
Let x = -569 - -1711/3. Which is greater: x or -3/10?
x
Let q = -99 + 100. Are 184 and q unequal?
True
Let u = -1.95 - 7.34. Let p = 9.3 + u. Which is bigger: -4/3 or p?
p
Suppose f + 25 = 2*f - 4*x, 5*f + 4*x - 29 = 0. Suppose 0 = i - 4*b, i + b + f = -i. Which is greater: i or 1?
1
Let x = -13.96 + 4.96. Which is greater: -0.022 or x?
-0.022
Let v(t) = -36*t + 1. Let f be v(-3). Suppose 3*q = -31 + f. Is q at least 0?
True
Let w = 22.8 - -4.2. Which is smaller: -0.3 or w?
-0.3
Let g be 26/7 - 4/(-14). Let j be (g*-1)/((-5)/10). Let l be j/(-34)*7/(-14). Is -1 <= l?
True
Let q be 2/4 - (-291)/(-558). Suppose 4*o + 11 = f + o, -5*f - 4*o = 21. Do f and q have the same value?
False
Let f = -3.7 