l?
l
Let v = -26 + 15. Let w = -14 - v. Let f = 4 + w. Is 2/7 > f?
False
Let c(h) = 4*h + 38. Let x be c(8). Is 70 bigger than x?
False
Let f be (0 - 1)*68/(-204). Suppose -6*p = -4*p - 2. Which is greater: f or p?
p
Let b = -647807/1551 - -1253/3. Which is bigger: 0 or b?
0
Suppose -5*p - 3*r = 27, 2*p = -4*r + r - 18. Let u = -140 - -140. Which is greater: u or p?
u
Let i be ((-8)/(-12))/(322584/189). Let m = -426671335/591404 + i. Let l = 722 + m. Which is smaller: l or -0.1?
-0.1
Suppose 0*j + 2*j + 3*h + 1 = 0, -5*h = -4*j + 9. Let r = 0.03 + 2.77. Let i = r + -2.5. Which is greater: i or j?
j
Let g be (-9)/15*-1 - 81/135. Which is smaller: g or 3/2512?
g
Let d(s) be the first derivative of s**2/2 - 5*s - 14. Let g be d(4). Which is smaller: -1/38 or g?
g
Let b be 8/(-40) + (-14)/30. Let d(n) = n + 4. Suppose 30 = -7*w + 2*w. Let l be d(w). Which is bigger: b or l?
b
Suppose 3*w - 915 = 16*j - 11*j, -3*j = -4*w + 1209. Which is smaller: w or 301?
w
Let h = 630922837777/7853830274885 - 1/1111338655. Let r = -1/1337 - h. Is r less than or equal to -1?
False
Let x = -17 + 11. Let v be ((-40)/x)/(6/(-18)). Which is smaller: v or -1?
v
Let w(a) = a + 2. Let t be w(0). Let z be 9/(540/(-64))*39/(-52). Is z at most as big as t?
True
Let i(f) = f**2 - 35*f + 217. Let v be i(27). Is v less than 2/1395?
False
Let l(z) = -22*z + 130. Let p be l(3). Which is greater: p or 63?
p
Let d be 15 + -2 + 3/(-3). Let r be d/8 - 12/(-4). Do 5 and r have the same value?
False
Let j = 664.18 - 664. Is 0 smaller than j?
True
Let z be 7/((-28)/(-32)) - 1. Suppose -6*u + z*u = -13. Is 2 >= u?
True
Let n be 8 + -8 + -48 + -9. Is -57 greater than or equal to n?
True
Let y = 0.051 - 0.321. Let v = y - 1.73. Is v >= 2/3?
False
Let a = -266 + 59. Do -206 and a have the same value?
False
Let f = 109.6 + -110. Which is smaller: f or -0.06?
f
Let d = 1158 + -8104/7. Which is greater: -966 or d?
d
Suppose 0 = -15*z + 11*z + 8. Suppose 5*n = -z*i - 26, 3*i - 6*i + n - 39 = 0. Which is smaller: i or -11?
i
Let a = -129 + 219. Let g = 90.5 - a. Which is smaller: g or 2/11?
2/11
Let j = -105.5 - -79. Let v = j - -27. Which is bigger: 0.3 or v?
v
Let n = 102 + -110.3. Let p = 7.1 + n. Is -2 < p?
True
Let h = -45 + 23. Let r = h - -2. Let s = r - -15. Does -5 = s?
True
Suppose 3*g = -3*j + 12, -2*g = -j - j + 4. Let v be ((4 - 1) + -2)*g. Let q be 29/(-69) - (4 - (-26)/(-6)). Which is bigger: v or q?
v
Let p be ((-12)/(-15))/((-2)/15). Let x(g) = g**3 + 6*g**2 - g - 5. Let c be x(p). Let a = 37892/1350207 + 2/19017. Which is bigger: c or a?
c
Suppose 0*i + 4*i - 84 = -4*o, 2*o - 5*i - 21 = 0. Suppose -3*b + 2*b + o = 0. Let h be b/8 + 5/(-20). Is h at least 4?
False
Let o(h) = 2*h + 1. Let c be o(-1). Let j be (6/4)/(c/2). Let u = 0.1183 + 0.3817. Which is smaller: u or j?
j
Suppose -7 = -4*h + 1. Let c be 4 + (2 - 2/1). Suppose 0*z - c = 2*z. Which is greater: h or z?
h
Let r be (-2)/(70/15) - 25675/(-210). Which is smaller: 121 or r?
121
Let h be 1 + -2 + 1200/1290. Let s = -2 - -3. Do s and h have the same value?
False
Let a be (12/16 + -2)/(4/(-1168)). Let u = a - 7663/21. Suppose 0 = -r - 5 + 4. Is r < u?
True
Let j = -71.9 + -23.1. Let x = j + 95.1. Which is greater: 3/8 or x?
3/8
Let j = -1207 - -1188. Do j and -28 have the same value?
False
Let l = -91 + 122. Suppose 5*z = 5*y - 74 - l, -z + 11 = y. Which is smaller: y or 17?
y
Let l = -89 - -74. Let x = -45 - -66. Let p = l + x. Which is bigger: 1/3 or p?
p
Let k = 14.51 + -0.82. Let i = 0.31 + k. Let z = i + -12. Is 2/3 smaller than z?
True
Let f(u) = -u**2 + 2*u - 3. Let d = 14 - 12. Let a be f(d). Let o(k) = -k**2 - 7*k + 1. Let p be o(a). Is p less than 12?
False
Let t = -54/25 + 584/275. Let g be (-2)/(-11) - 128/(-22). Let z(x) = x**3 - 6*x**2 - x + 7. Let q be z(g). Is t smaller than q?
True
Let h be ((-328)/(-16) + -2)/(2/28). Are h and 258 equal?
False
Let s be (0 - 27/6)/6. Do s and 2 have the same value?
False
Suppose 79*t - 78*t = -8. Is t less than or equal to -13/2?
True
Let h = 25.44 - 25. Let y = 0.44 - h. Which is smaller: 0.019 or y?
y
Let a = -3.328 - -1.328. Is a != -1/333?
True
Suppose 6*d + 3*d = 27. Suppose 92 = m + d*m. Let l(b) = -22*b. Let x be l(-1). Which is smaller: m or x?
x
Suppose -2*l + 12 + 24 = 2*y, 0 = 5*y - 4*l - 90. Which is greater: y or 12?
y
Suppose 5*j - 3*t - 81 = -0*j, -3*j = -3*t - 51. Suppose -j*k = -2*k. Let w be (2/(-13))/(4/2). Is k less than w?
False
Let i be (243/36)/(1/((-32)/(-12))). Which is greater: -1 or i?
i
Let k(r) = -r**2 - 58*r - 741. Let q be k(-19). Which is greater: q or -27/70?
q
Let p = -995/4 - -245. Suppose 0 = 2*y + 2*i - 4, 5*y + i + 9 + 1 = 0. Which is bigger: y or p?
y
Let d = -15 - -33. Let c = -53 - -35. Let i = d + c. Which is smaller: i or -2/5?
-2/5
Let n = 0.324 - 24.424. Let q = -24 - n. Let f = 6.97 + -7. Is f != q?
True
Let z be (-73 + 70)*4/6. Is z bigger than 260?
False
Let i = 18.94 - 19. Let d = i - 0.02. Does d = 0?
False
Let a = 172/2765 + -2/395. Is 1 < a?
False
Let i(b) = 5*b + 2. Let f be i(-2). Let c = 96.9 + -97. Which is smaller: c or f?
f
Let g = -2 - 26. Let z be ((-54)/(-21))/(6/g). Let l be (-2)/((-8)/z) - -4. Which is smaller: l or 1/2?
1/2
Suppose 0 = 4*z + 7 + 21. Let x be z*(2 - (1 - 4)). Let n = 33 + x. Is n at least -0.5?
False
Let n be (-11 - 0) + (-17760)/(-1632). Which is greater: n or 1?
1
Let k = -72208/1128875 - -98/1375. Which is greater: -1 or k?
k
Let z = 73 - 73.2. Suppose 2*n = 8, 0*n = 5*c - 5*n + 60. Is c less than z?
True
Let d(y) = 2*y**3 + 13*y**2 - 2*y + 65. Let g be d(-7). Which is greater: g or 35?
35
Let w(b) = 3*b**2 - 2*b + 12. Let p be w(-4). Which is smaller: p or 66?
66
Let w = 328/3 + -109. Let p = 31.4 - 28. Let x = p - 3. Do w and x have different values?
True
Suppose 4*o = -0*s + 5*s - 45, -3*o - 30 = -3*s. Suppose w = 1, -2*v - 4*w = -0*w - 12. Suppose -b + v = -3. Which is smaller: b or s?
s
Suppose 4*w - 2 - 64 = j, -4*w + 204 = -4*j. Which is bigger: -56 or j?
j
Let f(q) = q**2 - q - 1. Let k(r) = 3*r**2 - 4*r - 3. Let t(g) = -4*f(g) + k(g). Let u be t(-1). Which is smaller: u or -9/17?
-9/17
Let f be (-543)/(-2140) - (-4)/(-16). Is f not equal to -1?
True
Let b = 0.165 + -0.265. Let u(p) = -p - 10. Let g be u(-9). Is b > g?
True
Let i = 514/1155 + -14/55. Which is greater: i or 0?
i
Suppose 27*d = -3203 - 6139. Which is smaller: d or -345?
d
Let r(p) = -3*p + 2 - 3*p + 5*p - p. Let o be r(-4). Let x = o - 23. Is x less than -13?
False
Suppose -2*j + 104 = -c, -c - 494 = 4*c + 3*j. Let y be ((-6)/10)/((-5)/(c/(-8))). Is y at most 1?
False
Suppose -u - 19*q - 93 = -15*q, -3*q = 4*u + 398. Is -107 greater than u?
False
Suppose 18*n - 480 = 2*n. Suppose 64 = 2*w + 4*p, 3*w - 5*p - 46 = w. Does n = w?
False
Let m = -246 - -230. Which is smaller: -110/7 or m?
m
Let u = -1109/5655 - -12/65. Which is smaller: u or 1?
u
Let w = -6.3 + 9. Let y = 122 - 124.7. Let h = y + w. Is -8 < h?
True
Suppose 0 = 14*o - 32*o + 18. Is o <= -18/37?
False
Suppose -4*m + 1 - 9 = 0. Let w = m - 1. Let d be 1/3 - (-4)/w. Which is bigger: d or 10?
10
Let j = -98017/96 + 1021. Which is bigger: -1 or j?
j
Let w = 79 + -81. Which is bigger: -28/29 or w?
-28/29
Let y = 11.974 - -0.026. Let b = 0.3 - 0.4. Is y smaller than b?
False
Suppose 2*l - 6 = -2*a - 2*a, l = 2*a - 1. Suppose w = -0*w - 2*n - 10, -3*w + 2*n = -2. Let k = 2 + w. Is l equal to k?
False
Let b be (-40)/(-4) + (-24)/6. Suppose -r - b*o + 69 = -3*o, -2*r - 3*o + 135 = 0. Which is bigger: 67 or r?
67
Let c = 3.92 - 4.92. Is c at most as big as -0.4?
True
Let i = -0.677 + 0.177. Let g = -0.4 + 0.4. Is g smaller than i?
False
Suppose 6*j - 3*j + 372 = 0. Let b be (-3)/(-7) + (j/(-105))/(-4). Is b <= 1?
True
Suppose -4*l + 7*l + 6 = 0. Suppose 2 = -2*u - 2. Let s be u/4*(0 + 2 + -2). Is s <= l?
False
Let l = -38 + 32. Let z = l + 5. Is z bigger than 1/5?
False
Let y = -2123/8 - -265. Let o = 0 - -2. Let d be (1 + o*-1)*-1. Does y = d?
False
Suppose 3*g - 82 = 5*m, 0*m + m + 16 = g. Let b = 19 + m. Let a be (-25)/10 - b/(-2). Which is greater: a or -3?
a
Let v(s) = s**2 - 2*s + 1. Let d be v(2). Suppose 7*a - 4*a = -2*j - 1, 3*j = -2*a + d. Which is smaller: j or 18?
j
Let w = -68 + 68.04. Let h = -7.5 + 7. Let r = -0.5 + h. Is r greater than w?
False
L