 is bigger: 0 or j?
0
Let v = -3 + 5. Is -3 smaller than v?
True
Suppose 4*n = -0*n + 4. Suppose -8 = -5*g + g. Which is bigger: g or n?
g
Let w = 8.11 - 8. Let p = -0.41 + w. Is -2/5 at least p?
False
Let c be 2 + 1 + (-33)/15. Suppose 4*s = -3*h + 7 - 3, 3*h = 3*s - 3. Is c >= s?
False
Let a be (2 + 0)*(-20)/8. Which is greater: -1 or a?
-1
Suppose -3*w + 0*w = -54. Suppose k - 4*k = -w. Is 6 greater than or equal to k?
True
Let q be 1 - (0 + (-4257)/(-30)). Let n = q - -141. Which is smaller: n or 0?
0
Let m(n) = n**2 + n + 1. Let g be m(-1). Are g and -2/29 equal?
False
Let v = -54 + 917/17. Suppose -2*k = 2*t + k + 12, -t + 12 = -3*k. Which is smaller: v or t?
v
Suppose -12 = -z - 5. Suppose 4*k = z*k + 33. Which is bigger: -10 or k?
-10
Let x = -44 - -13. Do -30 and x have different values?
True
Let h be (-4)/2 - (2380/165)/(-7). Which is smaller: h or 4?
h
Let u = -8 - -5. Let v be -2 + (2 + u)*3. Let n be (-2)/5*v/(-3). Which is smaller: -2 or n?
-2
Let f = -1.9 - -1.7. Let x = 2.1 + -2. Let a = f + x. Do a and -2 have different values?
True
Suppose 0 = 5*s - 5 - 0. Let h = -8 + 5. Is s <= h?
False
Suppose v + 1 = -2. Let r = -290 + 1456/5. Let p = -23/15 + r. Is p not equal to v?
True
Let x = -351/28 + 53/4. Is x smaller than 0.1?
False
Let q be 8/40 + 111/(-5). Is q at most as big as -22?
True
Let n(j) = -j**3 - j**2 - 2*j - 3. Let g be n(-2). Let i(h) = h + 2. Let l be i(-4). Let v = l + g. Which is bigger: v or -1?
v
Let y = -16 - -23. Let c = y + -6.7. Is -0.2 bigger than c?
False
Let n be (3/(-39))/((-3 - 0)/(-30)). Which is smaller: 0 or n?
n
Let v = -20/7 + 3. Is v greater than -1?
True
Let t be (-8 - -2) + 0 + (4 - 1). Do -5/2 and t have the same value?
False
Let l = 3 + 0. Let o be l/(-11)*8/24. Are o and 1 unequal?
True
Let i = -6 + 8. Suppose -2*s - 6 = -2*h - 3*s, -4*s = -8. Is i < h?
False
Suppose 4*s = -4*q + 12, -1 + 7 = 4*s + 2*q. Suppose s = 3*h - 6*h + 21. Which is greater: 6 or h?
h
Let c = 91 + -62. Are 28 and c unequal?
True
Let o(b) = -b**2 - 7*b - 10. Let c be o(-6). Which is bigger: -2 or c?
-2
Suppose -4*b = -20, -4*b + 6 + 20 = -h. Let z be (-6)/(1*45/h). Is z at most as big as 1?
True
Let r = 12 - 4. Let y = r + -15. Are -1 and y unequal?
True
Suppose -9 = -3*l - 6. Is l <= 2?
True
Let g = -0.66 - 0.84. Which is smaller: g or -1?
g
Let h = 91 - 17. Let z = h + -17. Let q = z - 281/5. Which is smaller: q or 0?
0
Let s be (12/9)/((-2)/(-3)). Let l be (4 - 2)/(14/s). Which is greater: l or 3?
3
Let j = 24 + -37. Let z = j - -6. Are z and -7 non-equal?
False
Let i(l) be the second derivative of l**4/12 + 5*l**3/6 + l**2 + 4*l. Let a be i(-4). Suppose 0 = -0*v + 4*v + 4. Does v = a?
False
Let c(y) = -y**3 + 2*y**2 - 1. Let r be c(1). Suppose g - 3 + 2 = -3*u, r = -2*g - 10. Which is smaller: u or 3/5?
3/5
Suppose -f - 1 = -0*f + 3*j, 0 = -j + 3. Which is bigger: -9 or f?
-9
Let s = 26509/6840 - 1/1710. Let q = s - 241/56. Suppose 0*z - 2*z - 4*a - 2 = 0, 5*a = z + 1. Is q < z?
False
Let t = 18923/15 + -1261. Which is greater: 1 or t?
1
Let s be (55/(-870))/(1/3). Let n = 2/87 + s. Is -1 > n?
False
Let o = 379/6 + -63. Which is smaller: o or 1?
o
Suppose -2*m + 4*m = -d - 28, -5*d + 100 = -5*m. Is m <= -16?
True
Suppose -2*g = -10, j - 2*j + 4*g - 21 = 0. Let x = -11503/31 + 371. Which is smaller: x or j?
j
Let r be (-8)/6*(-9)/2. Suppose 0 = 2*t + 4*n - 5*n - 8, -n = -t + 4. Suppose -t*w + w = -r. Do w and 2 have different values?
False
Let y = 5 + 1. Suppose y*q - 1 = 5*q. Which is greater: 3/4 or q?
q
Let i = -9/142 - 681/2698. Which is smaller: 1 or i?
i
Suppose 7*i - 5*t + 25 = 2*i, 3*i - 25 = -5*t. Suppose -h = -i*h. Is h at most 1/7?
True
Let d = -166 - -161. Is 2 at most as big as d?
False
Suppose 0 = -0*b - b - 2*o - 7, b + 4*o + 15 = 0. Let y = -5 - -5. Which is smaller: y or b?
y
Let s be (-76)/6*60/88. Let o = s + 4063/473. Is o less than or equal to 1?
True
Let i = 814 - 5710/7. Suppose -2*h + 0*h - 2*f = 16, -h + 12 = -3*f. Which is greater: h or i?
i
Suppose 0 = -3*b - 2*b + 5. Let t be 0/6 + (-2)/b. Let y = 598/7 - 86. Which is smaller: t or y?
t
Let j = -7 + 10. Suppose 0 = 3*p - 3*h, -4*h + 16 = -0*h. Is p at least as big as j?
True
Let d be (-3)/((-9)/2)*6. Suppose z + z + 22 = -d*s, 3*s + 16 = -z. Are z and 2/53 equal?
False
Let a = -3044 + 477910/157. Which is greater: a or 0?
a
Suppose -4*p - 80 = -5*n, 4*n + 0*n + 44 = -4*p. Let b be p/(-35)*(-4)/6. Let v = -0.5 - -0.3. Is v at least b?
True
Suppose -5 = 5*l - 35. Suppose -5*i - l = -1. Which is smaller: i or -1/11?
i
Let c = 1.6 + -10.3. Do c and -0.2 have different values?
True
Let f = -11 + 9. Let r be ((-3)/(-9))/((-1)/3). Is r != f?
True
Let z(a) = a**3 + 13*a**2 - 30*a - 5. Let s be z(-15). Which is bigger: s or -14?
s
Suppose t = -2 - 10. Let x = -5 - t. Let g(y) = -y**2 + 8*y - 1. Let z be g(x). Which is smaller: 5 or z?
5
Let u = 34931/9 - 3885. Is u less than or equal to -3?
True
Let d = 0.1 + -0.09. Let s be (-6)/9*2/(-4). Which is smaller: d or s?
d
Let z(g) = g**3 + 0*g**2 - 6*g**2 + 2*g**2 - 3 + g. Let o be z(4). Let f be o + -1 + 2/2. Which is bigger: -1 or f?
f
Let i = -0.7 - -0.6. Which is greater: i or 14?
14
Suppose -4*g + 0*g - 2*p + 178 = 0, -2*p = g - 52. Is g greater than or equal to 42?
True
Let l = -940/7 - -134. Which is greater: l or 1?
1
Let v be (8/(-40))/(88/(-60)). Which is greater: -0.1 or v?
v
Let f = -116.1 - -121. Let y = -5 + f. Which is bigger: 0 or y?
0
Let t = -7 - -7.3. Let l = 3.3 - t. Let n = -2 + l. Is n != 4?
True
Let y(s) = -2*s**2 + 3*s + 3. Let z be y(3). Let u be z - -2 - (-448)/120. Is -1 at most as big as u?
True
Let p(y) = -y**2 + 9*y + 7. Let f be p(10). Let o be 2 - 3*f/(-4). Do 4 and o have the same value?
False
Let o be (0 - 3)*10/(-6). Let i = o + -8. Which is greater: -2 or i?
-2
Let t be (-216)/112 - 2*-1. Which is greater: t or 1?
1
Let p be 13/(-4) - 15/20. Which is smaller: p or -5/2?
p
Let k be 6*((-18)/(-21))/((-18)/28). Which is smaller: k or 1?
k
Suppose 0 = -3*c - 63 + 207. Let a be 11/(-66) - (-5)/c. Is a equal to 1?
False
Suppose 4*n + 0*n + 4*w = 4, -2*n - 3*w + 3 = 0. Suppose 12 = 3*o + o. Suppose -u = -o*u. Is n not equal to u?
False
Let x(f) = f**3 - 8*f**2 + 11*f + 7. Let q be x(5). Is -13 smaller than q?
False
Let g be 74/110 - 6/15. Which is bigger: 0 or g?
g
Let r = 4/117 + -601/468. Is -1 less than or equal to r?
False
Suppose -b = 2*b - 9, 2*s + 5*b = 21. Let a be 6/(-4)*(s - -1). Do -5 and a have different values?
True
Let k = -17 + 8. Let c be (k/(-30))/((-8)/(-10)). Which is bigger: 0 or c?
c
Suppose -14 = -v - 5. Let j = v - 35/4. Which is greater: j or 1?
1
Let c(k) = -3*k**2 - 5*k - 10. Let t be c(-9). Let r = -619/3 - t. Does 1 = r?
False
Let p be (68/(-22) + 3)/(2/4). Which is bigger: p or -1?
p
Suppose -3*k + 2 = -f, 3*f = 2*k + 5*f + 12. Let m(i) = -i. Let z be m(k). Let a = 41 - 122/3. Is a at most as big as z?
True
Let o = 8912/13 + -686. Let m = 8/39 - o. Suppose 0 = -p + 3 - 2. Is m less than or equal to p?
True
Let p = -0.09 + -0.08. Let x = p + -4.83. Which is bigger: x or -0.1?
-0.1
Let b = 0.1 - -3.9. Let n = 133 - 127. Let a = b - n. Are a and 2/5 equal?
False
Suppose 5 = 5*l - 5. Suppose 7*y - 90 = 2*y - 5*c, 12 = l*y - 4*c. Suppose 4*x + 15 + y = 5*z, -5*x + 5*z - 30 = 0. Which is smaller: x or 2/13?
x
Let g = -1 - -1. Let u be 1/(-3) + 1/3. Suppose -2*b - c + 1 = g, -5*b + c + u*c + 6 = 0. Is 0 at most b?
True
Suppose 4*t = z - 1 + 32, 0 = t - 4*z - 4. Let h = 5 - t. Let a be h - ((-117)/33)/1. Is a greater than or equal to 2?
False
Let k be 2 + 5/((-20)/9). Let x = 5 + -3. Suppose -m + 7 - 2 = x*c, m = 2*c + 1. Which is smaller: c or k?
k
Let s be (-44)/(-2816) - 2/4*0. Do s and 0 have the same value?
False
Let d = -0.7 - -0.6. Let k = 0.5 - 0.3. Is k not equal to d?
True
Suppose -11*o = -14*o. Which is smaller: -4/5 or o?
-4/5
Let s = 0.54 + 0.36. Is s at least 6?
False
Let z = -6.2 + 0.2. Let a = 6.01 + z. Let u = a + 0.09. Are u and -3 equal?
False
Let g be ((-1)/(-16))/(2/(-12)). Let y = -7 - -6. Do y and g have the same value?
False
Let n(b) = b**2 - 3*b - 11. Let h be n(5). Suppose 3*w = -3*y - 9, 0*w + y = w - 7. Suppose 1 = w*c + 3*t, 5 = -4*c - 5*t + 6. Is h != c?
False
Suppose 0 = 3*r + 4*k + 9 - 2, 5*r + k = 11. Suppose -2*c -