s bigger: -15/8 or m?
-15/8
Let q(b) = -3*b - 1. Let t be q(2). Let a = 178 + -186. Which is bigger: t or a?
t
Let o(u) = -u - 23. Let j be o(-13). Do -10 and j have the same value?
True
Let j = 0 - 0.6. Let q = -1.4 + j. Let x = q + 2. Is x bigger than -1?
True
Suppose 5*i - 142 = 2*w, -4*i + i + 85 = -w. Suppose 4*v = 3*g + 6 + 8, -4*v + i = 4*g. Let z be v*1*9/75. Which is smaller: -3 or z?
-3
Let b(s) be the third derivative of s**6/120 - s**4/24 + s**3/6 - s**2. Let z be b(1). Suppose 3*a + 10 = 2*a + 2*g, 2*g = 3*a + 10. Which is smaller: z or a?
a
Let q = 34 - 34. Do q and -7 have different values?
True
Let j = 3.0423 - 0.0323. Let c = j - 0.01. Let m = c - 1. Which is smaller: m or -2/5?
-2/5
Let u(b) = -3*b**3 - 15*b**2 + 8*b + 11. Let x(r) = 2*r**3 + 10*r**2 - 5*r - 7. Let v(q) = -5*u(q) - 8*x(q). Let c be v(-5). Which is smaller: c or 3?
c
Let h = -4 + 4.36. Which is smaller: 0.1 or h?
0.1
Let k = 0.1 + -0.3. Is 2 >= k?
True
Let h = -15 + 11. Does h = -21/4?
False
Let g(r) be the second derivative of 5*r**3/6 - r**2/2 + r. Let t be g(1). Suppose w = 4*w - 12. Is w <= t?
True
Suppose 0 = 2*j - 2*t - 12, 3*t = 3*j - 2*t - 26. Which is greater: 8/9 or j?
j
Let h(k) = 5*k**3 + k**2 + k + 1. Let z be h(-1). Suppose 5*l + 2*v - 4 = v, 4*l - v = -4. Is l != z?
True
Let s be -1 + 3 + -1*10. Is -9 less than or equal to s?
True
Let d = 3 + -1. Suppose 0 = -3*k - 5*g - 28, -22 = -d*k + 4*k + 4*g. Is k less than -3/8?
True
Suppose 0 = -2*p - 2*t - 26, 72 + 7 = -5*p + 2*t. Which is smaller: p or -14?
p
Suppose 0 = -2*c + c + 6. Suppose -4*f + 5*p = 0, -c*f = -4*f + p. Which is smaller: -1 or f?
-1
Let k be 2/3 - (11 + -11). Let y = -28 - -24.9. Let t = y - -3. Do t and k have different values?
True
Let f(q) = -q**3 - q**2 + q + 3. Let c be f(0). Let p = 2 + 16. Let k be (14/(-21))/((-4)/p). Do k and c have the same value?
True
Let v = -0.22 + 0.26. Which is greater: 3 or v?
3
Suppose 3*c = -0*c + 3*d - 12, -5*d = 25. Let m(g) = -g**3 + 9*g**2 - 9*g - 5. Let n be m(7). Suppose n = -5*r - 20. Is c smaller than r?
False
Let z(h) = -h + 6. Suppose -3*j = -j - m + 9, 2*j = 5*m + 3. Let w be (27/j)/(6/(-8)). Let v be z(w). Is -1 less than v?
True
Let f be 16/6*9/6. Suppose 4*n + 3*c - 1 = f*c, 5*c = -4*n - 29. Let w(i) = -2*i - 11. Let k be w(-4). Is k >= n?
False
Let y = -0.19 - -0.09. Is -9 less than or equal to y?
True
Let y be ((-10)/(-3))/(2/3). Suppose -y*m + 14 = -3*m. Is 7 < m?
False
Let t be (44/(-12) + 3)*9/(-138). Which is greater: 1 or t?
1
Suppose 4*p + a = 0, 0 = 3*p + p - 5*a. Suppose p = 3*h + 2*h. Suppose 0 = 4*y - 4. Are y and h equal?
False
Let l = -91/135 - -2/27. Is l > 3?
False
Suppose -4*r = -3*r - 1. Which is greater: r or 3/16?
r
Suppose 3*c - 25 - 16 = -5*b, -4*c + 38 = 5*b. Let f be 4/5*25/b. Does f = 3?
False
Let j = 41/3 - 199/15. Suppose -4*c + 1 = -5*c. Which is greater: j or c?
j
Suppose -2*u - 3 = -5*x, 3*u - 5 - 3 = -5*x. Suppose -1 = -h + x. Is 1/2 at most h?
True
Let q = -5 + 6. Let c(a) = -a - 4. Let n be c(-4). Is q bigger than n?
True
Suppose 18*i + 40 = 14*i. Do i and -9 have the same value?
False
Let k be 398/(-12) + 4/(-8). Let j = k + 34. Is 0.2 at most j?
True
Let w = 1.94 + 0.06. Let y = -1.8 + w. Let s = 1.99 - -0.01. Which is smaller: y or s?
y
Let b be (-4)/(-6)*(-81)/18 + 3. Is b at least -4?
True
Let m(q) be the third derivative of q**5/60 - q**4/8 - 7*q**3/6 + 2*q**2. Let p be m(5). Suppose 0*l - 3*l + 3 = p*x, 1 = -4*l + x. Which is smaller: 2 or l?
l
Let z(w) = -6*w - 9. Let c be z(-7). Is c equal to 33?
True
Suppose 0*j = 4*i + j - 30, 2*i = 4*j + 24. Let b be ((-12)/9)/(i/12). Which is smaller: b or 1?
b
Suppose 9 = -13*y + 16*y. Suppose y*d - 3 = -3*x, -x - 4 = 3*d + 1. Let u = 2 + -1. Which is greater: d or u?
u
Let w be ((-4)/5)/(4 - 310/75). Is 5 not equal to w?
True
Let r be 6/1 + (-7 - -10). Let z be 32/(-70) - r/(-15). Which is greater: 1 or z?
1
Let y(t) = -t - 1. Let s be y(-1). Let v = -20 - 0. Let c = -20 - v. Is c less than or equal to s?
True
Let d be ((-22)/(-6))/((-9941)/3). Let c = d - -2426451/765457. Let z = c - 38/11. Which is smaller: z or 1?
z
Let j be 46/(-6) - ((-6)/9)/(-2). Is -8 at least j?
True
Let h = 0 - -0.03. Let y = h + 0.07. Do 4 and y have different values?
True
Suppose 5*p + 12 - 17 = 0. Let y(i) = -i**2 + 7*i - 4. Let j be y(6). Which is bigger: p or j?
j
Let p be -2 - (1 + (-3)/1). Let n be 1*(-1 + p + 1). Is 1/2 smaller than n?
False
Let d = 1.9 + -4. Let b = -21 - -19. Let m = b - d. Is 2 less than m?
False
Let i = -3 - -7. Suppose 0 = -5*z + 4*z + i. Suppose 5*j - 12 = -z*p, j - 5*p + 15 = -3*j. Which is smaller: j or 2/9?
j
Let c = 4 + -4. Suppose c = p + 2 - 0. Let r be p/(-6) - 6/(-9). Is 0 bigger than r?
False
Let u = 2 - 1.9. Let z = 1 + -4. Let v be 1*(z + 1 - -3). Are v and u equal?
False
Let d be 0 + 0 + 4/(-34). Suppose 0 = -2*b - 4*z + 20, 3*b + z - 10 = -z. Suppose -5*w - 5 = -b. Is d greater than w?
True
Let z be (1/4)/(14/32). Let x = 2/21 + z. Is x at least 2?
False
Let w = 71 + -31. Suppose -2*b = 3*b + w. Let s(m) = m + 7. Let j be s(b). Are j and 0 non-equal?
True
Let g = 35 + -33. Is g greater than or equal to 0.2?
True
Let x be -16 - -5 - 3*-1. Let k = x - -9. Is k less than or equal to -2/13?
False
Let m = -11 - -8. Are m and -5 equal?
False
Let k be 4/14 - (-442)/(-1498). Let d = k - 313/856. Let a = -3 + 2. Does a = d?
False
Suppose -4*p + o = 0, -4*o + 5*o = 0. Let q = p - 0. Let b be (-16)/100*(4 - -1). Which is greater: q or b?
q
Let m(l) = 2*l. Let t be m(7). Which is smaller: 13 or t?
13
Let c = 13 - 12. Let i be (-2 + c)*(-12)/(-18). Is i less than or equal to -2?
False
Let z = 21 + 10. Let y = -20 + z. Which is smaller: 10 or y?
10
Suppose 0 = 6*x - 2*x - 24. Let t(h) = h**3 - 7*h**2 + 6*h + 1. Let d be t(x). Which is smaller: d or 0?
0
Let f = 1/502 + -3519/2510. Which is bigger: -1 or f?
-1
Let t = -8 + 15. Which is bigger: t or 6?
t
Let t be (42 + 2)/((-1)/1). Let h be 33/(-44) - 25/t. Is h less than 1?
True
Let w = -0.07 - 0.09. Let y = 6.84 - w. Which is bigger: 1 or y?
y
Let z be ((-6)/3)/(0 - -2). Let w be (16/(-20))/((-4)/10). Suppose -13 = 3*u + 2*y, -w*u - 5*y - 17 = -2*y. Is u greater than or equal to z?
True
Let p(q) = -q**2 - 6*q + 1. Let n be p(-6). Which is smaller: 2/31 or n?
2/31
Suppose -3 = -3*s - 0. Let b be 10/(-14) + 6/(-21). Does s = b?
False
Let b(p) = -p**3 + 7*p**2 - 6*p + 2. Let z be b(6). Suppose 0 = 4*o + 5*i - 11, i = -5*o + 21 - z. Suppose -3 = o*f - f. Are f and 3/10 non-equal?
True
Let q(y) = y**3 + y**2 - 48. Let o be q(0). Is -47 less than o?
False
Let t = 6911/7 - 985. Is t at most as big as 3?
True
Let t be (-3)/(-2) - ((-110)/(-4))/11. Is t at least -1/23?
False
Let s = -75 + 376/5. Let j = 0 - 0. Is s greater than j?
True
Let i be 18/63 - 186/14. Which is smaller: i or -14?
-14
Let a be 10/8*(-8)/16. Let h = a - -7/24. Is 1 at most h?
False
Let s = 6 - 4.7. Let h = -0.3 + s. Let l = 38/3 + -37/3. Which is smaller: h or l?
l
Let g = -101/30 - -19/6. Let j be -1*2 - (0 + -1). Is j at most as big as g?
True
Suppose 3 = 3*n, 69 = 2*g + 5*n - 6. Which is smaller: g or 33?
33
Suppose -4*s - p = -50 + 154, -5*s - 130 = 3*p. Is -49/2 < s?
False
Let u be (-3)/9 + (-35)/(-15). Let h = u - 2. Does -0.7 = h?
False
Let q = 388/45 + -42/5. Which is bigger: q or 1?
1
Let m be (1 + -3 - -6)*-1. Which is bigger: -1 or m?
-1
Let f(h) = h**2 - 9*h. Let c be f(9). Suppose -2*a + 5*a = -g - 15, c = -5*g - 5*a - 25. Which is smaller: -4/9 or g?
-4/9
Suppose -19 = 3*v + 4*s - 2*s, 2*s = 4*v + 2. Let r be v/(-9)*0/2. Which is greater: -3/5 or r?
r
Let g = 14.1 - 14.4. Which is greater: g or -11/6?
g
Let m be 18/(-33) + (-42)/(-77). Which is smaller: m or 1/37?
m
Let p(f) = f**3 - 2*f**2 - 2*f - 1. Suppose 0 = -2*n + n + d + 2, -4*d = -3*n + 5. Let l be p(n). Which is smaller: -0.1 or l?
-0.1
Let m(c) = c. Let z(r) = 5*r - 3. Let w(t) = 6*m(t) - z(t). Let a be w(-5). Which is smaller: a or 0?
a
Let v = 48 + -42. Which is greater: v or 23/5?
v
Let h be 4/6 - 48/(-9). Let y = h + -40/7. Which is bigger: y or -0.1?
y
Let s be 20/12*-3 + 2. Suppose t - 36 = -2*t. Suppose 3*h + t = -h. Is h at least as big as s?
True
Let q(y) = y**2 + 6*y - 1. Let a be q(-6). Is -2/9 at least as big as a?
True
Let r = 10 + -10.2. Whi