- -1) + 1 + -2. Is g greater than f?
False
Suppose 5*z = -15*m + 13*m - 762, m + 305 = -2*z. Is z less than or equal to -152?
True
Let p = 4225 - 1060461/251. Is -1 at least p?
False
Let l be (-1284)/(-16)*3/(-39)*-87. Let f = l - 537. Which is greater: 0 or f?
f
Let u be -12 + -424*6/(-216). Is -4/9 at least u?
False
Suppose -123 - 485 = -8*y. Is y > 73?
True
Let g = 0.0713 - 0.1313. Which is smaller: -3/7 or g?
-3/7
Suppose -l + 3*h - 14 = 0, -4*h = -5*l + h - 20. Let t = 2 - 44/21. Let v = 4/7 - t. Which is smaller: l or v?
v
Let u(n) = -3*n - 24. Let l be u(-7). Let j(i) = -i + 1. Let v(h) = -h**2 + 22*h - 6. Let s(g) = l*j(g) - v(g). Let c be s(19). Which is greater: 21/5 or c?
21/5
Let q be 1/(-1) + (-1 - 53). Let o = 4266 - 4321. Is q smaller than o?
False
Let m be 2/(-365 - 1)*-2. Let t be (-24)/(-21)*(1 + 681/(-549)). Let s = m - t. Which is greater: 2/11 or s?
s
Let t = 20.966 + -21. Let j = t - -0.134. Let k = 8 + -13. Which is smaller: k or j?
k
Let p = -685 + 720. Which is greater: p or 27?
p
Let m(z) = -z**2 + 9*z + 7. Let s be m(10). Let r be (-16)/s*36/(-112). Suppose -4*d - 4 = 2*y, 0*d + 2 = d + 2*y. Is r greater than or equal to d?
True
Suppose -7 + 4 = -x. Suppose 0 = -2*f + 5*n + 4, -4 = -f - f - x*n. Suppose f*h + 7 = 4*t + 21, -13 = 5*h + 2*t. Which is smaller: 0 or h?
h
Let y(i) = 46*i - 121. Let q be y(6). Is q != 156?
True
Suppose 0 = -v - 0*v + 4. Suppose -c + 5 = -v. Let f = c - 12. Which is smaller: 0 or f?
f
Let u be 35/(-7) - 20/(-5). Does -2 = u?
False
Suppose -12*u + 2 = -13*u. Let c be (4*(-1)/6)/u. Is c != -9?
True
Let d = 1.172 - 1.072. Which is greater: d or 606?
606
Suppose 5*i - 25 = 0, -2*t + 85 = t - 4*i. Let y = 34 - t. Which is greater: y or -20/13?
y
Let b be ((-8)/250)/((-11)/55). Suppose 4*j - 2*j = -3*f + 8, 5*f - 16 = -4*j. Which is greater: f or b?
b
Suppose 7*b - 196 = 35. Suppose -84*m + 81*m = -b. Which is greater: m or 12?
12
Suppose 5*h = -2*l + 86, 3*l + 2*h - 204 + 86 = 0. Suppose 0 = -5*o - 2*f + 41, 0 = -o - 4*o - f + l. Suppose -69 = o*a + 36. Are a and -15 equal?
True
Let q = -1005 - -22111/22. Do -7/2 and q have the same value?
False
Let i = 0.086 - 0.956. Which is smaller: i or -0.2?
i
Let d = -29/2 - -15. Which is smaller: 1.1 or d?
d
Let f(u) = -u**3 - 7*u**2 - 11. Let l be f(-8). Suppose -l = -3*p - 2*c, -3*c + 5 = 2*c. Which is bigger: p or 15?
p
Let c = 43788/11 + -3978. Suppose 0 = -2*h + 2*q - 363 - 143, 4*h + 3*q + 1005 = 0. Let p = h + 254. Which is greater: c or p?
c
Let l(x) = -20*x + 260. Let f be l(13). Is 139 >= f?
True
Let g be (2/(-6))/((-2)/24). Suppose 6*f + 12*f = g*f. Is -5/18 less than or equal to f?
True
Let p = 145 + -144. Which is bigger: p or 2?
2
Suppose -5*q + 5*f = -47 + 12, -5*q - f = -29. Suppose -6*o + q = -6. Is o > 2?
False
Let m = -392 - -192. Which is smaller: m or -202?
-202
Let h = -0.6 + 0.7. Let g = 21.04 - 0.04. Which is bigger: h or g?
g
Suppose -b + 1201 = -2*x, 7 = 4*x + 27. Is b not equal to 1192?
True
Suppose 0 = 22*v - 3*v - 2394. Is v at least as big as 124?
True
Suppose 5*x + 2*q - 18 = -q, 0 = 4*q + 16. Suppose -x*w = -w - 5. Let v be (12/64)/(2*3). Are v and w non-equal?
True
Let r be 1*9*(760/(-30))/2. Is -1 less than r?
False
Let o = 2 + -5. Let y be o/(-1 - (-4)/1) - -1. Which is greater: -1/52 or y?
y
Let k(d) = -d**2 + 4*d - 5. Let b be k(4). Let t = b - -4. Suppose -r - 3*g = -13, 9*r - 11*r = -3*g + 10. Which is bigger: r or t?
r
Let u(c) = -c**3 - 5*c**2 - 3*c + 3. Let x be u(-3). Let y be 38/x + 6/18. Which is greater: -7 or y?
y
Let l = 88 - 87. Is 8/11 at most l?
True
Let a = 4 - 19. Let v = -13 - -13.1. Which is smaller: a or v?
a
Let l(m) = m**2 - 5*m + 7. Let z be l(4). Suppose -2*o = -0*u + z*u - 11, 3*o = -6. Which is greater: 4 or u?
u
Suppose -53 = 4*z - 5*d + 40, z - 5*d + 42 = 0. Is -18 at least as big as z?
False
Suppose 2*b + 3*w + 13 = 0, 4*b + 0*b = 3*w - 71. Let v be b/21 + 19/(-3). Let a = 7 + v. Is a at most as big as -1/5?
False
Let w = 48529/15 - 3235. Suppose -2*l + 3*l = 2*m - 2, 3*l = -2*m + 2. Which is smaller: l or w?
l
Let o(s) = s**3 + 3*s**2 - s - 3. Let r be o(-3). Suppose -28 = -4*b - 3*f + 6*f, 0 = 4*b - 2*f - 28. Is b at most r?
False
Let r be 0*(70/(-8) - -9). Let s(h) = 22*h + 1. Let p be s(1). Suppose r = p*d - 21*d. Is d bigger than -1/10?
True
Let s = -0.567 - 2.433. Which is bigger: s or -5.8?
s
Let i(t) = t**2 + 16*t + 17. Let m(l) = -3*l**2 - 32*l - 34. Let p(d) = 5*i(d) + 2*m(d). Let a be p(17). Which is bigger: 1 or a?
1
Let h = -2 + 2. Let x(k) = -17*k**2 - 92*k**3 + 15*k + 49*k**3 - 23 + 42*k**3 - 45*k. Let q be x(-15). Which is bigger: q or h?
h
Let w be -2 - (4/6 - (-40)/(-6)). Suppose -j - 13 = z, z + z + 44 = -4*j. Let y be (j/2 + 2)*-2. Which is smaller: y or w?
w
Let w(f) = -9*f + 223. Let a be w(25). Which is smaller: 2/5 or a?
a
Let q be -5 + -55*(-16)/136. Which is bigger: q or 1?
q
Let y = -6663.01 - -6663. Let w = 0.1 + 1.9. Is w not equal to y?
True
Let h = -152 - -151. Are h and 6.8 non-equal?
True
Let r(j) = -3*j**2 - 55*j - 73. Let v(q) = -q**2 - 18*q - 24. Let n(o) = 2*r(o) - 7*v(o). Let h be n(-13). Which is bigger: -1/2 or h?
-1/2
Let k(u) = 0 - 2*u - 2 + 3*u - 2. Let h be k(4). Suppose h*b - 2*b + j - 2 = 0, 4 = j. Is 1/3 < b?
True
Let f = -63 + 62. Which is greater: -1/8 or f?
-1/8
Let z = 65477/126 + -3638/7. Suppose -4*w - w - 2*i + 15 = 0, -3*w + 2*i - 7 = 0. Which is greater: z or w?
w
Let h(a) = -3*a + 25. Let p be h(9). Let r be ((p + 1)/2)/((-1)/2). Which is smaller: r or 2/129?
2/129
Let d(t) = 23*t - 2. Let m be d(1). Suppose 29 = 5*i - m. Suppose -2 = 4*x + i. Is x at least as big as 0?
False
Suppose 8 = 4*r - 0*r. Suppose 0 = m - r + 1. Are m and -5 non-equal?
True
Let m be 4 - (0 + -19) - -4. Let z be ((-26)/6)/(9/m). Which is smaller: z or -11?
z
Let d = -0.167 - -0.209. Which is greater: 2 or d?
2
Let v = 530 - 5299/10. Let b be ((-4)/(-50))/((-24)/15). Let t = b + v. Which is greater: 1 or t?
1
Let p = -0.03 + 3.03. Let v be (-56)/3 + 20/(-15). Let f be 5/v + (-2 - -2). Is f at most p?
True
Suppose 0 = -3*s - 5*g + 173, -5*s + 2*g + 0*g = -278. Let h = s + -57. Let m = -93/340 + 2/85. Which is greater: m or h?
m
Let j = -11 - -22. Let i(d) = d**3 - 10*d**2 - 10*d + 2. Let s be i(j). Let v = s + -6. Which is greater: v or 8?
8
Let y = 5.86 + -6. Let d = -5.14 - y. Let o = d + 4. Is 7/2 at least as big as o?
True
Let k(n) = -2*n**2 + 17*n + 9. Let o(t) = -t**2 + 8*t + 4. Let z(h) = 2*k(h) - 5*o(h). Let x be z(7). Let i be (7/x)/(168/(-70)). Which is greater: i or -1?
i
Suppose 2*m = -m. Let s = 5 - 8. Let f be 4/6*s/2. Which is smaller: m or f?
f
Let n be (-10)/(-25) + 215/(-475). Which is greater: n or 1?
1
Let c = 73.967 + -74. Let g = -13.033 - c. Are -1/5 and g nonequal?
True
Suppose -50*q + 184 = -54*q. Which is bigger: -3 or q?
-3
Let r be 7/5 - (0/4 - -1). Let l be 1/(-2 - -1) + 7. Let j be 0 - 0 - (-6 + l). Which is greater: j or r?
r
Let t = -2.88 + 1.18. Let z = 5 + -5. Which is greater: z or t?
z
Let r be 135/(-18) - (-16)/2. Let z be (-14)/(-48) - 2/3. Let v = z + r. Which is bigger: v or 0?
v
Suppose 3*x + 22 = -5. Let k(h) = -h - 9. Let w be k(0). Is w less than or equal to x?
True
Let s be 94/154 - 10/55. Let q(z) be the third derivative of -z**6/120 + z**5/20 - z**4/8 + z**3/6 - 2*z**2. Let d be q(2). Is s less than or equal to d?
False
Let u be 3*(-41 + (-28)/(-4) + -3). Is -112 smaller than u?
True
Suppose -3*q - q + 36 = 0. Suppose 138 = -3*a + 4*s, -3*s = -0*s - q. Do -42 and a have the same value?
True
Suppose -39*j = 28*j - 67. Are -3 and j equal?
False
Let b be 16/3 + (-8)/(-12). Let x = b + -3. Let p be 17/85 + (-79)/(-55). Is x bigger than p?
True
Let j(d) = 2*d**3 + 3*d - 5. Let k be j(3). Suppose -10*w + 112 + k = 0. Is w smaller than 15?
False
Let v(q) = -q**3 - 3*q**2 + 33*q + 7. Let s be v(-7). Is s > -26?
False
Let x(g) = g**2 + 10*g - 23. Let u be x(-13). Let l be (1 + 0 - 0) + -26. Let j = u + l. Is j < -10?
False
Let x(u) be the third derivative of u**5/15 - 5*u**4/24 + 5*u**3/6 + 32*u**2. Let d be x(2). Are d and 10 equal?
False
Suppose 4*j + 33 - 60 = 3*h, 4*h = -5*j - 5. Which is greater: j or 4?
4
Let l = -0.207 + -0.193. Suppose -s - 12 = 3*v, -4*s = -4*v - 14 - 18. Which is smaller: s or l?
l
Let i be (-3