. Suppose 4*g - 18 + 0 = 3*a, 5*g = -3*a + 9. Suppose g - 13 = -s*t. Does t = 3?
False
Let s(o) = -4*o**3 + 2*o**2 - 2*o + 1. Let y be s(1). Let v be 9/(-3)*6/(-9). Let m = v + y. Which is bigger: 4/5 or m?
4/5
Let z = -0.38 - -0.48. Which is smaller: -105 or z?
-105
Let x be (-4)/14 - 8/(-28). Let g(b) = 2*b + 1 - 3*b - 4. Let q be g(-3). Is q not equal to x?
False
Suppose -i - 3 = 4*h + h, -3*i - 9 = 0. Let s be ((-3)/(-4))/(18/(-12)). Which is greater: s or h?
h
Let p(a) = a - 6. Let l be p(15). Is l != 0?
True
Let w be -1*1 + (1 - 3). Suppose -2*t - 34 = -22. Let p = t - w. Which is bigger: -5/2 or p?
-5/2
Let i be 1 - (0 - (-1)/4). Is 0 smaller than i?
True
Let m be -3 - (-28 - (-2 + 1)). Suppose 4*r = 4*s + m, s = 3*r + 2*r - 10. Is s at least as big as 1?
False
Let p = 61/40 + -3/2. Is 1 > p?
True
Let o be 4 + -6 - 22/(-6). Which is bigger: 1 or o?
o
Let a(s) = s - 19. Let v be a(4). Is -16 smaller than v?
True
Suppose 0*s + 5*s - 10 = 0. Let m be s/(-4) - (-9)/(-18). Which is smaller: m or 0?
m
Let q = -12 + 11. Is -3/5 bigger than q?
True
Suppose 5*n + 50 + 20 = 0. Let h = n - -15. Let y be (0 - 2/(-4))*0. Which is bigger: h or y?
h
Let u = -24 - -14. Let j be u/25 + (-62)/(-180). Suppose 0 = 2*p - 3 + 1. Which is smaller: p or j?
j
Let s = 48.03 - -1.97. Are -1/2 and s nonequal?
True
Suppose 5*r - 80 = 35. Is r <= 22?
False
Let f be (-88)/(-24) - (0 - 2/(-3)). Which is bigger: 15 or f?
15
Suppose -2*b = 2*k - 44 - 2, -2*b = -5*k - 53. Suppose 4*z + 2*u = 3*u + 15, 4*u + b = 4*z. Are 3 and z unequal?
False
Suppose 4*t = 3*t + 1. Suppose 3*k - 3*p - 6 = 0, -k - 3*p = 3*k - t. Which is smaller: k or 0?
0
Let i(b) = b**3 - 8*b**2 + 7*b + 1. Let v be i(7). Let w = v - 1. Is w < -2/19?
False
Let g(t) = -t - 4. Let f be g(-4). Is f < 1?
True
Let i = 15 + -12. Are -0.1 and i nonequal?
True
Let q = -2.98 + -0.02. Let g = 0.07 - 4.07. Let f = g + 4. Is q < f?
True
Let n be ((-8)/(-890))/(210/(-75)). Is 1 < n?
False
Let t = -3 - -13. Let x = -2.1 + 16.1. Let o = x - t. Which is greater: o or 0.1?
o
Let x = -5936 - -23595/4. Let f = 37 + x. Which is smaller: -1/6 or f?
f
Let j = 13 - 49. Is -34 < j?
False
Let v = 0.8 - 0.9. Which is smaller: v or 2/5?
v
Let l = 10.2 - 11. Let r = l - -0.7. Which is smaller: r or 3?
r
Let f(d) = -6*d**2 - 2*d**3 + d - 7*d**2 + 3*d**3 - 13. Let t be f(13). Which is smaller: -4/5 or t?
-4/5
Let n = -3 + 3.5. Let j = 0.6 - n. Let u = 1 + -6. Which is smaller: j or u?
u
Suppose -2*l = i + 3*l + 16, i - 4*l - 20 = 0. Let d = -3 + 2. Let r = d + i. Are r and 3 equal?
True
Let l = -103 + 112. Which is smaller: 2 or l?
2
Let f be (2 - -3)/(2/(-6)). Let t be 2/5 - 4/f. Is 0.1 smaller than t?
True
Let k = -8 + 7.9. Let w = k + 1.1. Let j be 1 - 6*(-2)/(-8). Which is greater: j or w?
w
Let b(v) = v**2 + 6*v + 4. Let z be b(-5). Let u be 2 + (-9 - -3) - z. Are u and -2 nonequal?
True
Let z = 1.1 + -1. Suppose 0 = -2*k + 4 + 2. Suppose 0 = 2*t - m - 3, -k*m + 2*m = t. Do t and z have the same value?
False
Let u = 12 - -4. Let k be (3 + -8)*-6*3/(-15). Let j be ((-2)/(-4))/(k/u). Which is smaller: 0 or j?
j
Suppose 0 = w + w - o + 340, -2*w - o = 336. Let t = 671/4 + w. Is t not equal to -2?
True
Let u = -59 - -83. Suppose -2*w - 6 - u = 0. Which is smaller: w or -16?
-16
Suppose 9 = -2*n + 19. Do n and 4 have the same value?
False
Suppose -i - 177 = 4*z, -4*i + 141 + 51 = -4*z. Which is smaller: z or -44?
z
Let n(i) = -6*i - 23. Let y be n(-4). Is y greater than 4/9?
True
Let a be (2/(-4))/((-2)/(-12)). Let d = a + 2. Let x be d*(1 - 1 - -2). Which is greater: -3 or x?
x
Let n be 42/147 + 26/(-84). Which is bigger: -1 or n?
n
Let s = -0.9 - 0.8. Let z = s + 2.7. Which is bigger: z or -7?
z
Let k = 1444/17 + -85. Is -1 equal to k?
False
Suppose 4*t + 2*i + 4 = 0, -4 - 8 = -3*i. Which is smaller: -1 or t?
t
Let x = -52/9 + 443/72. Is -1 at most as big as x?
True
Let p(i) = i**3 + 16*i**2 + 14*i - 9. Let a be p(-15). Suppose 4 = 4*z - 24. Is a > z?
False
Suppose -16*m + 34 = -14*m. Is 19 > m?
True
Let u be (-4)/12 - 74/(-132). Are u and -1 equal?
False
Let a = -0.03 - 0.47. Let q = a - -0.4. Is q > -4?
True
Let f = 32 + -32. Is f > -19/3?
True
Let q = 86 + -428/5. Suppose 3*v - 5 + 29 = -3*g, -3*g + 16 = -v. Do v and q have different values?
True
Let b = 3.94 - 2.9. Let w = 0.04 - b. Is w <= -1/2?
True
Let l = -10.2 - 1.8. Is 0.2 less than l?
False
Suppose -m = -3*k + 27, -5*k - 4*m + 21 = -24. Let f(d) = -3*d**2 - 34 + 2*d**2 + 10*d + 24. Let g be f(k). Is -3/4 smaller than g?
False
Let g = -6.39 + -0.01. Let p = -7.9 - -0.9. Let t = p - g. Is 0 less than t?
False
Suppose 4*x = -b + 6, 0 = -3*x + 5*x - 2. Let t be -63 - (15/3 - b). Let c be ((-8)/t)/(2/(-3)). Which is smaller: c or 1?
c
Suppose 2*a + b - 5 = -3, -3*b = -a - 6. Which is greater: -9/8 or a?
a
Let f be 2/9 - (-674)/126. Which is bigger: 5 or f?
f
Let b = -6.29 - -1.33. Let u = -5 - b. Let k = -0.24 - u. Which is greater: 0.1 or k?
0.1
Let j = 0.11 + 1.89. Let n = -0.8 + -2.2. Let d = j + n. Which is greater: -0.3 or d?
-0.3
Suppose -21 = 4*l + 5*r, 0*l = -2*l + r - 21. Let s = -13 - l. Which is greater: s or -6?
s
Let p = 0 + -2. Suppose -4*w + 20 = 0, -2*s - 5*w = -s - 26. Is s at most as big as p?
False
Let y = 13/6 - 131/66. Which is bigger: 1 or y?
1
Let t(j) = j**3 + 9*j**2 - 4. Let v be t(-9). Are v and -6 unequal?
True
Let d(l) = -l**2 - 12*l - 16. Let o be d(-9). Is o >= 9?
True
Suppose 0 = -2*j + 3*y, 3*j - 7*j - y + 28 = 0. Let u be -3 + 2 + 8/j. Is u < -5?
False
Let t be (1 + -1*3)/(-1). Suppose -6 = 4*b - t*b. Let k(x) = x - 1. Let g be k(-2). Do b and g have different values?
False
Let r(m) = 29*m + 7. Let p = 11 + -16. Let n be r(p). Let u = n - -1240/9. Does u = -1?
False
Suppose 2*w + 0*w = -16. Do -9 and w have different values?
True
Let t(i) = -i**3 + 5*i**2 - i + 5. Let o be t(5). Suppose -j + 3*u - 1 - 4 = o, -j + 2*u = 8. Let w be (-72)/154 - 4/j. Is 0 <= w?
False
Suppose 4*h - 4*k - 100 = -8, -2*h + 34 = 2*k. Let a = h + -41/2. Suppose 2*t + 8 = -2*t. Which is bigger: t or a?
a
Let q = -249 + 116. Let o be q/213 - 4/(-6). Let t = o + 133/213. Which is smaller: t or -1?
-1
Let x be ((-6)/(-94))/((-9)/6). Let f be (-304)/(-6)*4/1128. Let b = f - x. Which is smaller: b or -1?
-1
Suppose 2*z - z = 3. Let l(m) = m**2 - m + 2. Let n be l(z). Let t be n/(0 - 2) - -2. Is -1/2 less than t?
False
Let n = 7 + -1. Suppose -2 - 16 = -3*h. Is n bigger than h?
False
Let v be (-12)/8 + 9/6. Which is bigger: 6/65 or v?
6/65
Suppose -3 = -6*g + 93. Is g greater than 18?
False
Let b be 2/9 + (-175)/(-63). Suppose 0 = b*l - 0*n + 4*n + 5, -4*l = -3*n - 35. Suppose l*h - 4*p = -0*h - 41, -2*p - 12 = 4*h. Is h equal to -6?
False
Let r = -49 - -48. Which is smaller: -1/9 or r?
r
Let h be 2 - (-9)/3*-2. Is -2 bigger than h?
True
Let m(n) = 20*n**3 + n**2 + n + 1. Let j be m(-1). Is -19 < j?
False
Suppose -2*z + 11 = -4*t - 17, 7 = -t - z. Let v = -7 - t. Let l = -549/4 - -136. Which is bigger: v or l?
v
Let d be ((-2)/1 - 406/(-202))*2. Do d and -1 have different values?
True
Let w = 3 - 4. Let v = w - -1. Let q = v + 2. Which is bigger: 4/7 or q?
q
Suppose 4*m - 22 - 42 = b, -3*m - 3*b + 33 = 0. Which is bigger: 65/4 or m?
65/4
Let f = -6 + 5. Let v = 1 + f. Are 0 and v non-equal?
False
Let x be (-5)/(10/(-4)) + 20804. Let m = 146185/7 - x. Let d = -78 + m. Which is smaller: d or 0?
d
Suppose v - 71 = 28. Let i be v/(-21) + 12/(-42). Which is smaller: -19/4 or i?
i
Let c be (-6)/(-9) - (-8)/(-15). Let k be (4 + (0 - 3))*1. Do k and c have the same value?
False
Suppose -2*x - 10 = -16. Let y(f) = f**2 - f - 1. Let i be y(-1). Which is smaller: x or i?
i
Let v(a) be the third derivative of -a**6/120 + a**5/15 - a**4/12 + 2*a**3/3 - 3*a**2. Let f be v(4). Which is bigger: -3 or f?
-3
Let j be (0/3)/1 - (-9)/(-33). Which is bigger: -1 or j?
j
Suppose 5*g + 4*j = -0*j + 46, 3*j = -4*g + 36. Let t be g/(-21)*6 + 2. Which is smaller: t or 0?
0
Let c be 2/11*(5 + -4). Is -1 equal to c?
False
Suppose 5*b - 22 = 4*c + 43, b - 5 = 0. Let d = c + 8. Which is bigger: 1 or d?
1
Suppose -15 = 5*s - 0. Let r be ((-4)/s)/(25/(-15)). Is r < -1?
False
Suppose -2*o + 10 = 0, -3*r - 2*r = -2*o + 15. Let h = 3/29 - 67/87. Is r less than or equal to h?
True
Let m = -0.23 + 1.23. Let