 -2 or j?
-2
Suppose -73 = 5*j - 173. Is 15 at least as big as j?
False
Let x = 608 - 661. Which is smaller: x or -47?
x
Let v be 2 + (-268)/(-14) - (-5)/(-35). Is 21 <= v?
True
Let d = -28 + 18. Suppose 8*w + 52 = -20. Is w <= d?
False
Let b be ((-2)/3)/(-6 + (-535)/(-90)). Suppose -10*t - 6 = -b*t. Which is smaller: t or 11/4?
11/4
Let b(j) be the second derivative of -j**5/20 + j**4/2 - j**3/6 + 3*j**2/2 - 20*j. Suppose -4*p - p = -30. Let l be b(p). Which is smaller: -16/7 or l?
l
Let c = 22 + -25. Let x be ((c/(-7))/1)/(4/(-14)). Let k be -6*(18/(-20) + 1). Is x bigger than k?
False
Suppose -33 + 10 = -3*x - 2*c, -4*x = 3*c - 29. Let r be x + 4 + -3 + -3. Suppose 0 = 6*l - 5*l - 9. Is l not equal to r?
False
Suppose 2*x - 15 = -3*x. Let s(y) = -3*y - 2. Let g be s(0). Let h = x + g. Which is bigger: -2/15 or h?
h
Let z(p) = -p**3 + 6*p**2 + 8*p - 10. Let w be z(7). Let j be 6*(63/(-6))/w. Let a be ((-7)/j)/(1/3). Which is smaller: a or 2/5?
a
Let z = -12 - -14. Let l = 1 + z. Suppose 0 = -4*m + l*m. Which is smaller: 2 or m?
m
Let i(f) = f**3 + 17*f**2 - 16*f + 45. Let l be i(-18). Which is smaller: 137/16 or l?
137/16
Let t(a) = -6*a + 7. Let d(m) = -5*m + 7. Let r(q) = -5*d(q) + 6*t(q). Let z be r(1). Is z less than 0.05?
True
Let r(a) = 16*a - 5. Let m(h) = 5*h - 2. Let y(s) = -8*m(s) + 3*r(s). Let f be y(1). Suppose f = -b + 33. Is b > 24?
False
Suppose 3*z + 3*h - 31 = -h, -4*z + 4*h + 88 = 0. Let a = 17 - z. Suppose a = 2*c - j + 5, 0 = 3*c + 4*j - 3*j - 5. Which is bigger: c or -3/14?
c
Suppose 15 = -d + 105. Suppose -29*m + d = -31*m. Which is greater: m or 0.1?
0.1
Let u = 295.7 - 296. Which is smaller: u or 64?
u
Let w = -35 - -101. Let d = 66 - w. Which is smaller: d or 3/4?
d
Let u be -4 + -7 + (-3)/1. Let t be 1/2 + 91/u. Suppose 5*m + 2 = -5*g - 33, -3*m = 4*g + 25. Which is bigger: g or t?
g
Let g be ((-8)/3)/(29 + 5). Which is bigger: -1 or g?
g
Let t = 26 + -25.94. Let m = -0.18 - -0.14. Let v = m - t. Is -0.03 > v?
True
Let v = 87 + -42. Let f be 4/16*12/v. Are 1 and f equal?
False
Suppose 36 = -2*k + 2*r, 0 = -4*k + 8*r - 12*r - 56. Let x be 1/(-4) - 3/4. Is k >= x?
False
Suppose 142 = -5*o - s + 39, o = 2*s - 14. Let b = 26 + o. Suppose 0 = -4*p + 10 + b. Which is bigger: p or -3?
p
Let h = 0 + 0.2. Suppose -4*w = -24 - 16. Let a be (-176)/(-120) + (-8)/w*1. Which is smaller: a or h?
h
Let a(w) = w - 2. Let l be a(3). Let c = l - 4. Suppose -4*y + 21 = -3*g - 11, 5*y = 25. Which is bigger: c or g?
c
Let a = -250 - -254. Let b = 0.1 + -0.1. Let d = b + a. Is d less than -1/2?
False
Let x be (-8 - -6)*(-4 - 7175/(-1790)). Which is bigger: x or 1?
1
Let k = -16.31 + 65.4. Let y = -0.09 + k. Do y and 1/2 have the same value?
False
Let x = 11.64 + -9.64. Which is smaller: 2/29 or x?
2/29
Let o = -1.606 - -0.066. Is o greater than or equal to -2/5?
False
Let h = 96.1 + -96. Which is greater: h or 0?
h
Let c(s) = -8*s - 109. Let m be c(-56). Do m and 339 have the same value?
True
Let g(n) = -2*n**2 + 29*n - 19. Let b(z) = -3*z**2 + 43*z - 28. Let y(q) = -5*b(q) + 7*g(q). Suppose -27 = -4*p + 17. Let f be y(p). Which is smaller: f or -2?
f
Let h = 13 + -8. Let o(y) = -y**2 + 2*y + 7. Let d be o(h). Suppose 55 + 5 = -10*a. Which is bigger: d or a?
a
Let b be -1*2686/898 - -3. Is -1 greater than or equal to b?
False
Suppose q = 1, q + 28 - 9 = 4*u. Let w(h) = -23 + 6*h + 0*h - 10*h + u*h. Let o be w(20). Which is bigger: o or -2?
-2
Let c(t) = 2*t**3 + 21*t**2 + 12*t + 21. Let v be c(-10). Which is smaller: -9/119 or v?
-9/119
Let x = -192 + 216. Does 9 = x?
False
Suppose -3*x = 5*f - 11, -5*f = -0*x + 5*x - 5. Let z = 4 + x. Let c = -2/895 + 3598/8055. Is c at least z?
False
Let d = -56 + 59. Let a be -4 + 4/((-12)/1)*d. Is -14/3 != a?
True
Let k(i) = -i**2 + 9*i - 15. Let f be k(6). Suppose 0 = -0*s - f*s + 60. Suppose 5*t = -5*v - 25, -s = -4*v - 4*t + 8*t. Is 1 less than v?
False
Suppose -2*y + 6 = -q + y, y - 2 = 5*q. Is 0.08 less than or equal to q?
False
Let p(g) = -20*g + 176. Let m be p(9). Which is smaller: -150/31 or m?
-150/31
Suppose 186 = -15*l - 16*l. Which is smaller: -32/7 or l?
l
Let d(w) = -w + 69. Let k be d(17). Which is bigger: k or -5/2?
k
Let a be (-13)/((-884)/(-168)) - 0. Let q = -344/153 - a. Which is bigger: -0.08 or q?
q
Let v = 646 - 399. Let s = v + -3703/15. Suppose -4*i + 4*c = i - 12, -3*c - 9 = -3*i. Is i <= s?
True
Let l = -374 - -360. Is l > -18?
True
Let m be (-21)/49 - 3/(-7). Let j(a) = -a**2 + 30. Let b be j(0). Let s be 2*(-3)/b*-1. Is m not equal to s?
True
Let j = 14.4 - 13.96. Let c = j + -0.49. Which is bigger: -0.06 or c?
c
Let a(i) = -2*i**2 + 20*i + 23. Let n be 68/6 - (-8)/(-24). Let y be a(n). Is y < -2/39?
False
Suppose 10*b = 6*b + 48. Suppose 7*k - k = -b. Let a be (k/5)/((-1)/20). Is 8 < a?
False
Let i = 113 + -1923/17. Let d = -230 + 1152/5. Which is greater: i or d?
d
Suppose -16*v = -120 - 344. Which is smaller: 33 or v?
v
Suppose 0 = -5*n - 19 + 59. Let m be (n/(-20))/(2*1/(-40)). Which is smaller: m or 7?
7
Suppose -3*f + 4*l = 8, 5*l - 10 = -2*f - 0*f. Let r be (1/5*-4)/((-2)/(-10)). Let g be 15/(-5)*r/9. Is f >= g?
False
Let a = 2.35 + -0.432. Let i = a - -0.082. Is -1 greater than i?
False
Suppose 2*h + 2*p - 18 = 0, -19*h - 5*p = -16*h - 29. Let n be (48 - -9)/(7*1). Which is bigger: h or n?
n
Let n = 331/4 - 80. Let q be (-3 - 2)*(-4)/5. Is q equal to n?
False
Suppose w = 2*w - 4. Suppose -i - 15 = -w*i. Suppose -2*z - 7*d + 6*d = -3, 0 = 3*d + 9. Which is smaller: z or i?
z
Let z be ((-2)/5)/(3/(-90)). Suppose 0 = -10*j + 101 + 49. Is z greater than j?
False
Let l be (-8)/286 - 24/(-132). Which is bigger: l or 0?
l
Let v be 3405/20*4/3. Do v and 228 have the same value?
False
Let s = -2 + 4. Suppose d = s*n + 6*d - 46, -24 = -n - 3*d. Let b = 95 - 78. Which is bigger: b or n?
n
Let z = -391 - -23068/59. Is 1 < z?
False
Let d(q) = 2*q**2 + 49*q + 66. Let s be d(-22). Are s and -43 nonequal?
True
Let c be -5 + 4 - (1 + -292). Which is smaller: c or 288?
288
Let q = 13 + -9. Let v be (2/20*q)/(78/65). Which is greater: 0.16 or v?
v
Suppose v - 3 = -4*d, -v = -3*v - 2*d + 24. Let i be (-2)/3*v/(-10)*11. Which is smaller: i or 1?
1
Let k(n) = -18*n**3 - 4*n**2 - 5*n - 2. Let s be k(-2). Is s bigger than 136?
False
Let z be 2 - -4*((-14)/(-4) + -4). Suppose z = -6*x - x - 7. Is x bigger than -7/6?
True
Let k(b) = -6*b - 34. Let r be k(-6). Let m be (r - 36/6)/((-1)/(-17)). Which is greater: m or -69?
m
Suppose 45*w = 47*w - 2, 0 = y - w - 15. Which is smaller: y or 11?
11
Suppose -837 + 25 = -14*n. Which is smaller: 60 or n?
n
Let x = -0.29 - -0.3. Let b = 0.45 + -1.45. Is x at most b?
False
Let q be -10 - (3 + -11 - 3). Which is bigger: q or 2/1839?
q
Let b = -19.3 - -19.5. Which is smaller: 0.14 or b?
0.14
Suppose -4*w + 30 = -w. Suppose -49*f + 480 - 39 = 0. Which is smaller: w or f?
f
Let d(z) = -4*z**3 + 8*z**2 - 10*z**2 - 12*z + 16 + 15*z**2 + 3*z**3. Let c be d(12). Suppose 3*u - 2*u + 3*w = c, -8 = 2*u - 2*w. Is u at least 1/27?
True
Let f be 13/((-65)/20) + -19 + 1. Do f and -24 have the same value?
False
Let z = -83 + 101. Which is bigger: -0.2 or z?
z
Let l = 89 - 51. Is 39 <= l?
False
Let b(q) = 3*q + 3. Let o(k) = -2*k - 1. Let p(t) = -3*b(t) - 5*o(t). Let u be p(7). Suppose u*z = 0, 3*g + 3*z - 36 = -0*z. Are 13 and g equal?
False
Let x = -131/30 + 25/6. Is x not equal to -10?
True
Let i(j) = -2*j - 1. Let m be i(6). Let o(g) = -g**3 + 9*g**2 - 12*g - 27. Suppose -a = -0*a + 3*p - 7, -28 = -4*a + p. Let x be o(a). Is m >= x?
True
Let w be (-3)/(-15) - (-1)/(-5). Suppose w*q = -3*q. Suppose 2 = -4*x - 2, 4*d - x + 3 = q. Is d less than -1/10?
True
Let r = 232 + -427. Let m be ((-12)/(-10))/((-13)/r). Let n(s) = -s**2 + s + 19. Let d be n(0). Which is bigger: m or d?
d
Let r = -208 - -207. Is r less than 79?
True
Let u be (-9)/45*-15 + 0 + -2. Which is greater: -11/31 or u?
u
Let v = 88 - 73. Is v less than or equal to -0.11?
False
Let r = -49051/7 + 7006. Let d be 0 + 0 + 2/(-1). Which is greater: d or r?
r
Let f = -2 - -4.6. Let o = f - 2.8. Is o at most -8?
False
Let t be (-14379)/12*((-57)/(-15) - 3). Let h = -966 - t. Which is smaller: -8 or h?
-8
Let i be 5/(-3) + 115/60. Does -2 = i?
False
Suppose 4*f = k - 42, -4*f = 96*k - 98*k + 52. Suppose -3