et v = g + 1.3. Which is bigger: 1 or v?
1
Suppose -b + 526 = -1203. Let r be ((-4)/7)/((-26)/b). Which is smaller: r or 39?
r
Let q = -15.46 + 14.46. Is q less than 2.74?
True
Suppose 47 = -3*t - z, 2*z + 0*z + 49 = -3*t. Let q be 104/20 - (-3)/t. Is q at least 5?
True
Suppose 0 = 2*d + 3*d + 3*x - 206, 2*x - 164 = -4*d. Let f be 18/d + 0 + 4/(-10). Let g = -1 + 0. Is f smaller than g?
False
Let u = 495 + -494. Let i = 43/4 + -1427/132. Is i smaller than u?
True
Let q = 3 + 13. Suppose 2*d + 2*d = q. Let f(y) = -y**3 + 3*y**2 + 4*y - 1. Let s be f(d). Which is smaller: -9/4 or s?
-9/4
Let q = -3.7 + 3.79. Let u = 0.19 - q. Are u and -2/15 unequal?
True
Let m be 228*(189/(-36))/21. Is m at most -173/3?
False
Let c = -69 - -48. Are -23 and c unequal?
True
Let g(o) = o**2 - 3*o - 2. Let d be g(4). Suppose 2*k + 7 = -5*q, d*q = 7*k - 2*k + 32. Let b = 1245 + -1252. Is k greater than or equal to b?
True
Let g be (6/9)/((-3)/(-18)). Suppose 0 = 7*o - 5*o + g. Let y be (-1)/o + (-10)/28. Which is smaller: y or -2?
-2
Let z = -227 - -227. Is 3/40 equal to z?
False
Let a(m) = -2*m**2 + 6*m + 8. Let q be a(4). Which is bigger: q or -3/80?
q
Let c be 50/4*(-16)/(-20). Let p(s) = -s**3 + 14*s**2 - 3. Let h(u) = -u**3 + 13*u**2 - u - 2. Let y(o) = 6*h(o) - 5*p(o). Let k be y(7). Are c and k non-equal?
False
Let h = 81 - 82. Suppose -3*k + 2*l = -732, 5*k + 4*l - 1524 = -282. Let c = k - 4184/17. Is c equal to h?
False
Let v = -64 + 44. Let a be v/(-75)*9/(-2). Which is smaller: a or -1?
a
Let a be 2*(-3)/(-12)*-2. Suppose 0*x - 4*x - 240 = 0. Let b be 7/x + 1/4. Which is bigger: a or b?
b
Let h(d) = -d + 7. Let x be h(6). Let l = -14363/1330 + 206/19. Which is bigger: l or x?
x
Let m = 86/187 + -50168/108273. Which is smaller: m or -1?
-1
Let v = 30 + -28. Suppose -v*l + 57 = 2*l - 5*f, -3*f - 55 = -5*l. Are l and 42/5 equal?
False
Let n(i) = -i**3 + 6*i**2 + 6*i + 7. Let w be n(7). Let p be (w - 2) + (5 - -17). Let a be 90/p*(-1)/(-6). Is a at least as big as 0.1?
True
Let i(h) = -h**3 + 4*h**2 - h + 9. Let f be i(4). Suppose -6*o - f*o = 0. Let n be (-2)/4*(-4)/2. Which is smaller: n or o?
o
Let o = 1.915 - -0.085. Is o at least as big as 0.04?
True
Let g = -1175 + 2090. Let i = g + -3639/4. Is 4 greater than i?
False
Let s = -201 - -274. Do 143/2 and s have the same value?
False
Let p be 4/(-14) - 35/49. Let c be (43/129)/(1/(-153)*p). Is c at most 52?
True
Suppose 14 = 4*a + 2*x, 29 - 5 = 5*a - 4*x. Let y(h) = 3 - 4*h + h + h + a. Let i be y(5). Is -4 < i?
True
Let t = -7 - -6. Let z = -55/69 + 2/3. Which is greater: z or t?
z
Let t = -0.18 + 1.18. Is -1.59 bigger than t?
False
Let m = -21 - -79. Let p = m - 57. Which is greater: p or 2/15?
p
Let s = 3419/438 - -16853123/25842. Let z = s + -660. Is 0 at least z?
True
Let u(t) = -2*t - 12. Let v be u(-4). Let n be (-93)/((v + 44/12)*-3). Which is bigger: n or -92?
-92
Let h = -1 - -0.9. Let u = -396 + 5942/15. Is u equal to h?
False
Let u(t) = 5*t**2 - 3*t + 4. Let a be u(3). Let q be 3/(-2)*a/(-6). Suppose -2*i - q = 3*i. Which is smaller: i or -1?
i
Let k = 0.006 + -1.646. Let q = k + 0.64. Are q and -19 non-equal?
True
Let o = -766 + 546. Let r be o/112 + -3 + 5. Which is smaller: 1 or r?
r
Let f = -159 - -145.4. Let m = -14.039 - -0.039. Let l = m - f. Which is smaller: 2 or l?
l
Let t be (-2 + (-30)/(-12))*(-1 + 3). Which is smaller: 25/12 or t?
t
Suppose 4*x - 8 = 2*g, -2*x + g = -g. Let j(o) = 2*o**3 - 4*o**2 - 10*o + 8. Let l be j(x). Is 34 less than l?
False
Let u be (-675)/100*(-32)/(-6). Which is smaller: -0.1 or u?
u
Suppose 0 = 2*d - 3*d + 16. Let g = -5 + d. Suppose 0 = 5*y - g + 41. Is -6 at least y?
True
Let u be (-1 + -2)/(963/(-45) + 22). Suppose -a = -4*a + 12. Suppose 3*h = -9, 0*g = -a*g - 2*h - 34. Which is smaller: g or u?
g
Let g = -32 - -53. Let v(h) = 8*h - 36. Let n be v(7). Are n and g equal?
False
Let g = 548 + -307. Which is smaller: g or 1208/5?
g
Suppose 0 = o + 1, v - 5*o + 19 = 5*v. Suppose 2*t = 2*h - 24, -v*t - 50 = -t + 5*h. Which is bigger: -7 or t?
-7
Let n be -1 + (-5)/(-2) + 347991/438. Which is bigger: n or 795?
n
Let c = 3/304 + 35/304. Which is smaller: c or 0.04?
0.04
Let r = 1278 + -1282. Is -26 bigger than r?
False
Let v = 39 - 36. Suppose 0 = -v*t - 3*f + 3, -5*t - 2*f = -3*f + 1. Is t at most 5/18?
True
Suppose -5*x + 2*x - 12 = 3*l, -l - 4 = 2*x. Is 14/37 at least as big as x?
True
Suppose -4*x + 7*x - 6 = 0. Which is smaller: 2/5 or x?
2/5
Let h = -0.43 + 1.48. Let f = h - 2.2. Let x = 0.15 + f. Which is bigger: x or 0.13?
0.13
Let u = -3 + 7. Suppose -51 - 33 = u*p. Which is smaller: -1 or p?
p
Let d = 3981/7 + -570. Let v(t) = -t**2 + 20*t - 35. Let f be v(18). Let u be 0/f*1/(-2). Is u at least d?
True
Let x be (-10)/(-4) + 5/(-20)*-2. Suppose 3*d - 3 = 3. Which is bigger: x or d?
x
Let y = 779 + -858. Which is bigger: -82 or y?
y
Suppose -2*i + 8 = -0*i. Let l be i + 0/(4/4). Suppose 2*k + 3*j - 4*j + l = 0, 3*k + 4*j - 16 = 0. Is k <= 0?
True
Let x be 329/(-55) + (-6)/(-3) - -4. Which is smaller: x or 1?
x
Suppose 6 + 0 = 2*o. Let s(m) = -3*m + 43. Let d be s(14). Let j = o - d. Are j and 1 nonequal?
True
Let t = -609 - -609. Let d be -1 + ((-10)/42 - -1). Is d < t?
True
Suppose 5*c + b = 25, -5*b = 2*c - 6 - 4. Suppose -4*j - 15 = -c*j. Let p be 1 + 3 + j/(-6). Do 1 and p have different values?
True
Suppose -166*w + 5080 = -39*w. Which is smaller: 44 or w?
w
Suppose 11*p - 13*p = -4, -q + p = 243. Is q >= -242?
True
Let n(k) = k**2 - 11*k + 22. Suppose 32 = -c + 9*c. Let u be n(c). Do -45/7 and u have the same value?
False
Let v = -18 - -158/5. Which is smaller: 15 or v?
v
Let n be 9 - -61 - -1*2. Let w be (-135)/(-20)*32/3. Is w < n?
False
Let l = -265 + 318. Let d = 1751/33 - l. Suppose 3*j - 2*j = 0. Is j < d?
True
Let w be (4/(-12)*-3)/((-15)/1356). Which is greater: -89 or w?
-89
Suppose -s + 3*w - 9 = 3, s + 2*w = 13. Suppose 3*i + s = -0*i. Suppose -6*d = -3*d + 4*u + 20, 20 = -d - 4*u. Are i and d non-equal?
True
Let d = 12 - 4. Let q = d + -5. Suppose 3*v + 23 = 4*t + 4*v, q*v + 1 = 2*t. Are -2 and t non-equal?
True
Let i = 79 + -20. Let p = i + -63. Which is smaller: 4 or p?
p
Suppose 2*s - 56 = 14. Suppose 7*l + s = 2*l + 5*k, -l = 4*k - 18. Let x be (3/(-6))/(-1)*l. Which is bigger: x or 1/3?
1/3
Let h(f) be the third derivative of -f**6/120 + 3*f**5/20 + f**4/24 - f**3 + 7*f**2. Let m be h(9). Which is bigger: m or 8?
8
Let c be 158/(-246) + 4/6. Let x = c - 85/123. Let g = 36 + -17. Is g != x?
True
Suppose -o = 106 - 108. Do o and 12/11 have different values?
True
Let b be 2/(((-8)/(-154))/(-2)). Let x = b - -227/3. Let o = -193 - -192. Is x at least as big as o?
False
Suppose 23*l + 144 = -25*l. Let q = 2623/8 - 330. Is l not equal to q?
True
Let s be 9/(-6)*(-286)/(-33). Is -12 < s?
False
Let m be (-21)/35 - 1857/(-3045). Let k = -16 + 15. Which is smaller: k or m?
k
Suppose -2*n + 58 = -162. Let o be -3 - (0 - 5) - 224/n. Which is greater: -2/9 or o?
o
Let v = 0.3 + -0.06. Let t = 3261.1 - 3261. Is v <= t?
False
Suppose 6 = -3*l, -z = -4*z - 4*l + 4. Let q = 6/217 - 11/651. Let d = q + 463/186. Is d >= z?
False
Let j be (-572)/560 + (10/25)/2. Which is greater: 0 or j?
0
Suppose -137*q + 39690 = -182*q. Is q at most -881?
True
Let x = -263 + 261.58. Is 0.3 less than or equal to x?
False
Let f be (-3 - (-264)/93)/(4/12). Do -1 and f have the same value?
False
Let q = -19.3 + 17.39. Let w = -0.01 - q. Let k = w - 2. Are 1 and k equal?
False
Suppose 2*r - 6 = -0*c - 2*c, 0 = 4*c + 3*r - 11. Suppose c*s - 5*k = -15, -2*s - 12 = k - 5*k. Let n be 2/1*(-2)/(-28). Are n and s equal?
False
Let j be (4 - 2/(-1))*(-6)/(-9). Let r be (-2 - 85/10)/(3/j). Which is smaller: r or -15?
-15
Let d be 114/(-30) + 4 + 112/(-10). Suppose 5*h - 5*o + 40 = 0, 2*h + 3*o = o - 32. Which is greater: h or d?
d
Let g(x) = 4*x**2 + 15*x - 4. Let p be g(-4). Let t be (-8)/(-24) + (p - (-2)/3). Which is greater: 2 or t?
2
Let m be (-3)/(-2)*(-32)/1896. Let t = 35/1738 - m. Suppose 0*i + 5 = -5*i. Is i less than t?
True
Let q be 2 - (-2 + 1 + 1). Let k be (1 - 5)/(q/13). Let g(h) = -25*h**2 - 2*h + 1. Let n be g(1). Do n and k have different values?
False
Let d be (-2*2/39)/(120/(-36)). Which is smaller: d or 0?
0
Let n = 1/426 - 95/142. Which is smaller: 