or equal to 0.1?
True
Let w = 547.18 - 15.18. Which is bigger: 14 or w?
w
Let n = 374 + -576. Let p = -201.9 - n. Which is greater: -1.6 or p?
p
Suppose 2*l = 5*t - 17, 19 + 1 = 4*t. Let a(o) = o**2 + 7*o + 8. Let u be a(-6). Suppose u*j + 4*w - 10 = 0, l - 1 = -5*j + 4*w. Which is greater: -1/12 or j?
j
Suppose 0 = 4*z - 3*w - 2*w - 14, 2*z = -w + 14. Let k be (2/z)/((-1)/27). Suppose 39 = -4*p - 9. Is p less than or equal to k?
True
Let a(t) = 28*t - 7. Let d(j) = -26*j + 7. Let m(v) = 6*a(v) + 7*d(v). Let x be m(-3). Is x <= 49?
True
Let x = 2/233 + -237/466. Let h = -1.937 - -1.8. Which is smaller: x or h?
x
Let m be (477/(-27))/(((-7)/21)/(7*3)). Which is greater: m or 1112?
m
Suppose -28*w = -41*w + 7995. Let d be (w/155 + -4)*(2 + -3). Let j(o) = -o - 2. Let l be j(-2). Which is bigger: d or l?
d
Let c be -19 + 17 + 1*7. Let h be ((-80)/(-15) - c)*1. Let m = -2.9 - -0.9. Is m at most h?
True
Let o = -19/10 - -9/5. Suppose 24*q = 28*q. Suppose -12*r + 0*r + 12 = q. Is o not equal to r?
True
Let u = 5161 + -1248965/242. Suppose 34*n - 3 = 31*n. Is n smaller than u?
False
Suppose 0 = -c - 5, 2*s - c = -4 - 3. Let j be (-29)/3 + 2/s. Suppose -15*z + 3*u + 55 = -20*z, 3*z + 5*u = -49. Which is smaller: j or z?
j
Let b = -627 - -633. Let q(k) = -3*k**2 + 2*k - 1. Let s be q(1). Let g be (b/s*8/(-60))/(-2). Which is greater: g or -2.1?
g
Let j be (2/4)/((-1)/(-2)). Let u = 8607/5 - 1727. Let n = u + 246/35. Which is bigger: j or n?
n
Suppose 2*k - 3*j + 5*j = 12, -2*k + 3*j = 3. Suppose -g - k*t - 20 = -4*t, 0 = -t - 3. Suppose 0 = 2*z + 40 + 4. Which is bigger: g or z?
z
Let m = 322 - 758. Let u = -435.9 - m. Is -7/9 bigger than u?
False
Let u be 720/(-880)*(2 - 0). Which is greater: 192 or u?
192
Let f be (7592/65)/(10/25). Does -1/6 = f?
False
Let w = -19279 + 19278.815. Which is bigger: w or -8?
w
Let t = 416 - 406. Suppose -3*f - t = 2*i - 7*f, 3*f + 64 = -4*i. Let j = -57 - -41. Does i = j?
False
Let s = 41 - 27. Let d = 0.9056 - -12.0944. Let a = d - s. Which is smaller: a or -1/5?
a
Suppose -k + 32 = 4*w + 4*k, -k - 11 = -5*w. Suppose 62 = w*u - 2*y, 57 = u + 5*y + 25. Which is smaller: 2 or u?
2
Suppose 184 = o + 185. Let d(r) = 34*r + 4. Let b be d(o). Is -31 smaller than b?
True
Let y = 261.9475 + 0.0525. Let b = 262.04 - y. Suppose 0*u = -5*u. Which is smaller: u or b?
u
Let l = 2.2 + -0.7. Let i = 1.6 - l. Suppose 20 = 5*y, -2*f - 3*y + 11 = -f. Is i equal to f?
False
Let d = 48 + -39. Suppose -d*k = -7*k + 6. Let n be (k - 1)/(-4) + -4. Which is bigger: n or -1?
-1
Let m = 39.03 + -40. Let k = m - 0.03. Let t be ((-24)/(-12) + -6)/(4/(-5)). Is t <= k?
False
Let y be 3/7 - 84/196. Let i be y + (4 + -9 - (0 - 7)). Is i at least as big as 2?
True
Let a be -21 - (27 + 13 + -45). Let f be (206/36)/((-2)/6). Is f != a?
True
Let a = 5478 - 5477. Which is bigger: a or -11/327?
a
Suppose 0 = 2534*t - 2555*t + 11382. Is 1 at least as big as t?
False
Suppose -2*g + 1 = s - 50, -5*s = 5*g - 255. Is 313/6 > s?
True
Let b be 171/(-48) + 6/4. Let j(r) = -r**3 - 38*r**2 - 235*r + 38. Let n be j(-8). Is n at most as big as b?
False
Let f(v) = 8*v + 24. Let d(a) = -a - 1. Let c be -3*2/12*(2 - 0). Let y(z) = c*f(z) - 4*d(z). Let j be y(-5). Is 5/24 bigger than j?
True
Suppose -5*y - 479 + 4439 = 0. Let c = y - 784. Let l(h) = 4*h - 4. Let n be l(3). Is c greater than or equal to n?
True
Let b be ((-6)/7)/(4 - (-3075)/(-770)). Let y = b - -134. Suppose 2*o = -y*q + 2, -5 = -3*q - 3*o - o. Is -4/31 less than q?
False
Let p = 27543.19 + -27543. Does p = -21/4?
False
Let u be ((-1)/((-12)/447))/((-27)/(-324)). Which is smaller: 446 or u?
446
Let o be (-597)/180 + 0 + 21/((-105)/(-10)). Which is smaller: o or -1?
o
Let w = -2634 - -4071. Suppose 16*m - 755 = w. Are 137 and m nonequal?
False
Let z(k) = k**2 + 14*k + 52. Let v be z(-11). Suppose 23*o = v*o + 4. Let p = 3 + 1. Which is smaller: p or o?
o
Let k = 18727 + -18873. Which is smaller: -138 or k?
k
Suppose 44*o - 3016 = 36*o. Is o less than or equal to 377?
True
Let a(j) be the first derivative of -j**4/4 - 8*j**3/3 - 15*j**2/2 - 18*j - 3. Let q be a(-6). Which is greater: -2/707 or q?
q
Let j = 0.069 - -0.461. Let l = j + -0.33. Let s be 20/80 + (-405)/1524. Which is smaller: l or s?
s
Suppose -77*i = -106 - 126 + 155. Is i greater than 47.78?
False
Let v be 20/(-108848)*((-4)/20)/((-4)/(-24)). Which is greater: 0 or v?
v
Let u(q) = -70*q + 2591. Let y be u(37). Are y and -6/2351 unequal?
True
Let w = 142 + -143. Is w >= -7/1172?
False
Let l be -3 - (1 - -1 - 5). Let t = 22964 + -137465/6. Let b = t - 54. Is l not equal to b?
True
Let o be (-3654)/348*184/428. Which is greater: o or -6?
o
Let j = -19293 - -19292. Which is smaller: 3/12913 or j?
j
Let j be ((-8)/100*-10)/(1/(-5)). Let z be (-118)/j*(-80)/(-40). Is z at most as big as 61?
True
Let o = -40 + 44. Suppose 2*g = o - 2. Let r = 3/2 - g. Which is greater: -1.9 or r?
r
Let o = 2/19445 - -12347551/233340. Which is smaller: o or 52?
52
Suppose -9 - 1 = 5*a. Suppose 4*v - 6 + 30 = 0. Let d be (3/15)/(v/18). Which is greater: a or d?
d
Let x = -89/35 - -21913/8645. Suppose -495*k + 2 = -6*k + 2. Which is bigger: x or k?
k
Suppose -1495 = 27*h - 40*h. Let f be h*15/((-375)/10). Which is greater: f or -45?
-45
Let n be 4/(-14) - ((-3148)/6020 - 2). Let d = n - 8/215. Do d and 3 have different values?
True
Suppose -12083 = 27*u - 2336. Which is greater: -372 or u?
u
Let f(g) = -7*g + 35. Let c be f(4). Suppose -819 = c*a + 2*a. Which is smaller: a or -92?
-92
Let b = -1447.5 - -1176. Let i = b - -271. Do -8 and i have the same value?
False
Let h = 36 + -38. Let q = h + -3. Let z = -2 - q. Which is greater: z or -2/5?
z
Suppose 5*s = -4*j - 3119, 3*s + 4*j + 1863 = -2. Let q be 2/(-12)*2156/s. Let d = q + -1/57. Is 2 at most as big as d?
False
Let o(g) = 4*g**2 - 43*g - 48. Let i be o(14). Let v = 1192086 - 36958819/31. Let a = v + i. Is 0 bigger than a?
False
Suppose -c - 167 = 4*y + 163, -12*c + y - 4303 = 0. Is c greater than -5?
False
Suppose 0*f + 4 = -f + 2*g, -5*f = -4*g + 8. Let t = f - 2. Let w = -73949/11 - -6721. Is w greater than or equal to t?
True
Suppose -46*n + 1310 = -41*n. Let v = -2 - n. Which is greater: -263 or v?
-263
Let a(j) = -j**3 + 12*j**2 - 31*j + 158. Let y be a(13). Is -420 at most y?
True
Let y = 381/12460 + -5/2492. Let k be (-1)/(-2)*(1 - 13). Let p be k/(-10) + 4/10. Which is bigger: p or y?
p
Let k = 0.1306 - 579.1306. Let a = k + 525. Which is smaller: -2/3 or a?
a
Let c = -467/1155 + 1/231. Let l = 77 + -94. Is c smaller than l?
False
Let o = 1.978 - 2.278. Is -0.228 != o?
True
Let j be 11837/(-119) + ((-2)/1)/((-98)/343). Which is smaller: -93 or j?
-93
Let s(x) = -2*x**3 + 9*x**2 + 2*x + 14. Suppose 5 = -8*t + 45. Let b be s(t). Let p = -1/456 + 1097/84360. Which is smaller: b or p?
b
Suppose 600 = -12*w + 1440. Let j be ((-438)/18)/(8/(-24)). Which is smaller: w or j?
w
Suppose 4*l + w + 14 = 0, -6*w + w = -11*l + 8. Which is greater: -19/23 or l?
-19/23
Suppose 0 = 5*p + 3*q - 225, 0*p - q - 245 = -5*p. Let n be (-48 + p)/(1/((-1)/(-2))). Which is bigger: n or -7/8?
n
Let o = -34981 - -34942. Let n be 150/(-4) + -1 + 1. Is n < o?
False
Let v(x) = 2*x + 93. Let f be v(30). Let y = f - 2602/17. Which is bigger: y or -0.09?
y
Let a = 10.1582 + -10.14. Let f = 5.9818 + a. Let r = -4 - -3. Which is bigger: f or r?
f
Suppose 9*f - 12 = -3. Let t(u) = 3*u**3 - u**2 - 2*u + 3. Let m be t(f). Suppose 5*a = -m*d + 21, -d - 4*a + 16 = d. Is 16/7 != d?
True
Suppose -31959*o = -31966*o. Is o less than 22/733?
True
Let n = -809/70 - -29/70. Suppose 3*l = -4*l - 84. Which is smaller: n or l?
l
Suppose -11*c + 1141 = 1196. Let l be 5 - (-2 + 0 + 3). Which is bigger: c or l?
l
Suppose -3*n + 4*c = -66, -4*n + 3*n - 4*c + 22 = 0. Suppose 0 = 3*b - n*u + 18*u - 13, 0 = -3*b - u - 7. Which is bigger: -13/22 or b?
-13/22
Suppose -4*g + i = -84, -g + 5*i + 6 = i. Suppose -2*b - 13 = -4*c - 1, 2*b - 3*c + 8 = 0. Let j(t) = 7*t**2 - 8*t + 8. Let y be j(b). Is y < g?
True
Let b be 8 + ((-531494)/67756 - (-6)/(-39)). Is 1 bigger than b?
True
Let a be 4/(-12)*(69 - 24) + -8. Which is smaller: -19 or a?
a
Let x = -2431 - -2430. Which is smaller: 1/388 or x?
x
Let g = -943 - -1972. Let o be (g/30)/7 - 6/(-4). Which is greater: 