- f + 14. Let k be m(18). Let u be b(k). Let v be 5/6 + 1/3. Which is smaller: u or v?
u
Suppose 13*u - 12*u = 0. Let i = 6 - u. Let h be -4 + 1/1 - -4. Which is bigger: h or i?
i
Let i = -35 - -52. Let z = -20 + i. Which is bigger: 0 or z?
0
Let k = -5.2 - -48.2. Let a = -37 + k. Suppose 0 = 3*s - 0 + 3. Which is greater: s or a?
a
Let k(i) = 2*i**2 + i + 5. Let c be k(-3). Let q = -21 + c. Is q less than -12?
False
Let a = -3 + -29. Let l = -2 + a. Is l equal to -33?
False
Let q = -38 + 54. Let x = q - 14.8. Let u = -0.2 + x. Which is smaller: 10 or u?
u
Let w = 7927/36 - 881/4. Let u = -0.3 - -0.4. Is u bigger than w?
True
Suppose 2*p = -4, 16 = -l - 2*l + p. Let z(c) = -c**2 - 7*c - 6. Let n be z(l). Do -24 and n have the same value?
False
Let x be 120/(-36)*(-6)/5. Is x > 3?
True
Let i = -25 - -12. Let f be (i/(-26))/((-6)/4). Which is smaller: f or -2/7?
f
Let h = -5.19 - -2.29. Do h and 0.1 have different values?
True
Suppose 4*q - 4*j = -28, -5*j + 0*j = -3*q - 13. Let f = q + 20. Which is smaller: f or 8?
8
Suppose -24*h = -17*h - 105. Which is greater: h or 74/5?
h
Suppose 4*w = -4*w + 112. Suppose 5*h - w = o + 2*o, 5*o = 3*h - 18. Is h < 2/17?
False
Let b(f) = f**3 + 20*f**2 - 18*f + 35. Suppose 2*s + 7 = -35. Let z be b(s). Which is smaller: z or -29?
-29
Let m = -2.193 - -2.093. Which is smaller: m or -65/18?
-65/18
Let v = 2097/7 - 300. Suppose 0*d - 2*d = 0. Is v smaller than d?
True
Suppose 8 + 8 = 4*b. Suppose -2*z + 3*z = 2*y - 5, 5*z = -b*y - 11. Suppose 2*u - 4*u = -4. Do u and y have the same value?
False
Let o be 30/72 + 1/4. Which is smaller: -58 or o?
-58
Let h = 46 + 8. Let r = h + -54. Is 0.7 < r?
False
Let x = 276611/28 - 9881. Let v = -323/52 + 58/13. Let p = v - x. Is -1 less than or equal to p?
True
Let g(w) = -w**3 + 12*w**2 + 2*w - 11. Let r be g(12). Suppose -2*l + 10 = -4*l. Let x = r + l. Is x greater than or equal to 9?
False
Suppose -4 = -t - 0*t. Let g = t - 7. Let b = g + 2. Which is smaller: b or 2/31?
b
Let c = 5831/9 - 647. Let z = c + -38/63. Which is smaller: 2/9 or z?
2/9
Let g = -587.9 - -588. Let x = -292/525 + 10/21. Which is smaller: x or g?
x
Let c = 395 - 1187/3. Which is smaller: c or 10.1?
c
Let h = -36 - -137. Let x = -102 + h. Which is greater: -2/383 or x?
-2/383
Let h = 88 - 82. Suppose h*x - 4*x = 8. Is x >= 1?
True
Let p(t) = 3*t + 14. Let f be p(7). Suppose 0 = 3*j + 4*j + f. Is j equal to -7?
False
Suppose 0 = -4*k - 5*o, -2*k = k - 2*o. Let m be (2 + -3)*(k - -3). Let y be 3 + (-7 + 2 - 2). Is m >= y?
True
Let v = -319 - -319. Which is smaller: v or 2/583?
v
Suppose 74*d + 6212 + 56688 = 0. Is -850 at most d?
True
Let d(r) = -r + 8. Let f be d(4). Suppose 0 = 4*n - f, 0 = 3*u + 3*n - 3. Let p = -40 + 522/13. Do u and p have the same value?
False
Let t(v) = -5*v**2 + 3*v - 27. Let p be t(7). Is p at most as big as -252?
False
Let f(c) = -2*c - 4. Let a be f(-4). Let o = -96 - -191/2. Which is greater: o or a?
a
Let n = 1685/9 + -187. Let j be (-536)/(-1044) - 40/90. Which is smaller: n or j?
j
Let s = 0.031 - 0.251. Let t = -9.22 - s. Which is smaller: 1 or t?
t
Suppose -21*i + 42 = -18*i. Is i smaller than -7?
False
Suppose 5*u = j - 151868475, -4*u = j - 5*j + 607473820. Let x = -1566978668463/10318 + j. Let p = -2/469 + x. Is 1 not equal to p?
True
Let f = -0.5 - 389.5. Which is bigger: 1 or f?
1
Let w be ((-6816)/(-28))/((3/(-7))/3). Is w bigger than -1705?
True
Suppose -102*t - 522 = -73*t. Which is smaller: t or -93/5?
-93/5
Let x = 96103 + -767013/8. Let h = 105 + 121. Let b = h - x. Is b < -2?
False
Let o = 2706/553 - 48/79. Let f(m) = m**3 - 2*m**2 + 5. Let l be f(0). Which is smaller: l or o?
o
Suppose 3*z - 16*w - 20 = -20*w, 3*z - 5*w + 25 = 0. Do z and 21/26 have the same value?
False
Let n(x) = -2*x**3 + 11*x**2 + 18*x - 9. Let l be n(7). Which is bigger: l or -38?
l
Let g = 652 - 587. Do 66 and g have the same value?
False
Let s(n) = n - 19. Let x = 41 - 31. Let j be s(x). Are -8 and j non-equal?
True
Let m = -201 - -254. Let v = -56 + 394/7. Is m > v?
True
Suppose 12 + 0 = -2*l. Suppose 111 = -4*m - 21. Let u be l/m + (-3)/(-44). Is -0.1 >= u?
False
Suppose -a + j = 53 + 3, -116 = 2*a + 2*j. Which is smaller: -289/5 or a?
-289/5
Let f be (-2)/3 - 140/(-21). Suppose -h - h = f, -z = 3*h + 3. Suppose -z = 14*v - 12*v. Are -3 and v non-equal?
False
Let y = 321557/47 - 6841. Is y not equal to 1?
True
Let y = -1137 + 895. Does -239 = y?
False
Let v = -523 - -522. Is v smaller than -2/2473?
True
Let f be 6/24*452/(-3). Let v = f + 1234/33. Is v at most -0.1?
True
Let v be (-294)/(-1272) + (-1)/4. Let w = 101/265 - v. Which is smaller: 9 or w?
w
Suppose -5 = -6*i + i. Let c = 154805/6 + -25875. Let l = -74 - c. Is l at most as big as i?
True
Let c be 6/3 - 5 - (2 - 85). Which is bigger: 79 or c?
c
Let l = 160.02 - 160. Which is bigger: l or 3?
3
Let q(s) = -24*s + 144. Let f be q(6). Which is bigger: f or -0.017?
f
Let q = -539 - -540. Which is smaller: 938 or q?
q
Suppose 0*w - 200 = 5*w. Let l = w - -39. Which is smaller: l or 5?
l
Let q = -171.9 - -161.9. Which is greater: q or 0.01?
0.01
Let u be (-26)/27*(-14)/((-56)/(-3)). Which is bigger: 0 or u?
u
Let f be 6 - (6808/518)/(1/7). Which is smaller: f or -345/4?
-345/4
Suppose 14*l - 24*l = -120. Are 12 and l equal?
True
Suppose -103*l = -117*l - 1316. Which is smaller: -98 or l?
-98
Let k = -0.2 - 0. Suppose 0 = y + 3*y - 2*c + 150, 0 = 3*c + 9. Let z = -32 - y. Which is bigger: k or z?
z
Let m(w) = w**3 - 2*w**2 - 6*w + 6. Let v be m(4). Let j be 7*(-2 - (-32)/v). Suppose y = -y + j. Which is smaller: -2/15 or y?
-2/15
Suppose 14 = -d + 19. Suppose -3 = -d*u + 12. Which is smaller: 5 or u?
u
Suppose 0 = 5*z - 50 - 75. Let a be (43/(-5))/((-70)/z + 2). Is 11 at least as big as a?
True
Let i = 2067 - 2065. Let h = -3.8 + -1.2. Let u = h + 5.4. Which is smaller: i or u?
u
Let g be 1/(13/(-40) + 0). Let x = -4432 - -4428. Do g and x have the same value?
False
Let n = -1826 - -1822. Suppose 2*q + 0*y = y - 11, 0 = -y - 5. Are n and q equal?
False
Let c = 154634/99 - 14060/9. Let n be (-6)/18 - 151/(-3069). Let r = c - n. Do r and 0 have different values?
True
Let x(w) = -w + 7. Let v be x(5). Let i be ((-3)/6)/(1/(-6)). Is v smaller than i?
True
Suppose -143 = -8*q + 129. Which is smaller: q or 38?
q
Suppose -53 - 7 = 12*p. Let q be (-8 - p - -9)/3. Suppose f - 4 + 2 = 0. Is f at most q?
True
Suppose -258*a + 1265 = -269*a. Is -115 at most as big as a?
True
Suppose 71*h - 66*h - 10 = 0. Is h greater than 0?
True
Let n be 14 - 15 - (-6)/(-5) - -1. Let q = 0.17 + -0.07. Which is smaller: q or n?
n
Let o = 114 + -109. Suppose -o*f - f = 372. Is f greater than -63?
True
Let v = 2.034 + -1.98. Which is smaller: v or 0?
0
Let v be (-2 + (-32)/(-14))/((-75)/(-7)). Which is smaller: v or 0?
0
Let j be (1/3)/(0 - (-3)/36). Suppose 3 = j*o + i, i + 1 = -0*i. Is -13 greater than o?
False
Let p be ((-14)/3 - -2) + 4/(-6). Which is bigger: p or -2?
-2
Let q be (1 + 0)/((-6)/36). Let j = q - -1. Let c = j - -4. Is -1 bigger than c?
False
Suppose 0 = 4*g - 0*b + 3*b + 4, 5*g - 5*b + 5 = 0. Let s(q) = q**2 + q + 2. Let c be 0/((3/6)/((-2)/4)). Let u be s(c). Which is bigger: u or g?
u
Suppose -16*p = -1435 - 3077. Which is smaller: p or 284?
p
Let v be 8 + 2 + ((-98992)/(-9896))/(-1). Which is smaller: 1 or v?
v
Suppose -3*c + z - 6 = 0, 23 = -3*c - 3*z + 5. Suppose -6 = -4*n + 5*n. Which is smaller: c or n?
n
Let a(o) = 3*o + 30. Let p be a(-4). Do p and 7 have the same value?
False
Let r(j) = -14*j**3 - 6*j**2 - 7*j - 2. Let n be r(-1). Which is smaller: 72/5 or n?
n
Let o = 4 + 2. Let h be (1 - 1)*(-3)/o. Let s = 21986 + -21985.96. Is h at most as big as s?
True
Suppose -40 + 20 = -5*a. Suppose -4*c - a = 5*h + 1, -3*h + 4*c - 35 = 0. Which is smaller: -2 or h?
h
Let j(m) = -8*m - 93. Let p be j(-6). Which is bigger: -48 or p?
p
Let w = 445 - 443. Which is greater: -4 or w?
w
Let i be (-1)/1*(-598)/(-26). Is i bigger than -21?
False
Let d(o) = -12*o**2 - 14*o**2 + 2*o - 15*o**2 + 40*o**2 + 7. Let k = 11 + -8. Let z be d(k). Is 2 not equal to z?
True
Let z(t) = 2*t**2 + 12*t + 3. Let m be z(-5). Which is smaller: -4 or m?
m
Suppose 5*c = 3*m + 200, 4*m - 3*c - 129 = -414. Let q be 1/(-2) + m/(-270). Let p = 0.2 + -0.2. Which is gre