qual to f?
False
Let m be -2 - (-4 + 4) - -1. Let z be 3 - 4/(-3 - m). Suppose q = -5*b - q, 0 = -5*b - z*q. Which is bigger: 2/5 or b?
2/5
Let c(u) = 339*u**2 + 7*u + 8. Let g(r) = r**2 - r - 1. Let z(l) = c(l) + 4*g(l). Let h be z(-1). Let i be (-9 - -9) + h/(-174) + 2. Is i equal to -1?
False
Suppose -4*g + 5*a - 1518 + 379 = 0, -574 = 2*g + 2*a. Are g and -287 non-equal?
True
Let h = -10.976 + 9.976. Let a = 0.41 - 0.01. Let q = a - 0.24. Which is smaller: h or q?
h
Let c = 5.39 + -6.39. Let r = 0.48 + -0.09. Which is smaller: r or c?
c
Let v(k) = k**2 + 9*k. Let a be v(-7). Let s be (7/a)/(2/4). Let n be 1 + -1 - s/3. Are 54 and n equal?
False
Suppose 5*p = 359 - 94. Let l be 20/(-14)*(1779624/(-440))/107. Which is greater: l or p?
l
Suppose -6*l + 30 = 6. Suppose -2*o - 40 = -5*m, o + l*o + 2*m = -42. Let i = -3617/5 - -713. Which is smaller: i or o?
i
Let y = -671 - -440. Let j = 231 + y. Is -3/166 at least as big as j?
False
Let h = -3204 - -3753. Is 549 less than or equal to h?
True
Suppose -4*o = 4*q - 32, q - 21 + 5 = -3*o. Let i = 4019/750 - 19/750. Which is bigger: i or q?
i
Let p be 5/((-15)/24)*(-195)/52. Let r be (481/(-2145) - (-4)/p)*-1. Let h = 0 - 0. Is r less than h?
False
Let c be -5*(2/(-10))/((-1)/78). Let r be 12/c - (-115)/(-13). Which is greater: r or -2/7?
-2/7
Let i be (664/732890)/((-1)/35). Which is greater: i or 1?
1
Let y = 1 + -1. Let l(u) = 2*u**3 + 3*u**2 - 5*u + 6. Let f be l(-3). Let n be (3/(-26))/(f/44) + -1. Which is smaller: y or n?
n
Suppose 0 = -2*t + 4*o - 2 - 2, -t = 5*o - 19. Let s = 254.14 + -516.12. Let h = s - -262. Which is greater: t or h?
t
Let j = 19369.5 - 19387. Which is bigger: j or -28?
j
Let o = -113 - -327. Let u be 0 + ((-8)/20 - o/(-10)). Suppose 23 = 2*r + u. Is 1 greater than r?
False
Let t = -86 + 87. Let m be -8*(-7)/28*(-5)/(-190). Which is smaller: m or t?
m
Let f = 7 + 12. Let q = -18.84 + f. Let o = q - 0.26. Is -1/2 less than o?
True
Let g = 34 + -30. Suppose 2*o = -4*h + 6, -h + 6*h + g*o - 3 = 0. Which is smaller: -47 or h?
-47
Let k = 74 + -24. Let d be 1/((-4 - (-196)/k)/2). Let h be (-3 - 74/d)/(4/(-15)). Which is smaller: -1 or h?
-1
Let k = 2585/2 + -1293. Suppose 0 = -w - 270 + 47. Which is bigger: k or w?
k
Let w = 0.59 - 0.25. Let u = 0.04 - w. Let t = 274 + -280. Which is bigger: u or t?
u
Let v be 1699/319 - ((-6164)/253 - -24). Is v <= 6?
True
Suppose -13*o + 3 = 16. Let f(y) = 35*y - 5. Let p be f(o). Which is smaller: p or -39?
p
Let p(z) = -z**2 + 21*z - 52. Let j be p(18). Suppose 0 = -u - 4*m - 60, -2*u = j*m + 3 + 105. Which is smaller: -53 or u?
-53
Let d(t) = -t**3 - 15*t**2 - 4*t - 1. Let o be d(-15). Let z(p) = -21*p + 58. Let j be z(0). Is o >= j?
True
Let z be (31/3)/(-3*3/(-243)). Suppose 0*s + 5*d - 41 = -s, 4*s - z = 3*d. Let h = s + -120. Is -55 less than h?
True
Let r = -202867/214 - -948. Which is smaller: 7 or r?
r
Let o = 7 + -5. Let q = 77642 - 776401/10. Does q = o?
False
Suppose k - 2*q = -19, -23*k - 107 = -18*k + 2*q. Is -15 at most as big as k?
False
Let g = 107 + -97.9. Let s = 9 - g. Which is smaller: 0.113 or s?
s
Let g = 75 + -117. Let o = -0.034 - -43.034. Let i = g + o. Is -11/4 greater than i?
False
Let a be ((2/12)/((-8)/24))/(17/7004). Is -197 bigger than a?
True
Let k be 2 + (-93930)/12 + 5 + (-8)/(-16). Which is smaller: k or -7818?
k
Let p(w) = -2*w**2 + 3*w + 3. Let b be p(-3). Let q(m) = m**3 + 6*m**2 + 5*m + 4. Let t be q(-6). Let u = b - t. Is u greater than 13/4?
False
Let j = 28.37 - 0.37. Suppose -2*n + 17 = -x + 2, 4*n + x - 15 = 0. Is j > n?
True
Let w = 501 - -299. Let f = w + -895. Is f > -92?
False
Suppose 2*r - 31 = -4*f + r, 0 = 3*r - 9. Suppose 0 = 182*t - 184*t + 12. Suppose -45 = -t*w + 3. Which is smaller: w or f?
f
Suppose -4*s = -8, -3*f - 3*s + 0 = -6. Suppose f*k = -0*k + k. Are k and -1/33 unequal?
True
Let w(p) = 2*p**2 - 11*p + 16. Let m be w(2). Does m = 56/51?
False
Let x = 301 + -290. Suppose 235 = 6*m - x*m. Which is smaller: -50 or m?
-50
Suppose -7244 = -16*v + 12355 + 19169. Which is greater: v or 2424?
2424
Let a = -20039.3 + 20039. Is a at most as big as -654.6?
False
Let s(t) = -121*t + 139. Let j be s(20). Let y = -253193/111 - j. Which is smaller: -1 or y?
-1
Let w be (36/(-522) - (-528)/4292)*2. Is 111 at most as big as w?
False
Let m = -19663 + 590021/30. Let n = 246/5 - m. Are n and 45 nonequal?
True
Let j be (77070/(-630))/((-2)/(2*3)). Let u = j + -369. Which is bigger: u or 143?
143
Let n = -612 - -313. Let i = -299.2 - n. Which is bigger: -4 or i?
i
Let x(o) = 18*o**2 - 168*o + 51. Let t be x(7). Is t at least -244?
True
Suppose 5*h = -22*h - 189. Let a be h/(7/(-8)) + -6. Let d(l) = l + 3. Let n be d(5). Which is smaller: a or n?
a
Let l = -0.018 - -49.018. Let y = l + -48. Let g = -2 + 7. Which is greater: y or g?
g
Suppose -12 + 6 = 3*c. Let k be (0 - c - (-3218)/(-1608)) + 0. Which is smaller: -1 or k?
-1
Suppose 11*s - 7*s + 260 = 0. Let z be s/(-55) + 2/(-11). Is z smaller than 1?
False
Let k be 2 - -12 - (43 + -27). Let q be (-71)/37 + 2/2. Which is greater: q or k?
q
Let t(a) = a**2 - 16*a + 29. Let n be t(15). Suppose 12 = -w + 4*x, w + n*x = 12*x + 6. Which is smaller: w or -4/71?
-4/71
Suppose -1302 = -323*s - 333. Which is smaller: s or 1206?
s
Let c = -22 + 27. Let q be (-50)/(-8) + c + -2. Let i be 9 + (2 - (6 - 3)). Which is smaller: q or i?
i
Let v = -5 - -5.01. Let j = -0.09 - v. Let u = 156 + -156.14. Is u smaller than j?
True
Let w = -1528 - -1525. Which is greater: w or -83/44?
-83/44
Let u = -24.5 + 148.5. Let q = -2693.1 - -2693. Which is smaller: q or u?
q
Let q = -1/980 + 128871/980. Suppose -2*m = 3*z - 267, -12 = -109*z + 97*z. Which is smaller: q or m?
q
Let t be (2/4)/(6/192*-4). Let y be -24*(t + (-32)/(-12)). Let o = 39 - y. Which is bigger: 23/3 or o?
23/3
Let l(u) = 9*u - 56. Let y be l(6). Let i be y/12*3*-2. Which is smaller: i or 1/10?
1/10
Let f(r) = 3*r - 13. Let z be f(4). Let y = -7 + 5. Let q be 2*(y - (-67)/34). Which is bigger: q or z?
q
Let g = 281 + -198. Let n be (-996)/g*5/(-6). Which is greater: n or 8?
n
Let o = 15821/5 + -3164. Which is bigger: o or 0.9?
0.9
Let n(g) = g - 19. Suppose -5*y - 1 = -11. Suppose -y*m - 5*i + 17 = 0, -13 = 3*m - 2*i - 67. Let k be n(m). Is -3 at least as big as k?
True
Let p be (-8398179)/(-10881) + 8/6 + 0. Let s = 773 - p. Which is smaller: s or 1/4?
s
Let i = 3081 + -3080. Which is smaller: 17/149 or i?
17/149
Let q be 67/(-9) - (-2)/(-9). Let k = -16212 - -16205. Which is greater: q or k?
k
Suppose -3*r = -18 - 15. Suppose -f + r + 16 = 5*i, 4*f - 2*i + 2 = 0. Let m be 1*f*(-13)/91. Is m at least 0.22?
False
Let h = -274 - -189. Suppose -5*v - w = -47, -w - w = -4. Let t = -75 - v. Which is greater: h or t?
t
Suppose -2*m = -4*m. Let s be 1*(31/(-279))/(-1 + 10). Which is bigger: s or m?
m
Let h = 35 + -33. Suppose -2*d + 3*i = -37, -h*d + 4*d - 2*i = 42. Suppose 14 = 10*k - d. Is k less than 4?
False
Suppose s - 355*a + 143 = -352*a, -5*a = 40. Let p = 59 - 225. Is s greater than p?
False
Suppose -y + 22 = 2*g + 19, -4*y + 23 = -3*g. Which is bigger: g or -0.0829?
-0.0829
Let t = 34426 - 173007/5. Let p = 179 + t. Is -1 not equal to p?
True
Let b = 6115 + -6115. Which is greater: b or 0.0526?
0.0526
Let v = -43825/552384 - -33/448. Which is smaller: -1 or v?
-1
Let p = -95157 - -95273. Let k = -0.1 - -1.1. Which is bigger: p or k?
p
Let l = 58 + -56. Let a be -5*(4 + (-2)/5). Let t be (a/(-264))/(3/2). Which is smaller: t or l?
t
Let p = -20335/3546 + 1075/197. Let q = 7 + -3. Suppose -r = -5*r + q. Which is smaller: p or r?
p
Let h be ((-113037)/(-44499) - 3) + 1110/2405. Which is greater: -1 or h?
h
Let b = -598.38 - -594. Let y = b + 4.328. Which is greater: y or 1/2?
1/2
Let g = -190.156 - -190. Let c = 3.156 + g. Which is smaller: c or -32?
-32
Let k = -7546 - -7160. Which is smaller: k or -399?
-399
Suppose 0 = 3*t + 21, t + 2109 = -4*h - 35238. Is -9336 at most as big as h?
True
Suppose -5*a + 60 = 5. Suppose 65 = 6*x + 35. Suppose x = -a*j - 6. Is -1/18 < j?
False
Suppose 33*m = 36*m - 18. Let p be 72*27/(-24)*m/9. Which is bigger: -55 or p?
p
Let s(i) = i**2 + 11*i + 3. Let j be s(-11). Suppose 0 = 5*n + j*k - 231, 4*n - 201 = 3*k - 0*k. Let t be 0 + -2*(3 + (-172)/n). Which is smaller