 < o?
False
Let a = 6.762 + 0.238. Is 0.38 less than a?
True
Let d = 2/71 - -63/284. Let y = 11 - 7. Suppose a = y*a. Which is bigger: a or d?
d
Let t = -14 - 13. Let z be (t/(-6))/9*-19. Which is greater: z or -0.1?
-0.1
Let i be 2226/10 - (-54)/(-90). Which is bigger: 223 or i?
223
Let u be 2/(-7) - (-19)/(-7). Let i(d) = -2 - 10*d + 33*d - 15*d. Let n be i(u). Do n and -25 have the same value?
False
Let r(k) = -3*k**2 - 2*k - 4. Let m be r(4). Let x be 9/m*5/(-6). Suppose -4 = -2*y - 6. Does y = x?
False
Let w = -1464 + 1459.41. Which is smaller: w or -0.2?
w
Let b = -669.994 + 670. Which is greater: b or -3?
b
Let w be (-18)/135 - (-56)/(-30). Let l = -3 - w. Suppose 0 = 2*z - q - 1, 2*z - 3*z = -3*q - 13. Is l <= z?
False
Let w be 78/(-10) - 19/95. Let s be (-2)/6 + w/(-24). Do s and 0.19 have different values?
True
Let b = 2/233263 - -460384/716350673. Is -1 <= b?
True
Let l = 12241/14 + -874. Suppose 0 = 5*s + k - 3, 2*s - 4*k - 12 = -2*s. Which is bigger: s or l?
s
Let c(x) = -x**3 - 10*x**2 + 3*x + 38. Let p be c(-10). Do 6 and p have the same value?
False
Let v = -3.6 + 4. Let y = v + -0.3. Is y bigger than 0.1?
False
Suppose 2 = -7*v + 86. Let i be (-15)/v*(-2)/(-3). Which is smaller: i or 0?
i
Suppose -15 = -6*y + 51. Let q(t) = 4*t + 5*t**2 - y*t**2 + 5*t**2. Let r be q(4). Which is bigger: r or -0.11?
r
Suppose -3*j - 39 = -b, -2*j - 89 = -3*b - 0*j. Let v = b - 23. Is 3 at most v?
True
Let c(f) = f - 9. Let p be c(16). Which is smaller: 2 or p?
2
Let o = -404 - -293. Is -111 greater than or equal to o?
True
Let h(n) = -n**2 - 5*n + 2. Let t be h(-5). Suppose t*u - 3*l - 67 = 0, -6 = -4*u + 3*u - 4*l. Let x = u + -180/7. Is -0.1 at least x?
False
Let d = 79 + -86.6. Let g = d - -8. Is g > 3/13?
True
Let v be (6/5)/((-4)/(-10)). Let i = 1 - -1. Suppose -2*c - 43 = -3*z, v*c + 27 = 2*z + i*c. Is 10 greater than z?
False
Let j(z) = 3*z**2 + z - 2. Let k be j(1). Suppose -k*c = -21 + 25. Let t(n) = -n**3 + 5*n**2 + 6*n + 4. Let y be t(6). Is c at most y?
True
Let w be -3 + 0 + (-6668024)/1683. Let u = w - -3965. Let c = u - 173/1530. Which is smaller: 1 or c?
c
Let v = -15 - -15.19. Let b = 0.81 + v. Let x = -112/3 + 37. Is x smaller than b?
True
Let k(w) = w**3 + 2*w - 1. Let p be k(2). Let t(g) = g**2 - 110*g + 333. Let l be t(3). Which is greater: p or l?
l
Let d(j) = 5*j - 4. Let u be d(-3). Let p = u - -4. Let s = p + 11. Is s less than or equal to -3?
True
Let w = -2153 - -2152. Which is greater: 5/134 or w?
5/134
Let m = 28 + -30. Let z(p) = 4*p**2 + 4*p + 3. Let h be z(-2). Suppose 4*t + h = 3*w - 0*w, -4*w + 8 = -4*t. Does w = m?
False
Let s = 1.0513 + -0.0513. Is s > 40?
False
Suppose -15 = 3*l, 7*i - 8*i - 11 = l. Which is bigger: 13/7 or i?
13/7
Let p(x) = 1 + 19*x**3 + 8*x - 7*x**2 - 4 - 11*x**3 - 7*x**3. Let k be (-6)/(-5)*15/3. Let t be p(k). Is t at least 8?
True
Let t be 3/(-15) - 25/((-1250)/1260). Which is greater: t or 76/3?
76/3
Let n = 135 - 137. Suppose 2*d + 3*d - 24 = 2*o, 22 = 4*d - 3*o. Suppose t + 4 = -2*h + h, t = d*h + 1. Is n smaller than h?
True
Let j = -735 + 1469/2. Let z = -15.16 + 0.16. Which is smaller: z or j?
z
Suppose 5 = -4*m - u + 23, 0 = -m - u + 6. Suppose 2*q - m = 4. Suppose q*c = -3 - 1. Which is bigger: 0 or c?
0
Let j = -158 - -125. Which is smaller: -39 or j?
-39
Let q = -1279 + 42203/33. Which is greater: q or 1?
1
Suppose -r = 2*r + 5*w + 44, -41 = 3*r + 2*w. Do r and -90/7 have the same value?
False
Let h be -2 + (-3)/((-3)/2). Let d(v) = -3*v - 5. Let t be d(h). Which is greater: t or -4?
-4
Let a be ((-6)/(-10))/(-4*1/4). Is -0.3 equal to a?
False
Let n = -359 - -352. Is 7 greater than n?
True
Let j = 2.4 - 1. Let x = 0.4 + j. Which is smaller: 1 or x?
1
Suppose -7*d = -25 - 17. Let a(o) = 3 - o + 0 + 0. Let u be a(d). Does 0.1 = u?
False
Let v be ((-57)/9 - -3) + -3. Let y = 1304 + -1310. Which is greater: y or v?
y
Let v = 1.3 + -1.82. Let c = -1.5 - -2. Let b = v + c. Which is greater: 1/3 or b?
1/3
Let m be (24 - 17)*(-1 + 0). Let i = m + 27. Which is smaller: i or 21?
i
Let u(a) = 3*a**3 + a**2 - 7*a - 10. Let w be u(-3). Let l be w/(-1)*2 - (4 + -1). Do l and 120 have the same value?
False
Let h = 9/157 - 14/2983. Suppose -4*s - 16 + 2 = -2*d, -15 = -3*d. Which is greater: s or h?
h
Let y = -32.07 + 5.71. Let c = 0.64 - y. Let u = c - 29.4. Is u <= -0.1?
True
Let a = -4 - 12. Let h = -27 - a. Let v(n) = -n**2 - 65*n + 740. Let w be v(-75). Which is greater: w or h?
w
Let v(b) = -20*b - 14. Let o be v(-1). Is o greater than or equal to 11?
False
Let j = -363 - -381. Which is smaller: j or 7?
7
Let l = 4096.992 + -4120. Let t = -0.008 - l. Let a = t - 23. Do 4/15 and a have the same value?
False
Let a(i) = i + 4. Let q be a(6). Let l = q - 35. Let p = 1/581 - 1167/2905. Is p greater than or equal to l?
True
Let f be (1/5)/(5/(-3)). Let u be (-4)/3*(-432)/(-96) + 7. Which is greater: u or f?
u
Let y = 615 - 615.079. Which is bigger: y or -2/9?
y
Let z(t) = -t**2 - t + 9. Let l be z(-6). Let y be 70/l*(-18)/14. Are y and 3 non-equal?
True
Suppose -4*a + 18 + 30 = 0. Suppose 16 = 5*j + 1. Suppose j*q - 32 - 1 = 0. Which is smaller: q or a?
q
Suppose 84*m - 130*m = 0. Suppose -4*d + 4*z = 6*z - 2, 0 = 5*d - 4*z + 17. Let i be 1/4*d/6. Which is smaller: i or m?
i
Let r = 26 + -12. Let x be (r/(-21))/(4/6). Is x at least as big as -6?
True
Let z be 44/(-11) - 10/(-2). Is z >= -7?
True
Suppose -5*k - 3*v = 141, -v + 79 = -3*k - 0*v. Let c = k - -25. Which is smaller: -23 or c?
-23
Let s = 32 + -35. Let r = s - -6.5. Let z = 4.1 - r. Is z not equal to -1?
True
Suppose -d - 4*a + 28 = 0, 5*d - a = -2*a + 64. Suppose 0 = -2*m - m - d. Which is greater: m or 0?
0
Let n be -1 + ((-52)/8)/(6/504). Is -547 < n?
False
Let x be 2/11 - (1 - (-1718)/(-352)). Let b = -4 + x. Is b smaller than 1?
True
Let g be 93*3/(-1170) - 1/(-5). Let m = -101/78 + g. Is 0 less than or equal to m?
False
Suppose -2*w + 5*d - 3*d = 384, -5*w - 996 = 4*d. Is w smaller than -1?
True
Let r = 103/1230 + 2/123. Is r != 5?
True
Let g be ((-4)/(-6))/((-2)/(-18)). Let r be 3*(-16)/(-12) - 0. Suppose 3*v + r*o = 9, 3*v - 9*o - 27 = -7*o. Is v < g?
False
Let h = 0.2674 - 7.2674. Which is smaller: 21/2 or h?
h
Let n = 1399 - 1650. Is -250 > n?
True
Suppose 0 = -4*q - 5*w - 291, w + 3*w + 375 = -5*q. Let i = -2146 - -2066. Does i = q?
False
Let i = 3 - 9. Suppose 9*p + 1 + 44 = 0. Is i < p?
True
Let l be 0 + 0*2/(-6). Suppose 4*f + 7 - 31 = l. Let g(y) = -y**2 + 4*y + 11. Let k be g(f). Which is smaller: k or -2/19?
k
Let y = 154 + -147. Is 70/11 at most as big as y?
True
Let r = 249.3 + -137.2. Let y = -112 + r. Which is bigger: y or -0.6?
y
Let r(g) = -g**3 + 10*g**2 - 13*g + 9. Let b be r(10). Let w = b - -969/8. Is w less than or equal to -1?
False
Let x be (0 + (-20)/(-6))*(-32)/64. Let d be (-80)/25 + (-2)/(-10). Which is greater: x or d?
x
Let o(t) = -t + 1. Let v(y) = 122*y**2 + 5*y - 5. Let r(s) = 5*o(s) + v(s). Let c be r(-1). Let q be c/(-30) + 1 + 3. Which is smaller: 1 or q?
q
Let u = -0.278 - 28.122. Let k = 28 + u. Is -3/5 not equal to k?
True
Let j(l) = -5*l**2 - 14*l + 7. Let w be j(-3). Which is greater: 17/5 or w?
w
Let k = 8 + -184. Let y be ((-3)/(180/k))/((-6)/(-15)). Which is bigger: y or 7?
y
Let q be 27/(-15)*((-755)/20 + -6). Let a = q + -81. Let d(o) = o**2 - 6*o + 6. Let s be d(4). Which is smaller: s or a?
a
Suppose 5*t - y = y - 52, 0 = 4*t - 5*y + 45. Let n = 10 + t. Suppose n = b + 2*b + 27. Is b at most -8?
True
Let s = 395 - 396. Is s equal to 1/1320?
False
Let d = 2549 - 4411. Is -1863 less than or equal to d?
True
Let g(l) = -l - 2. Let t be g(0). Let r = t + 4. Let p = -13851/5 - -2771. Which is smaller: p or r?
p
Let k be (-5 - -7)/(4/6). Suppose 0 = -2*z + k + 3. Suppose 4*j = -0*a - z*a - 4, 5*a + 5*j + 15 = 0. Is a at most as big as -8?
True
Let w = 404 - 238. Let b be 36/(-9) + w/41. Do 0 and b have the same value?
False
Let t be ((-20)/15 - -3)*-132. Let o = -455/2 - t. Is -7 greater than or equal to o?
True
Suppose -2*h - 2*h + 36 = 0. Let x(c) = -h*c**2 + 5*c + 4 - c**3 + 7 + 2*c**3. Let m be x(8). Which is bigger: -14 or m?
m
Let g = -45.20826 - 0.01174. Let u = g + 45. Is -0.1 at most as big as u?
False
Let o be (12/(-15))/((-2)/(-10)). Suppose -33*v + 38*v = 0. Let c = v 