on-equal?
False
Let p = -13 - -18. Suppose -2*k - 48 = -p*k. Which is smaller: k or 15?
15
Let b = 23135/6 - 3839. Do b and 16 have different values?
True
Let c(n) = 9 - 10*n**2 - 17*n + n**3 + 0*n + 9 - 6*n**2. Let s be c(17). Which is smaller: 1 or s?
1
Let x = 3236 - 3237. Let g = -22 + 8. Let a be 2/(-3)*3/g. Which is bigger: a or x?
a
Let h = -101 - -101. Is 7 < h?
False
Let g = -0.27 + -0.03. Let o = g + -23.7. Let a = -32 - -65/2. Which is bigger: a or o?
a
Let b(r) = -r**3 - 7*r**2 + 7*r - 6. Let s be b(-8). Suppose -2 = -o, s*o + 0 = w + 13. Which is bigger: -10 or w?
w
Let l = -2.98 + 3. Let v = l - 0. Let t = 75.3 + -75.4. Which is bigger: v or t?
v
Let s = -4/71 + 367/213. Is s not equal to 3?
True
Let z be (-8505)/(-34244) + (7/4)/(-7). Which is smaller: 1 or z?
z
Suppose -o = -2*o + 1. Suppose -v - 78 = -c - 79, 5*c - 1 = 2*v. Does o = v?
False
Let a = 371056/184015 + -3/2831. Let c = -31/9 - -592/117. Let s = c - a. Which is bigger: 0 or s?
0
Suppose -2 = b + 1. Let n be (-73)/(b + (-138)/(-45)). Let t be 6/8*(-40)/n. Which is greater: t or 0?
t
Let n = -0.841 - -0.72. Are 2 and n nonequal?
True
Let s be 1*-3 - (143 + 90). Is -237 greater than s?
False
Suppose 3*h - 4 = -x, x + 7 = -h + 9. Are 4/17 and h non-equal?
True
Let z = 43/35 + 13/35. Which is bigger: 2 or z?
2
Let t = 46 + -45. Which is smaller: 11 or t?
t
Suppose 0 = -42*d + 50*d. Are d and 30/49 unequal?
True
Let o(n) = n**2 + 2*n - 5. Let f be o(-4). Suppose 0*h + h = 3*j - 6, 4*j = -f*h - 5. Let p = -18 - -96/5. Which is smaller: p or j?
j
Let b(q) = -q**3 + 4*q**2 + 4*q - 7. Suppose -5*i - 8 = -23. Let a be b(i). Is 15 bigger than a?
True
Let z = 744 - 360. Let h = z - 1914/5. Which is greater: h or 1/4?
h
Suppose 0 = -4*c - q + 79 + 34, -3*c + 61 = -4*q. Let g = c + -24. Do 13/3 and g have the same value?
False
Let o be (-12)/(-42)*7 + (-40)/13. Which is greater: -2 or o?
o
Suppose -251*w + 176 = -273*w. Are w and 5 unequal?
True
Suppose a + 33 = -4*t, 2*a - 4*a - 4*t = 70. Suppose -5*q = 0, 0 = 3*k - 6*q + q + 6. Is a equal to k?
False
Let h = -229 + 231.13. Is h greater than 1/3?
True
Let i(z) = -z + 13. Let h be i(11). Let q(y) = -5*y + 7. Let x be q(h). Which is bigger: x or -10/3?
x
Let z = 1434.3 - 1434. Are -279/7 and z nonequal?
True
Let o be 1 + -1 + (-35)/(-49). Let m = -6 + 3. Let w(t) = t**2 + 3*t + 1. Let a be w(m). Is a greater than o?
True
Suppose 5*w - 17*w = 276. Which is smaller: -73/3 or w?
-73/3
Suppose -4*o + 10978 = -a, -3*a + 8241 = 3*o - 0*o. Let v = o + -697231/254. Let c = v - -143/4064. Which is greater: 1 or c?
1
Suppose -2*h - 3*w + 65 = 2*w, 20 = 2*h - 4*w. Is 41/2 <= h?
False
Suppose -2*w - 3 = -3*w, 18 = 2*m + 2*w. Let h be 6/(-315)*m*5/2. Which is smaller: h or 67?
h
Suppose -m - 3*r = 2*m - 24, -5*m - 4*r = -42. Let y = 12 - m. Suppose -4*x = y*x. Is x greater than 1/7?
False
Let p = -32.661 - 7.339. Let b(y) = y**2 + y. Let m be b(-1). Is p < m?
True
Let y be (10 + 180/(-24))/((-5)/(-2)). Which is bigger: -4/757 or y?
y
Suppose -p = s + 738, 9*s - 8*s + 3*p = -732. Do -741 and s have the same value?
True
Let u = 280 + -281. Let q = -5.5 + 2.9. Let h = q + 15.6. Which is greater: u or h?
h
Let w be 6/9 - -10*(-78)/1008. Let o(h) = -h**3 + 14*h**2 - h + 13. Let r be o(14). Is r > w?
False
Let i be 0/(-2 - 2/1). Let f be (-5 + 0 - -4)*i. Which is smaller: f or -1/15?
-1/15
Suppose -2*z - f = -7, -3*z + 2*z = -3*f. Suppose -4*j + z + 5 = 0. Suppose -3*h - 4 = -j*h. Which is bigger: -3 or h?
-3
Suppose -7460 = 6*d + 4*d. Let y = 27600/37 + d. Let m(z) = -z**3 - 7*z**2 - 5*z + 7. Let p be m(-6). Which is greater: y or p?
p
Suppose 7*g - 35 = 12*g. Let q = -28 + g. Do -34 and q have the same value?
False
Suppose 0*s = 5*s - 825. Suppose 67 + s = 8*r. Is r <= 29?
True
Suppose -9*u + 8 = -7*u. Suppose -u*j + 3 - 7 = 0. Are j and 1.7 non-equal?
True
Let q(u) = u - 1. Let d be q(13). Let s be (-4)/(-18) - (-696)/27. Let y = -15 + s. Is d greater than or equal to y?
True
Let v be 1/(-2) + 385/(-14). Let l = 48 + v. Let f be (16/12)/(l/6). Is f smaller than 1?
True
Let z(n) = -n + 3. Let j be 2/6 + 30/(-9). Let o be z(j). Let c be (-195)/104*2/5. Which is smaller: o or c?
c
Suppose -b = 2*p + 7, -3*p + 5*p - 5*b = 23. Suppose 5*g - h - 5 = 0, 3*g - 4*h = 4*g - 22. Which is smaller: p or g?
p
Let r = 1001/6 + -166. Let k = 20 + -10. Suppose p - 5*a + k = 1, -10 = -5*a. Is r > p?
False
Suppose -1 = -a - b, -a + 4*a + 13 = 5*b. Suppose -h - 13 = 2*h - 4*j, h = -2*j - 1. Let s be (-6)/(-45) + h/(-315). Is a greater than s?
False
Let a = 3/10 - -51/10. Is a less than 5?
False
Let j = -10 - -24. Let a = 18 - j. Let u = 225/4 - 56. Is u at least a?
False
Let i = 18 - 22. Let o(r) = r**3 + 6*r**2 + 4*r - 8. Let a be o(i). Is a <= 6?
False
Let m be ((-420)/(-52) - 10) + 5/(-65). Does -54/67 = m?
False
Let v be (-189)/30 + ((-1)/(-2) - 0). Are -5 and v unequal?
True
Let z = -10 + 9. Suppose 462 + 498 = -5*m. Let f = 2110/11 + m. Is z less than f?
True
Let f(j) = -j - 9. Let n be f(-8). Let d be n/3*(1 + -9). Let y be ((-156)/(-30) - 6)*-8 - 6. Which is bigger: y or d?
d
Let k be (-4)/14 + (-47685)/1540. Is k greater than -0.1?
False
Let a be 2/(-9) + 4/18. Suppose -6 = 3*i - a*i. Let u be i/4 - (-4)/16. Is -1 < u?
True
Suppose -6*v + 83 = -13. Suppose 7*b = 156 - v. Let u = b - 21. Which is greater: u or -3?
u
Let o = -124.054 + 124. Let b = -0.146 + o. Is -5/2 < b?
True
Let m = 362/1077 - 1/359. Which is smaller: -1/5 or m?
-1/5
Let l be (-1)/2 + 117/(-204) + 1. Is l > -1?
True
Suppose -2 = -4*f + 3*f. Suppose -u - f = u. Let w be (((-15)/5)/(-3))/u. Which is smaller: w or -4/25?
w
Let a = 102.6 + -139.6. Is a bigger than -0.4?
False
Suppose 4*k + 144 = -8*k. Let s be 446/k + 18/108. Is s > -35?
False
Suppose q = -10 + 7, -t = q - 97. Let v = 613/6 - t. Which is bigger: 3 or v?
3
Suppose 14 = 4*g + p, -33*g + 32*g - 3*p + 9 = 0. Let d = -19 - -27. Suppose 4*u - 5 + 3 = 3*o, 2*u + d = -g*o. Is -2 bigger than u?
False
Let i = 2577 + -2574. Let h be (-2)/(-9) - (-556)/252. Are h and i equal?
False
Let c = 85.35 - 85. Let i = 0.28 - c. Is -0.3 equal to i?
False
Let a be 0/(-1) - (-4)/2. Suppose -7 = -3*y - 5*m + 10, 0 = y - 3*m - 1. Suppose -a*f + 3 = 3*q, -y*f - 1 = -q + f. Is -3/10 < q?
True
Suppose -o = 3*p + 9 - 22, -2*o = -p + 2. Is 84/17 > p?
True
Let x(c) = -c**3 - 13*c**2 - 5*c + 5. Let n be x(-15). Is 531 at least n?
True
Suppose 6*y - 72 = -3*y. Let k be ((-3)/9*2)/(y/(-36)). Are -2/7 and k equal?
False
Suppose -7*s + 36 = 1. Suppose -3*c = -s*q + 17, 2*q - 2 = c + 4. Do q and 7/9 have the same value?
False
Suppose -3*j + 5*f = 214, -3*j + 2*j - 66 = -3*f. Let g = j - -44. Which is greater: g or -35?
g
Suppose a = 3*q + 61, 4*q + a + 82 = 3*a. Let t = -12 - q. Let s be -10 + t + 2*2. Is 2/3 equal to s?
False
Let a be (-3)/(-12) - -2*(-33)/(-24). Suppose a*t = t - 8, -5*j + 5*t + 30 = 0. Is -3 at most j?
True
Suppose 0 = -5*v + l + 3*l + 53, 3 = l. Suppose -2*h + 3*b = -v, 0*h - 2*h = 4*b + 22. Let p = -3.01 + 3. Which is smaller: p or h?
h
Suppose -4*t = -t. Suppose 0*g = -2*g - d, 4*d + 16 = 0. Suppose 3 = -g*s - 0*z - z, -4*z - 12 = -s. Are t and s unequal?
False
Suppose 5*f - 82 - 58 = 0. Let m = -60 - -56. Let t be m/(1 + f/(-4)). Which is bigger: -0.3 or t?
t
Let w = -1368 + 1368.2. Are -11/10 and w non-equal?
True
Let u be (-3 + 4)/(3/(-12)). Let b be 891/21 - u/7. Let k = b - 35. Which is smaller: 7 or k?
7
Let k be -1*7 - (-295)/130*2. Is 1 at most k?
False
Let l(w) = w**3 - 7*w**2 - 2*w + 8. Let n be l(7). Let s(f) = f**3 + 5*f**2 - 5*f + 4. Let h be s(n). Let j be 0/(-1 - 0/h). Which is smaller: 2/9 or j?
j
Suppose -5*p + 8*p - 6 = 0. Let k(o) = -3*o + 6. Let j be k(p). Which is smaller: 3/52 or j?
j
Suppose -3*q + 3 = 6. Let m be 0/7 + (q - -2). Let b be (-1 + m)/(10 - 11). Is -3 bigger than b?
False
Let n be (((-38)/(-3))/1)/(60/(-90)). Let c = n - -17. Which is greater: -4 or c?
c
Let a = -126.123 + 0.123. Let j = -128.14 - a. Let f = j - -0.14. Which is smaller: f or 3?
f
Let l be (-27)/18*(2 + 44/(-24)). Is l smaller than -0.0232?
True
Suppose 5*s = 7 + 3. Suppose -3*l = -4*v, 0 = -0*v - s*v - 3*l. Is -2/111 less than v?
True
Let r = -42.7 - -49. Which is smaller: r or 6?
6
Let z = -0.756 + 0.698. Which is smaller: z or 2/15?