1 or z?
z
Let b(p) = -p - 6. Let z be b(-8). Suppose z*a = -5*q + 102 + 28, -3*q + 64 = 4*a. Which is bigger: q or 27?
q
Let y(p) = p**2 + 23*p - 26. Let i be y(-13). Is i greater than -0.1?
False
Let h = 0.06 - 2.06. Let x = -26 + 40. Suppose -5*z + x = -z - 2*q, -5*q = z - 31. Which is greater: z or h?
z
Suppose -2*j + 3 = 5, -a = 5*j + 3. Suppose 0 = a*m + 2*m + 16. Let g(u) = u**3 + 20*u**2 + 18*u - 24. Let z be g(-19). Is z greater than m?
False
Let i be (-5)/(-305)*112/(-48). Which is bigger: i or 0?
0
Suppose z - w + 0*w = 3, -z - 3 = -4*w. Let l(s) = s - 36. Let u be l(32). Let q = u + z. Which is bigger: q or 2/17?
q
Let r = 135 - 0. Let v be -4*(r/(-220))/9. Let u = 0 + 1. Do u and v have the same value?
False
Let g = -34 - -34. Suppose 6*t + 43 - 127 = g. Is -1 greater than or equal to t?
False
Suppose 3*a + b = 21, 5*b + 15 = a + 4*a. Let y be 3/(a/5) + -3. Is 1 < y?
False
Let a be 39/12 + (-2)/8. Suppose 2*f + 21 = 5*f. Suppose f*u = a*u - 4. Which is smaller: u or 0?
u
Let p(u) = -4*u + 2. Let y(j) = 7*j - 4. Let g(d) = 5*p(d) + 3*y(d). Let c be g(2). Which is greater: -3/4 or c?
c
Let g = 97.13 + -1.13. Let j = g - 97. Is -1.1 not equal to j?
True
Let g be (-4)/14 + 16/7. Let f be (-21)/(-24) - (g + 9/(-6)). Is f greater than or equal to 2?
False
Let c be ((-4)/10)/(9/(-270)). Let k be (-6)/c*2*(-5 + 3). Suppose 0 = t + 2*y + 7, 1 = -2*t + y + 2. Is k at most as big as t?
False
Suppose -m + 3*l = 32, -5*m - 7*l = -8*l + 90. Is -9 > m?
True
Let x be 16/(-15) - 2/(-5). Let v = 146 - 80. Let m = -66 + v. Are m and x nonequal?
True
Suppose 4*v - v - 15 = 0. Suppose 2*q + 8 = -2*d, 0 = -5*q + v*d + 12 - 2. Let l = 4.32 + -0.32. Do q and l have the same value?
False
Let f be ((-4)/(-6))/((-33)/9). Let p be 3/36*-2 - 1835/(-30). Let v = -62 + p. Which is smaller: f or v?
v
Let o(b) be the second derivative of -b**4/12 - 5*b**3/6 + 33*b**2/2 + 16*b. Let a be o(-10). Which is smaller: a or 3/5?
a
Suppose 0*f - 2*f - 4 = 0. Let v be (-2)/(-4) - (-3)/f. Let k be (3 - 1)*3/51. Which is bigger: v or k?
k
Let x be (-8 + 9)*((-18)/(-6) + 44). Is x at least as big as 53?
False
Let d(y) = 45*y - 32 - 13*y - 16*y - 21*y. Let n be d(-5). Is -7 at least n?
True
Let o = -201 + 200. Is -12/11 less than or equal to o?
True
Let f be (4/(-84))/(5/(-30)). Which is greater: -2/41 or f?
f
Let l = -6 - -10. Suppose 8 = l*u + 2*p, -p + 4 = -0*u + 5*u. Suppose -12*r + 10*r = u. Is r greater than or equal to 0.4?
False
Let c = 61 + -64. Let u be (-412)/12 + (c - -6). Which is smaller: -31 or u?
u
Let g be (-5)/((-10)/(-4)) - -8. Suppose -12 = -2*l + g*l. Let u be (-2)/2*24/8 - -2. Is u at least l?
True
Let z be 33/(-20) + (-6)/24. Let u = -7/5 - z. Is 1 smaller than u?
False
Let t = -22 + 8. Let f = 19 + t. Which is greater: f or 12?
12
Suppose -5*u + 37 = -53. Let b = 16 - u. Let p = 1 + -4. Which is smaller: b or p?
p
Let p = 43 + -41. Suppose 0 = 3*f + 2*f + p*v + 18, 5*f + 5*v + 30 = 0. Which is bigger: 0.03 or f?
0.03
Let r = -13 - -7. Let g be ((-3)/r)/((-1)/(-46)). Suppose 0 = -2*p + 2*j + 3*j - g, 5*j = 3*p + 22. Which is greater: p or 9?
9
Suppose -55*q + 69*q = -294. Is -133/6 greater than q?
False
Suppose -48 + 280 = 3*l + 2*q, -4*q = 2*l - 144. Which is greater: 81 or l?
81
Suppose 0 = 5*y - 91 + 1. Let h be (12/y)/(2/15). Suppose h*m - 2*k = -52, -m + 3*k + 7 = 20. Is -10 <= m?
True
Let l be 0 - (-2)/5 - (-1227)/(-5). Let y be (-4 + l/7)*2/(-2). Which is greater: 37 or y?
y
Let n(x) = -16*x - 323. Let w be n(31). Are -820 and w equal?
False
Let q = 2644.33 + -2771.8. Let f = q - -128. Which is smaller: f or -1?
-1
Let h = -4869509891/7716386040 + 2/5845747. Let o = -1/165 - h. Which is greater: 0 or o?
o
Let p be (6/12)/((-2)/4) - 101. Let l = 199/2 + p. Are l and -3 non-equal?
True
Let g = 61711 + -96454297/1563. Which is greater: 0 or g?
0
Let o(j) = -j**2 - 6*j + 1. Let h(q) = 35*q**3 + 2*q**2 - 2*q + 1. Let l be h(1). Let v be ((-5)/(-10))/((-3)/l). Let x be o(v). Which is greater: 2/3 or x?
x
Suppose -31*c + 138 = -29*c. Is c bigger than 4?
True
Let x be (-1)/((1/(-2))/(-1)). Let c be x/(16/(-140))*2. Suppose 10*s - 5*s = c. Which is bigger: s or 1/4?
s
Let l = -1785 + 1170. Does -615 = l?
True
Let z = 1/447 + 595/447. Let m = -21.9 - -21. Let h = m - 0.1. Which is smaller: h or z?
h
Suppose 0 = 2*t + 6, 0*d - 4*t = -4*d + 24. Let o be (2 + -11)/((-7)/(-7)). Let y be -3*6/o*2. Is d bigger than y?
False
Let t be (3*10110/(-675))/(2/20). Which is smaller: t or -450?
-450
Let x = -1089 + 1396. Which is greater: 308 or x?
308
Let w(s) = 4*s - 1. Let b be w(1). Suppose -4*j + 8 = 28, -4*p - 2*j - 26 = 0. Let m = p + b. Is m equal to -1/4?
False
Let y(h) = h**2 - h + 3. Let k be y(0). Let l = -3 + k. Let w be (l + -3 + 4)/1. Which is smaller: 1/22 or w?
1/22
Let h(v) = v**3 - 8*v**2 - v + 4. Let o be h(8). Let c = -56 - -63. Suppose -9 = 8*a - c*a + 4*z, -18 = 3*a + 3*z. Is a greater than o?
False
Let u(w) = -6*w**3 + 3*w**2 + 2*w + 4. Let o be u(3). Is -126 >= o?
False
Suppose -3*u - 1840 = -2*u - 4*w, 0 = 5*u - 3*w + 9285. Which is smaller: -1861 or u?
-1861
Let d = 64.8 + -58. Let x = d + -5.8. Which is bigger: -1/6 or x?
x
Let q be (-6)/4 + 2358/468. Is 3 at least q?
False
Let f = 4781/3 + -1593. Let t = -7 + 5. Let g be (1 + -3 + -2)/t. Is g smaller than f?
False
Let y(d) = -d**3 + 9*d**2 - 5. Let z be y(6). Do z and 0.1 have the same value?
False
Let b be 40515/(-198) + 6/9. Let r = b - -204. Which is bigger: 0 or r?
r
Let r be (4/(-132))/((-1)/6). Let d(x) = -5*x + 7. Let o be d(-3). Let l = -19 + o. Which is bigger: r or l?
l
Let c be ((-9)/(-2))/(15/30). Let k = 9 - c. Is 3 != k?
True
Let z = -1.6146 - -16.1726. Let f = 0.258 - z. Let o = 15 + f. Is 1 less than or equal to o?
False
Let b(z) = -z + 1. Let g be b(1). Suppose o = -g + 3. Let l be o - (0 + 2 + 7). Which is bigger: -5 or l?
-5
Suppose -2*u = 4*i - 24, -2*u + 10 = i + 1. Suppose u*p + 10 = 4*p. Suppose -5*a = 3*z - 5, -a + 4*z + p = 4. Which is smaller: a or 5/8?
5/8
Let k(q) = -q**2 + 5*q + 4. Let n be k(6). Let z = 60.6 + -57. Let t = -3.5 + z. Which is bigger: n or t?
t
Let l = -0.0314 - 6.9686. Which is smaller: 10/7 or l?
l
Let v(f) = -2*f**2 - 5*f - 4. Let a be v(-3). Suppose -2*u = -3*u - 7. Is u at least a?
True
Let d = 10.13 + 0.17. Is d smaller than 1?
False
Let r(w) = 2*w**3 - w**2 - 11*w - 6. Let j(g) = g**3 - 5*g - 3. Let m(l) = 9*j(l) - 4*r(l). Let p be m(-3). Let o(i) = i - 18. Let q be o(28). Is q > p?
True
Suppose 4*r = 1 + 19. Suppose -10*c = -r*c - 40. Suppose 0 = 3*s - g - 19, 4*s - 3*g + 13 = 5*s. Is s greater than or equal to c?
False
Let t = 10822 + -32788/3. Which is greater: t or -106?
-106
Let a = -169 + 512/3. Let l(z) = -z**2 - 9*z - 22. Let k be l(-6). Let d be ((-1)/k)/(-4*(-3)/48). Which is smaller: d or a?
d
Let n(h) = -27*h - 4 + 15*h + 14*h - 1. Suppose 2*q - 5*q = -27. Let i be n(q). Is 0 not equal to i?
True
Let g be (535/60)/(5/8). Let b = 23/5 - g. Let u(d) = d**2 + 6*d - 1. Let l be u(-4). Is l smaller than b?
False
Let s = -41.8495 + -0.0505. Let n = -42 - s. Which is greater: -1/4 or n?
n
Let w be (-8)/2 - (1 - 0). Let i = 30 + -18. Let h = -18 + i. Is w at least h?
True
Let h be (-4 + 5)*46/(-10). Let b = -41/10 - h. Are b and 2 non-equal?
True
Let i(x) = -x**2 - 11*x - 6. Let l be i(-10). Suppose 0 = -f + 9 - 5. Let j be (-7 + 14)*f/7. Is j greater than l?
False
Let c be (-4)/2 + (-18183)/66. Which is smaller: c or -279?
-279
Let i = 68 - 67.914. Let o = i + 0.034. Are -0.3 and o unequal?
True
Let g = 437611 - 24065473/55. Let i = g - 267/5. Let u = -295/77 + i. Are u and 1 nonequal?
True
Let n(r) = 2*r**3 + r**2 - 610. Let s be n(0). Which is greater: -611 or s?
s
Let q(k) = 2*k + 1. Let o be q(1). Suppose 0 = -2*h - o*g - 123, 3*h + 33 + 147 = -3*g. Let r be (-4)/14 + h/21. Is r >= -5?
True
Let z = -76.8 - -74.8. Is z <= -3/19?
True
Let c = 2.677 - -0.023. Is c >= -3?
True
Let i = -0.032 + -0.038. Let p = i - -0.17. Is p less than 0?
False
Suppose 11*x + 4976 + 40 = 0. Which is smaller: x or -457?
-457
Let p = 1324/5 + -263. Which is bigger: p or -0.08?
p
Suppose 2*i + 7 = 5*u, -2*u = u + 3*i. Suppose 1512*k - 1511*k = 0. Is k greater than u?
False
Let v be ((-8)/(-70))/(144/(-168))*10/(-12). Let q be 1 + (-1 - (-1)/7). Is q grea