g as q?
True
Let w = -811/7 + -101/70. Which is greater: w or -116?
-116
Let q(r) = -949*r + 14685. Let z be q(10). Which is smaller: z or 5196?
z
Let o = -32553/10 - -3252. Let c(p) = p**2 + 42*p + 149. Let h be c(-38). Which is greater: o or h?
h
Let m = -876/11 - -9964/187. Is -26 != m?
True
Let m be 5/45 + (-376)/(-18). Suppose -18*b - 60 = -m*b. Let q be (-2 - 2/(-8))*-12. Which is smaller: b or q?
b
Let o(m) = 10*m + 104 - 7*m - 11*m + 144. Let z be o(31). Let w = -93/95 - 8/19. Do w and z have the same value?
False
Let q = 224 - 227. Let u be 545/(-10)*q*(-8)/(-60). Is u at most as big as 21?
False
Let g(l) be the first derivative of l**4 + l**2/2 - l + 13. Let b be g(1). Suppose 3*j - 15 = -y + 27, -4*j - b*y + 64 = 0. Is j equal to 14?
False
Suppose 27*u = -74*u + 202. Which is smaller: u or 201?
u
Suppose -5*i - 15 = 0, -5*b + 5*i = -0*b + 470. Let q = -387/4 - b. Suppose -6 = -2*c + 54. Is c equal to q?
False
Suppose -187*j + 188*j - 4 = 0, 2*j = 6*o + 54476. Are o and -9080 unequal?
True
Suppose 154 = 2*i + 4*g, -3*g + 4*g = -5*i + 349. Let l be (-506)/i*(-1 - 11). Is 86 not equal to l?
True
Let f(z) = 26*z**2 - 16*z + 36. Let r be f(-11). Is 3359 greater than r?
True
Let t = -11344 - -11456. Which is bigger: 340/3 or t?
340/3
Suppose -13*k + 715 = 130. Suppose -k = -m + 3. Let p be -1 + (-9)/3 + 52. Are m and p unequal?
False
Let i be 4/2*(-1)/(-105)*1584/(-165). Is -1 bigger than i?
False
Let z = 70.08 + -70.58. Which is bigger: z or -77?
z
Let q = 1082 - 942. Which is smaller: 142 or q?
q
Let y(i) = -i + 11. Let t be y(7). Let s be 4*t/(-4) + 240/(-4). Is s at least -66?
True
Let v(l) = -2*l**2 + 25*l - 34. Suppose y = 15 - 4. Let o be v(y). Which is smaller: o or 1/44?
o
Suppose 3*t - 4*t + 3*l - 12 = 0, 0 = t + 2*l - 8. Let v be (-466)/1368 - (-2)/9. Is v at least t?
False
Suppose f = 5, f + 479 = -2*l - 358. Which is smaller: l or -415?
l
Let g = 195.876 - 200. Let v = g - -0.124. Is 7.4 at least as big as v?
True
Let t(w) = -w**2 - 2*w + 9. Let v = -287 - -289. Let z be t(v). Which is smaller: -4/33 or z?
-4/33
Let k(z) = -3*z - 35. Let g be k(-15). Let a be (-102)/(-70) - 6/g. Let h(j) = -j - 2. Let d be h(-4). Is d less than or equal to a?
False
Let z be 10/(-25) + 694/10. Suppose -4*i = 5*r + z, -3*r + 0*r = 15. Suppose 0 = -39*l - 217 - 134. Is i less than l?
True
Let f = 157 + 35. Suppose -f + 148 = -4*z. Let k(j) = -11*j + 1. Let p be k(-1). Which is bigger: p or z?
p
Suppose -5*v = 5*h - 20, 0*h - 5*h - 3*v = -14. Let m be (-4 + 9)*(h - 1/5). Let l be 10*m/24*3. Is 4 greater than l?
False
Let l = -6212.9 - -6213. Is 20231/3 <= l?
False
Let p be 9/(-32)*2/(-3). Let d = 86 - 293. Let q = 207 + d. Is q < p?
True
Suppose 91*n - 247*n = -198900. Is 0 smaller than n?
True
Let c(g) = -g**2 - g + 5. Let s = 27 + -25. Let b be c(s). Let k be (b - -2)*-1*1/1. Which is bigger: k or -1/51?
-1/51
Let z(q) = -39*q**2 + 5*q - 135. Let i be z(8). Do -2591 and i have different values?
False
Let s(h) = -23*h**2 - 12*h + 28. Let z be s(3). Let i = z + 215. Which is smaller: i or 2/211?
i
Let x = 0.00273 + 818.19727. Which is smaller: x or 1?
1
Suppose -5*y + 9122 = 4*k, 5*k = 5*y + 13414 - 1944. Which is greater: 11433/5 or k?
k
Suppose 832*a + 14 = -2*j + 830*a, -3*j - a = 11. Let k be ((-15)/(-93))/(14/44). Let y = k - 60/31. Are j and y equal?
False
Let c = -2551 - 503. Let z = 12111/4 + c. Is z greater than or equal to -25?
False
Let x(m) = 4*m - 3. Let a be x(-1). Let v(r) = -7*r**2 - 9*r - 14. Let s be v(a). Let j be (((-4)/(-6))/((-4)/s))/1. Is j <= 50?
True
Suppose 5*c - 6*c = b - 195, 589 = 3*c + 4*b. Let r = c - 572/3. Is 0.04 >= r?
False
Let o = 139 - 165. Let x be o/8 + 3 - 33/12. Is -29/11 smaller than x?
False
Let o(k) = 8*k**2 + 3*k - 3. Let y(h) = -h**2 - h - 1. Let u(a) = -o(a) - y(a). Let n be u(-3). Let z = n - -35. Is z < 1/3?
True
Let u be (6*2/(-8))/(2/(-4)). Let d(b) = -b + 1. Let x(r) = -6*r + 11. Let q(l) = 3*d(l) - x(l). Let v be q(u). Which is smaller: v or -3?
-3
Let u = 99 - 104. Let r be u*((-42)/(-10) + -4). Let n be r*(7 + -5 - 1/1). Which is greater: n or -2/15?
-2/15
Let z be 38/16 + 4 + 245/(-56). Suppose 0 = z*k - 16*k - 672. Is -47 smaller than k?
False
Let h(x) = x**3 - 13*x**2 - 2*x - 5. Let l be h(11). Suppose 2*b + 157 = 5*i, 7*b + 2*i = 12*b + 382. Let v be 4 + ((-3)/12 - l/b). Which is smaller: 0.2 or v?
0.2
Let t(x) = -x**2 + 8*x + 1. Let w be t(6). Suppose 5*d - 9*d = 5*c + 397, -d + c - 97 = 0. Let r = d - -94. Is r smaller than w?
True
Let u = 1081/3 + -5471/15. Which is greater: u or -1?
-1
Let s = -322.3 - -344. Let c = 23.7 - s. Does c = 65/3?
False
Suppose 0 = -3*y + 2*u + 588, 3*y - 11*u + 7*u = 588. Suppose 4*d = 2*d + 4. Let t be y/(-70) + 12/(-10) + d. Is t greater than -10/11?
False
Let i(d) = -d**3 + d**2 + 22*d - 12. Let j be i(5). Let f(k) = k**2 + 6*k + 9. Let a be f(j). Is -4 greater than or equal to a?
False
Let m = 92.8849 + -932.894. Let k = m - -840. Is k less than or equal to 1?
True
Let q = -1537 + 1536. Let g(c) = -2*c - 3*c - 3 + 3*c. Let l be g(q). Is l greater than or equal to 4/25?
False
Suppose 4 = 4*f + 3*u - 6*u, -4*u + 16 = 0. Let i be (((-24)/(-10))/f)/(18/12). Let x = -562/5 + 113. Are i and x non-equal?
True
Suppose 37 = 4*l - 3*h, -l = l - 4*h - 26. Let g = 73 - l. Is g greater than or equal to 67?
False
Let q(m) = m**2 + 9*m - 157. Let p be q(9). Let w = -7 - -13. Suppose -4*n + p*z = -15, -z = z + w. Which is greater: -5/4 or n?
n
Let a be ((-12412)/24)/(-29) + -3*2/(-36). Do 110 and a have the same value?
False
Let o = 1666193/3320 - 4015/8. Let p = 2558/7055 + o. Which is smaller: p or 0?
0
Let s be 27/6 - (-1)/2. Suppose 0 = 4*i + 4*a + 16, -25 = -5*i - 14*a + 18*a. Is s at least as big as i?
True
Let o = 0.61 - 0.6. Let v = -0.18 + o. Let u = 0.03 - v. Which is greater: u or 7?
7
Let k(b) = -7*b - 67. Let a be k(-16). Let i be -14*(-1)/(-18) - 4/18. Is a bigger than i?
True
Let z(a) = a**2 + 15*a + 49. Let d be z(-15). Let c = 87 - d. Are c and 36 unequal?
True
Suppose -8*y + 12*y - 152 = 0. Let p be y/(-20) - (-12)/(-30)*-1. Let u be -4 - (30/8)/(-1). Do u and p have different values?
True
Suppose -6*p = -10*p + 400. Let q(a) = 4*a**2 - p*a + 3 - 3*a**2 + 80*a. Let l be q(21). Are l and 24 nonequal?
False
Let r be -90*3*(-4)/30. Let t be (r/33)/(0 - -2). Let y(g) = -15*g - 105. Let d be y(-7). Are d and t non-equal?
True
Let j = -1.8 + 2. Suppose 5*a + 150 = -y, -1128*y = -1127*y - 5*a + 250. Which is smaller: y or j?
y
Let w be ((-3)/2)/(6/(-42)). Suppose 0 = 3*z, 0 = 7*c - 2*c + z - 60. Is w bigger than c?
False
Let a = -208999/5 + 42077. Let y = -121756/9 + 4347158/315. Let k = a - y. Is k < 4?
False
Let v = -4663 + 4662. Which is smaller: 3309 or v?
v
Let c(t) = 85*t - 1923. Let a be c(17). Is -483 <= a?
True
Let v be (-159333408)/(-189) - (-1 - 3). Let b = v - 843245. Let t = b + 207. Which is smaller: 0.1 or t?
t
Suppose -281*q + 475*q + 33562 = 0. Is -168 not equal to q?
True
Let v(a) = -23*a + 321. Let u be v(14). Suppose -y = 3*j - 19, -j = 3*y + y - 21. Let w be (y/30)/((-8)/(-12)). Which is bigger: w or u?
w
Let c be (-394)/(-18) - 5/(-45). Let h(o) = o**2 - 21*o - 21. Let d be h(c). Which is smaller: -10 or d?
-10
Suppose -38806*n = -38785*n. Which is smaller: 101/121 or n?
n
Let m = 3693/7 + -527. Which is smaller: 1.27 or m?
m
Suppose -2*b = 3*h, 0 = h - b - 5. Let q = -1765 + 1498. Which is smaller: h or q?
q
Suppose o + 6 - 12 = 0. Suppose -2*y + 5*z + o = 0, -3*z = -7*z. Let x be -4*10/(-24) - y. Is 0 < x?
False
Suppose 0 = -124*i + 122*i + 54. Let u = i - 27. Suppose s + 4*r - r - 5 = u, 6 = 3*r. Which is bigger: s or -2/57?
-2/57
Suppose -92*h + 84*h + 48 = 0. Let g(r) = -r**2 - 2*r + 48. Let u be g(h). Do 13/12 and u have the same value?
False
Let c(i) = -i**3 - 8*i**2 + i - 26. Let y be c(8). Is y > 2?
False
Let b(m) = m**3 + 5*m**2 - 6*m + 1. Let t be b(-6). Let y be 6 + 15/(-280)*(-2680)/(-24). Is t at least as big as y?
True
Let t = 27622432627/4760 - 5803032. Let h = t + -1/136. Let w = -1959 + 1958. Are h and w nonequal?
True
Let q = 384 - 23. Let z = 361 - q. Which is bigger: -19 or z?
z
Let q = -474 + -26. Let u = 501 + q. Which is greater: u or -38?
u
Let w be -33 + 35 + (-464)/230. Is -0.037 less than or equal to w?
