u be 21/((-12)/(-4)) - 4. Which is smaller: q or u?
q
Suppose 5*b + 5 = v, 3*v + 3*b = -0 - 3. Are 0 and v equal?
True
Let d = 3 + -3.3. Let p = d + -0.7. Are p and -2 unequal?
True
Let w(o) = 10*o - 1. Let r be w(1). Which is smaller: 7 or r?
7
Let z = 9 + -8. Let p = z + -1. Which is smaller: -1 or p?
-1
Suppose -2*o = -10, -5*t + 4*t - 5*o = -121. Suppose -5*g - t = -5*a + 24, 4*g = -a - 1. Suppose a = -3*n - 3*q + 7, 20 = -5*n + 4*q. Which is bigger: 2 or n?
2
Suppose -6*b + 2*b - 80 = 0. Let h be (-25)/b - 9/(-12). Is 1 != h?
True
Let u(v) = -3*v + 2. Let a be u(-1). Suppose 12 = -0*d - 5*d + 3*c, 0 = 3*d + 3*c - 12. Is d less than or equal to a?
True
Let w be ((-2)/(-6))/((-1)/9). Do -2 and w have the same value?
False
Let j(c) = c**3 + 11*c**2 - 14*c - 24. Let y be j(-12). Is y != 0?
False
Suppose -5*w + 63 - 1 = 4*a, 2*a = 6. Let g be (-4)/w*(-30)/(-78). Is 1 less than g?
False
Let l = 1 + -1.2. Let k = 241/4 + -61. Let y = -1 - k. Which is greater: y or l?
l
Let z be 3/2*46/(-69). Let f be 2 + 122/(-32) + 2. Is f at least as big as z?
True
Let k be (-3)/(-4) + (-58)/56. Which is greater: k or 0?
0
Suppose -x - x = -430. Let t = -18/8005 + 12023636/56035. Let n = x - t. Which is smaller: 1 or n?
n
Suppose 0 = -103*a + 109*a - 168. Is a < 30?
True
Suppose 4 = -2*t + 4*s, -t + 10 = 5*s - 2. Suppose 2*j + t = 4*r, 2*j = 5 + 1. Which is smaller: 0 or r?
0
Let h = -1.18 + 0.18. Which is greater: 8/5 or h?
8/5
Suppose -4*y = 62 - 10. Does -12 = y?
False
Let a = 33/464 - 1/116. Which is smaller: 0 or a?
0
Suppose 0 = r + 5*z + 8, 6*z = -4*r + 2*z. Suppose 10 = -0*l + 5*l. Suppose -4*j - r - l = 0. Is -2/13 at most j?
False
Let n be 4*(-3 + 4 - 3). Let o be 3 - (0 + n/(-3)). Is o > 0?
True
Let f = -3 - -1. Let c = -0.3 + 0.4. Which is greater: f or c?
c
Let c = 674 - 436. Let h = 957/4 - c. Do h and 2 have the same value?
False
Let k(s) = s - 6. Let o be k(-6). Let h be o/(-2*6/8). Which is smaller: h or 2?
2
Suppose -6 + 1 = 5*k. Is 1/8 >= k?
True
Let w be 8 + 0 + 0 + 3. Is w bigger than 11?
False
Let u be (-12)/(3 - -1) - -3. Let o be 1/2*(-4)/(-15). Is u at most o?
True
Let n = -0.069 - 0.031. Which is bigger: -66 or n?
n
Let q be ((-2)/(-4))/(5/50). Suppose -q*b + 465 = 185. Let j = b - 279/5. Do 1 and j have the same value?
False
Let z = -1.4 + -8.6. Let x = -97 + 97. Which is smaller: x or z?
z
Let b = 3/4 + -13/12. Are -1/18 and b nonequal?
True
Let l be 4/16*(1 - -18 - -1). Which is smaller: l or 33/7?
33/7
Let t(f) = -f**3 - 5*f. Let u be t(0). Let y = 83/392 + 8/49. Is u smaller than y?
True
Let f(c) = -c**2 + 4*c + 7. Let n be f(5). Suppose -n*s = -s. Suppose s = q + q. Is q > -2?
True
Suppose 42 = -4*u + 18. Let i be (3/4)/((-1)/u). Are 5 and i non-equal?
True
Suppose 0*s - 12 = s. Let v be ((-2)/(-20))/(s/(-30)). Let y(f) = f**2 + 6*f + 5. Let j be y(-5). Which is smaller: v or j?
j
Let c be -5*1/(-6) + (-7)/21. Is 5 smaller than c?
False
Let k be 1 - -2 - (-80)/(-20). Which is greater: -3/22 or k?
-3/22
Let h = 5 + -2. Suppose -7*s = -h*s + 4. Let b = -229 + 228.8. Which is bigger: s or b?
b
Let j = -13.95 + 14. Let a = 0.05 - j. Is a less than -2/9?
False
Suppose 24 = 2*t + 4*s, -t - 5*s = -4*s - 9. Do t and 5 have the same value?
False
Suppose 2*v + 5*b = -20, 4*v = b - 17 - 23. Which is greater: v or -9?
-9
Let h = 9 + -8. Which is smaller: h or 4/3?
h
Let m be (-6469)/(-36) - (-4)/18. Let q = m - 180. Is q not equal to 1?
True
Let u be (-38)/(-12) - 24/6. Is -1 bigger than u?
False
Let g = -35.3 + 26.3. Let v = 0 - 0. Are v and g equal?
False
Let u be (-12)/(-9) + (-8)/(-12). Suppose 4*x + j - u = 0, 5*x - x + 2*j = 0. Which is smaller: x or 1/9?
1/9
Let y be (-14)/(-8) - 2/(-8). Is 2 greater than y?
False
Suppose 3*d - 2 - 1 = -3*k, 0 = 2*k. Which is smaller: 17/2 or d?
d
Let p be 148/16 - 9/(-6). Which is greater: p or 12?
12
Let r = -55 - -101. Which is bigger: r or 1?
r
Suppose -320 = -10*c + 8*c. Suppose 0*f + c = 5*f. Let p be -1 + (f/10)/4. Which is smaller: 1 or p?
p
Let g be -1*(2 - 1) - 0. Suppose -3*x + m = 4, 1 = -x + 3*m - 3. Is x <= g?
True
Let j(i) = i**2 + i. Let f be j(0). Suppose 4*n = o - 37, f*n = -3*o - 2*n + 97. Suppose -5*a + 3 = o. Is -6 at most as big as a?
True
Let f = 102 + -67. Suppose 4*h = -0*t + 3*t - f, -5*t + 10 = 3*h. Suppose -5*u + 4*u + 14 = -t*v, -11 = 5*u + 2*v. Which is smaller: u or 0?
u
Let g be (-4)/(-14) + (-4)/14. Do g and 1/3 have different values?
True
Suppose -3*o + x + 17 = 0, 14 = o - 2*x - 0*x. Suppose 12 = -0*l + o*l. Is 4 >= l?
True
Let z = -3.966 - -4. Let o = 5.666 + z. Let d = 6 - o. Which is smaller: d or 2?
d
Let u be 46/3*(0 + 3). Let g be 1/(-4) + 92/(-2). Let k = g + u. Which is smaller: k or -1?
-1
Let j(h) = -2*h + 8. Let b be j(6). Let i = b + 4. Which is greater: i or -1?
i
Suppose -4 = -4*j - 4*y, 2*j - y = y - 10. Which is bigger: -5 or j?
j
Let v = 0.5 + 0.3. Let g = v - 0.84. Is 0.2 >= g?
True
Let o = -273 - -1908/7. Suppose 10*x = 5*x - 5. Which is bigger: o or x?
o
Suppose 4*m - 2*m - 6 = 0. Let j be m/(-9)*(2 + 1). Let d = 9 + -46/5. Which is bigger: d or j?
d
Let k(u) = u**3 - 10*u**2 + 6*u + 1. Suppose -7*o + 18 = -5*o. Let h be k(o). Which is smaller: -25 or h?
h
Let f be 836/(-40) - 1/2. Let p = f + 21. Let l = 5 - 3. Which is greater: p or l?
l
Suppose 0 = -2*m + 3 - 1. Which is bigger: m or 2?
2
Let d = 101.9 - 109. Do -1/2 and d have different values?
True
Let b = -8 - -12. Let x(o) = -o**2 + 5*o + 2. Let l be x(b). Let d = 9 - l. Which is smaller: d or 2?
2
Let a = 12 + -6. Let n = 5.94 - a. Let l be 4 - (3 + 18/14). Is n not equal to l?
True
Let h = -0.159 + 115.159. Is h smaller than -1/4?
False
Let v(i) = 3*i**2 - i. Let p be v(1). Let j be 0/((p + -6)/2). Suppose -g - 11 + 0 = -2*t, t - 4 = j. Is -3 less than or equal to g?
True
Let s = -7 - -5. Let p be (s - 1) + (-46)/(-16). Let u(b) = b**2 + 7*b + 6. Let t be u(-6). Is p smaller than t?
True
Suppose 3 + 2 = c, -4*m + c = -3. Which is greater: m or 2/3?
m
Let c(a) = -a**2 + 47. Let m be c(0). Suppose 4*z - 44 = 4*o, 0*o - m = -3*z - 4*o. Let i = -8 + z. Is 4 less than i?
True
Suppose -l - 2 = -2*g, 2*g = -l + 3 - 1. Suppose 0 = -3*n - 3*c - 24, 5*c + 2 = -3. Let x be 3 + -4 + (-8)/n. Does x = g?
False
Let d be (14/(-4))/(-1 - 1). Suppose -8*h - 1083 = -1091. Which is greater: h or d?
d
Let t = 321647841/377 - 853179. Let w = t + 36/29. Which is smaller: 0 or w?
w
Let x = 3.8 + 1.2. Let k = -2 + 5. Let g = x - k. Which is greater: -0.1 or g?
g
Let h = 18795/2788 + 6/697. Let w = -139/20 + h. Is w at least as big as 1?
False
Let y = 1.4 + -1.23. Let v = y - -0.03. Is 4 less than v?
False
Let z(n) = n**3 - 2*n**2 - n - 4. Let m be z(3). Let c be (m/5)/((-28)/(-20)). Which is smaller: c or 1?
c
Let q be 0/(-3)*4/8*2. Let b be (-12)/16*4/6. Which is bigger: b or q?
q
Let h be (-64)/78 + (-3)/18*-4. Are -1 and h equal?
False
Let v be (9/(-6))/(3/(-20)). Suppose -g = 4*g - v. Let n(h) = h**3 + 6*h**2 + 5*h + 3. Let l be n(-5). Which is greater: g or l?
l
Let z be (6/9)/(16/(-24)). Which is greater: z or 2/695?
2/695
Let h(c) = -c - 4 - 4 + 0. Let o be h(-7). Let y be (3/3 + -1)/o. Is y greater than -2?
True
Let o = 91 + -91. Which is greater: 33 or o?
33
Suppose -3*i - 4 = -1. Is i smaller than 0?
True
Suppose -2*a - 5 + 1 = 0. Let c = 2479/5 - 498. Which is smaller: a or c?
c
Let f(x) = -x - 8. Let y be f(-6). Let r = -3.7 + 2.7. Is y less than or equal to r?
True
Let p(r) = -2*r + 1. Let n be p(-1). Let g be 2*n/(-4 - 2). Is -2/27 greater than g?
True
Let i = -2.1 + -0.9. Let c = -3 - i. Is -0.1 > c?
False
Let c = 64 - 109. Let f be (-40)/c*(-3)/(-20). Which is smaller: f or 0?
0
Let m = -13 - -15. Suppose 10 = -2*g, 5*y + 12 = -3*g + m. Which is smaller: 2 or y?
y
Let b be (-1)/2*-2 - -1. Suppose b*h = 7*h. Let r = -11/30 + 1/6. Is h less than or equal to r?
False
Let s = -72 - -71. Is 1/84 equal to s?
False
Let n(x) = -6 + 0*x + 2*x - 5*x + 4*x. Let d be n(7). Is d at most 3/8?
False
Suppose 0 = -6*k + 4*k. Suppose 4*u = -8, -8 = 4*v - 0*u + 2*u. Is v at least k?
False
Let d be 1/((-2)/6 - 0). Let l(t) = -2*t**2 + 9*t + 3. Let s be l(5). Let y be d/s - 3/2. Is 0 greater than y?
False
Let j = 0.5 - 2.5. Let z be 108/26 - 2/13. Suppose -4*t = 3*w - 4*w + 4, -z*w - 3*t - 3 = 0. Is w > j?
True
