)/((-36)/4)*(-165)/(-10). Is t at most as big as 2?
False
Let a be (6/4)/((-3)/(-18)). Let j be a/(-8)*(-2)/(-3). Let c be (-54)/30 - (-2)/(-10). Is j > c?
True
Let v be (-28)/(-20) - 2/5. Which is smaller: -342 or v?
-342
Let u(o) = o + 7. Let r(a) = -2. Let b(f) = -6*r(f) - 2*u(f). Let y be b(-7). Do 11 and y have different values?
True
Let d = -100 + 100. Suppose 13*n - 105 - 90 = d. Is n bigger than 15?
False
Suppose -17 = -x + 2*h, -h - 13 - 13 = -3*x. Suppose -3*i + 3 = l - 14, 0 = l - 3*i + x. Suppose 0 = -3*b + 4*b - 4, 4*p - 40 = -5*b. Is l equal to p?
True
Let y be 1 + (22 + -3 - 2). Let z = 37/2 - y. Let o = -0.2 + 0.3. Which is greater: o or z?
z
Let u be 1 + -1 - (14 + 18). Let a be (-3)/21 + (-223)/7. Is a smaller than u?
False
Let j = 202.74 + -203. Let d = -372.74 - -357. Let p = d + j. Is 0.1 at least p?
True
Suppose -4*h - 2*d = -28, -d + 5 = 3. Let v(x) = 3*x - 45. Let a be v(12). Let u be ((-10)/(-4))/(a/h). Is u equal to -2?
False
Let a = 117 - 1754/15. Suppose -5*h + 2*x - 154 = 0, h + 48 - 7 = -3*x. Let q = h - -33. Is q not equal to a?
True
Let j = 19 + -20.7. Let n = -12.5 - -10.5. Let x = n - j. Which is smaller: x or -3?
-3
Suppose -23*d = -37*d + 560. Which is bigger: 119/3 or d?
d
Suppose 2*x - 4*p = -5*p + 11, x + p - 8 = 0. Suppose 4*t + 4 = -f, -x*t - 2 = f + 1. Is f bigger than 1/65?
False
Let z = -30.8 - -44.1. Let y = z + -13.2. Is y >= 41?
False
Let h be 38/4 + 4/(-8). Suppose -h = -3*z + w, -1 = z - 6*z - 3*w. Let t be (-6)/((-4)/z) - -10. Which is smaller: t or 12?
12
Let g = 2.5 - 12.3. Let z = g + -0.1. Let k = -0.9 - z. Is 2/7 equal to k?
False
Let s = -191 - -189. Which is greater: s or 22?
22
Let r = 9.39 + -181.39. Which is bigger: r or 2/11?
2/11
Suppose -8*m = -14 + 14. Which is bigger: m or -2/215?
m
Let a = 1.6 - 3.3. Let k = a + -0.3. Let q(v) = v**3 + 5*v**2 - 6*v - 1. Let z be q(-6). Which is greater: k or z?
z
Let r(q) = q**3 + q**2 - 37. Let u be r(0). Let k = 53/42 - 27/14. Which is smaller: k or u?
u
Let t be 1287/(-5070) - (0 + 4/(-26)). Let m = 5 + -6. Which is smaller: m or t?
m
Let j = 1413 + -1434. Is j smaller than -13?
True
Suppose 5*c + 1 = 3*t, 0 = 3*c - 0*c - 3. Suppose -3 = -4*w + 1, w - 3 = t*n. Which is greater: n or 2/347?
2/347
Let v be (2/6)/(16/96). Let i be (-1)/(v/(-21 - 3)). Which is bigger: i or 8?
i
Suppose 32*y = -34*y + 60*y. Is y not equal to 2/561?
True
Let y = -4 + -16. Let q = -13 - y. Is q less than -0.1?
False
Let a = -58 - -29. Let c = a - -33. Which is smaller: c or 0.1?
0.1
Suppose -z - 420 = -13*z. Which is smaller: -2 or z?
-2
Let b = 280/12823 - 92400355/487274. Let f = b + 379/2. Which is bigger: f or -1/3?
f
Let w = 18 + 2. Let h = -17 + w. Let s = h + -5. Does 1/5 = s?
False
Let v be ((-1)/(-5))/(6/90). Suppose -t = -v*t. Suppose k + 0*z - z - 6 = 0, -5*z - 25 = t. Which is smaller: k or 5/3?
k
Suppose 0 = -4*q - 2*l - 0 - 4, -3*q - 17 = 5*l. Which is greater: q or -2/495?
q
Suppose -4*u - 2*n - 402 = 0, -3*n = 3*u - 6*n + 315. Is -101 greater than or equal to u?
True
Let w be ((-116)/6)/((-26)/(-2535)*-5). Does w = 377?
True
Suppose 2*z - 3*x + 4 = 0, -z + 4*z + 5 = 4*x. Are z and -1/124 equal?
False
Let m = -10 + 12. Let j(h) = 2*h - 2. Let x be j(m). Let l = 2 - x. Is l at most as big as 3/5?
True
Let h = -187 + 439. Suppose -7*k = -3*k - h. Let i be (27/k)/(2/14). Are 1 and i nonequal?
True
Let o = 33 + -27. Let z = -1.4 - -1.3. Let b = z - 0. Which is bigger: o or b?
o
Let y = -141 - -88. Let l = 52 + y. Which is greater: -5/9 or l?
-5/9
Let f be (-6)/(-9) + (-10)/(-3). Let c be (0 - 4/57)*18/f. Is c at most 0?
True
Let d = -91 - -90.9. Let x(g) = -g**2 - 7*g + 2. Let s be x(-6). Is s greater than or equal to d?
True
Let x(r) = -r**3 - 6*r**2 + 5*r - 7. Let a = 3 + -2. Suppose -a = -2*s - 15. Let w be x(s). Which is smaller: 6 or w?
6
Suppose 2*w = 10*w + 40. Let k be 2/w - (1152/910)/(-3). Do 1 and k have the same value?
False
Let b be (-17)/((-17)/(-9))*(-2)/(-2). Which is smaller: b or 0.37?
b
Let d(i) be the first derivative of -i**4/2 - i**3/3 - i**2/2 - i + 5. Let r be d(-1). Let t be 8/(-30)*6/(-4). Are r and t nonequal?
True
Let m = 141 - 140.9. Is m not equal to -4?
True
Let o(i) be the third derivative of i**4/6 - 2*i**3 + 9*i**2. Let p be o(6). Let t be (p/30)/((-2)/100). Are t and -20 nonequal?
False
Let h = 1 + -1.2. Let i be ((-44)/8 + 4)*-2. Suppose -6 + i = 3*j. Is h >= j?
True
Let v = 15 + -13.73. Let z = v + -0.27. Which is smaller: z or -19?
-19
Let c be 6*2/12*(-35718)/58. Let v = -616 - c. Which is smaller: 1 or v?
v
Let z be 50/(-40) + (-122)/(-40). Let h = 3/10 - z. Does -2 = h?
False
Let o = -33 + 37. Suppose o*d + 6 = 4*q + 18, -3*q - 5*d = -7. Let u = 1.3 - 1.37. Is q at most as big as u?
True
Let d be (7/(-21) + 4/(-24))*2. Is d > -1/464?
False
Suppose -3*v + 25 = -536. Which is bigger: v or 188?
188
Suppose -639 = 5*t + p - 5*p, 4*t = -4*p - 504. Which is smaller: t or -125?
t
Suppose -5*x - 50 + 15 = 0. Let k(o) = 11*o**2 - 2*o + 1. Let m be k(-2). Let n be (-1)/x + (-448)/m. Is -8 greater than n?
True
Let x = -16 - -19. Suppose 0 = -6*d + x*d + 12. Let p be d/(-18) - 38/(-90). Is 0 != p?
True
Suppose 0 = -3*w - 0 - 9. Let f(r) = r**2 + 5*r + 2. Let x be f(-5). Suppose -c = x*c + 9. Is c at least as big as w?
True
Let d(a) = a**3 + a**2 - a. Let k(h) = -5*h**3 + 4*h**2 - h - 13. Let q(g) = 4*d(g) + k(g). Let x be q(7). Is 4 not equal to x?
True
Let k = -34 - -39. Suppose 2*f + 6 = 6*f - k*x, -3*f = -3*x - 3. Is f >= -7/4?
True
Let n be (-4)/18 + 7*(-143)/(-819). Which is greater: n or -3/14?
n
Let q = -39.84 - 4.19. Let b = -44 - q. Which is smaller: b or 0?
0
Let l = 181 + -83. Let j = -86.8 + l. Let i = 11 - j. Which is smaller: i or 2/7?
i
Let f = 35 - -95. Let a = 395/3 - f. Let w = 0 + 2. Is a at most as big as w?
True
Let u = 1 + -1.2. Let n = 0.8 - u. Is n bigger than -2/27?
True
Let y(u) = u + 1. Let i = 34 + 1. Suppose 3*q + 2*q = i. Let n be y(q). Is 9 at most as big as n?
False
Let p(x) = -21*x. Let q be p(1). Let w be 153/q*7/(-2). Let r = 38 - w. Which is greater: r or 14?
14
Let g = 0.7 - 2.6. Let m = 1.98 + g. Let o = -0.18 + m. Which is bigger: o or 2/11?
2/11
Let g = -4/15 + 1646/6285. Which is smaller: 0 or g?
g
Suppose 5*k - 5 + 310 = 0. Which is smaller: -63 or k?
-63
Let n = 117 - 75. Let c = 8.83 + -8.73. Is c less than or equal to n?
True
Let r = 347 + -340. Which is bigger: 0.1 or r?
r
Suppose -f = m - 55, 3 = 2*f + 5. Are m and 57 nonequal?
True
Suppose 6*s + 0*s = 72. Suppose 6*z + s = 6. Let g be 2 + -1 + (-14)/18. Which is bigger: z or g?
g
Suppose 26*v - 11*v = 60. Suppose 3*w + 13 = 3*h - 14, 4*h = -5*w. Which is bigger: v or w?
v
Let h be (-10 - (-4)/(-4))*-1. Suppose 3*v - k - 8 = 0, -6*k - 24 = -v - h*k. Which is greater: -2 or v?
v
Suppose -5*m - 50 = 5*v, 3*v + 3*m + m + 33 = 0. Let u = v + 11. Is u bigger than 5/2?
True
Suppose 2*s + 39 = -27. Is -40 bigger than s?
False
Let m = 32 + -162/5. Let p be 75/35 + 1*-3. Which is greater: p or m?
m
Let f(g) = -g**3 - 4*g**2 - 1. Let w be f(-4). Let q be 1 - w - (2 - 10). Suppose 3*k + 4*y = 29, -16 = -k + 3*y - 2. Which is greater: q or k?
k
Let n = -0.07 + 0.97. Let a = -55 - -55.8. Let v = n - a. Which is smaller: v or -0.1?
-0.1
Let t be 4/(-10) - (1 - 85/25). Suppose d = t - 5. Are d and -3 equal?
True
Let b = 446 - 671. Let n be 345/b - 4/(-3). Is -6 greater than n?
False
Let k = -0.994 + -113.006. Which is smaller: 0.1 or k?
k
Suppose 31*o + 4*h = 27*o - 8, 0 = 2*o + 3*h + 5. Is -71/11 not equal to o?
True
Let f(g) = -g + 24. Let w be f(21). Let z be 3/w + (24 - 1). Let q = z + -11. Which is bigger: q or 12?
q
Let g be (-2)/(-12) - (-3)/(-18). Let p be (-269596)/(-29036) - 18/42. Let v = -150/17 + p. Do v and g have different values?
True
Suppose 0 = l - 3*a + 11 + 2, -13 = -3*l - 4*a. Let i = 25376/15 - 1692. Is l < i?
True
Let g be (10/(-4))/(2/(-4)). Suppose 9 = -6*r + 27. Let t be -4*2/12 - (-17)/r. Are t and g equal?
True
Let b be ((-5 - 0) + 8)/(0 - 1). Let c = -1.04 + 0.14. Let f = c - -2.9. Is f at most as big as b?
False
Let r = 10 + 53. Suppose -29*b = 5*q - 34*b - 315, 5*b - 305 = -5*q. Which is greater: r or q?
r
Let s = -870 + 860.7. Which is smaller: 0.4 or s?
s
Let l = 1400 - 1656. Is l at least -2?
False
Suppose 