362/119 - 42/17. Are n and 1/127 non-equal?
True
Let w be (-75)/(-7) - 22/(-77). Let v be w/28 + 2/(-8). Suppose 0 = -4*p + 7 - 3. Which is greater: p or v?
p
Let l be (9/15 - -1)*(-10 - -25). Which is greater: l or 32?
32
Let f(u) = u**2 + 2*u + 4. Let i be f(-2). Suppose 3*q + i*a = 4 + 1, -3*a - 15 = -4*q. Is 5 equal to q?
False
Let s be (16/10)/((-2)/(-5)). Suppose -3*h + b = -2*h - s, 0 = -2*h - 5*b + 1. Suppose 6*f = h*f. Which is smaller: 0.2 or f?
f
Suppose 4*o + 2*x - 10 = 2*o, 4*o - 26 = 2*x. Suppose v + 5*v = o. Let m = 8 + -6. Which is smaller: v or m?
v
Suppose 4*i + 3*t - 1 = 5, -4*i - 2*t + 8 = 0. Suppose l + i*l = -4. Is -0.08 equal to l?
False
Suppose -73*z + 42*z = -64 + 95. Suppose 0 = -5*q + 9 + 1. Let f be (2/(-85))/(q/(-20)). Which is smaller: f or z?
z
Let a(b) = -2*b - 37. Let c be a(-19). Let m = c + -7. Which is smaller: m or -8?
-8
Let k = -56 - -40. Let d be 0/(1 - 5) - k. Suppose 0 = 11*h - d*h. Is 0 > h?
False
Let i be (-30041)/6270 - 8/(-2). Let q = 4/95 - i. Is q greater than or equal to 0?
True
Let o(v) = -v + 5. Let i be o(-8). Suppose -x + i = 8. Suppose 5*h + 0 = x. Is 0 less than h?
True
Let c be (9 - 0) + -1 + -3. Suppose -4*h - c*h - 162 = 0. Let s = -35/2 - h. Which is smaller: -1 or s?
-1
Let s = -899 - -906. Which is smaller: 53/8 or s?
53/8
Let i(a) = -a**3 - 6*a**2 - 6*a - 3. Let v be i(-5). Suppose -v*u + 2 = -u. Suppose -2*s + 0 = u. Is 1/5 < s?
False
Let m be (3/18)/(2/3). Let a = -26.2024 - -0.1724. Let b = 26 + a. Which is smaller: m or b?
b
Suppose -a + 8*p - 4*p - 2156 = 0, -p = -4*a - 8684. Let j = 41277/19 + a. Which is smaller: j or 0?
0
Let n be (29/(-87))/(2 - 1131/570). Which is smaller: -20 or n?
n
Let o = 4 - -28. Let k = 38.8 - o. Let q = 7 - k. Is -3 at most as big as q?
True
Let n = -21 - -31. Let g be (-2 + 1)/((-1)/7). Let f(d) = 2*d - 6. Let w be f(g). Which is greater: w or n?
n
Suppose 5*t - 2*i - 24 = -11, 2*i + 7 = -t. Which is bigger: t or -3/275?
t
Suppose 3*n - 21 = -3*a, 0 = a - 3*a - 3*n + 18. Suppose 51 = -4*f + 3*d, -2*f + 4*d - a = -f. Let b = -13 - f. Which is smaller: b or 0.1?
0.1
Let c = 157/12 + -13. Let i = c + -29/60. Let m = -245 + 246. Which is bigger: i or m?
m
Let c = 15624/5 - 3138. Let w = -13 - c. Let o = 21 - 20. Which is smaller: w or o?
w
Suppose -33*h = 31*h + 36608. Which is bigger: -573 or h?
h
Let l = -2.5 - -0.1. Let b = l + 0.4. Which is smaller: 1.3 or b?
b
Let w = 74.79 + -1.79. Let p = -69 + w. Which is smaller: p or 0?
0
Let p be -4*-6*8/(-4). Suppose 3*o - 2*l - l - 84 = 0, 5*o + 5*l - 190 = 0. Let n = o + p. Which is greater: n or -16?
n
Suppose -2*f = 3866 - 3064. Do -401 and f have different values?
False
Let g = 31 + -24. Suppose -3*h + 3*x + 127 = -20, 5*h - 245 = 3*x. Suppose 5*r + 0*t + t = h, -r = 2*t - 17. Is r less than or equal to g?
False
Let q = 21 + -8. Suppose -11*u = -q*u. Suppose -9 = -2*x + t + 5, 3*x - t - 20 = u. Is x bigger than 6?
False
Suppose 0 = -4*i - 2*o + 42, -3*o - 8 = -5*i + 28. Let m be i/6*(-44)/(-6). Let r = -3 + m. Which is smaller: r or 7?
7
Suppose 12*k = 18*k - 6. Is -6/61 <= k?
True
Let p = -23/6 + 13/2. Let q = 1728 + -1727. Is q at least p?
False
Let w(o) = 2*o - 2. Let s be w(5). Suppose -y - 5 = -s. Suppose -y*f + 7 - 10 = 0. Which is smaller: f or 3?
f
Suppose -59 + 50 = 9*q. Which is smaller: q or 2/33?
q
Let i = -1/49 + -36/637. Suppose -s - 53 - 2 = 5*g, 0 = -g - 2*s - 20. Let r be ((-2)/8)/(g/(-16)). Is i >= r?
True
Let q = -226 + 210. Which is greater: -17 or q?
q
Let i(f) = f**2 - 3*f - 5. Let h be i(5). Let d(v) = -3 - 6*v - 11 + 9*v. Let y be d(h). Is y > 1/13?
True
Let c be (3 - (-108)/(-16))/(2/8). Let b(g) = g**2 + 11*g - 47. Let o be b(c). Which is bigger: o or 2/5?
o
Let j = 23266 - 69037/3. Is j < 255?
True
Let m = -21 + 25. Let d be -3*2/12*m. Which is smaller: -8 or d?
-8
Suppose 4*y - 94 - 158 = 0. Which is smaller: y or 64?
y
Let u be (-5585 - -13)/(0 - 62/18). Let d = u - 1618. Is d at least 0?
False
Suppose 0 = -3*j + 3112 + 3554. Let f = 86663/39 - j. Does f = -1?
False
Let p be -8 + (-24)/(-234)*75. Which is greater: -6 or p?
p
Suppose 11*y - 15*y = -8. Which is bigger: 4/7 or y?
y
Suppose -3*w = -w - 3*w. Which is bigger: w or 105?
105
Let p be (4 - 2 - 2) + 4. Let v be ((-2)/p)/(2/(-8)). Suppose 0 = -5*a - v*a + 77. Are 12 and a non-equal?
True
Let v = 63 + -53. Let n be (-13 - -1)/(15/v). Is -7 bigger than n?
True
Suppose -2*a - 42 = w + 3*w, 2*w - 129 = 5*a. Let m = a + 41. Which is smaller: -2/9 or m?
-2/9
Let m(v) = -4*v - 3. Let t(i) = 3*i + 2. Let h(s) = 2*m(s) + 3*t(s). Let x be h(-2). Let a = 3 - x. Is a <= 6?
True
Let u be 4/(-16) + (4 - (-321)/(-28)). Do u and -8 have the same value?
False
Let t be (6/4)/(7/42). Let k(g) = g**3 - 8*g**2 - 8*g - 12. Let p be k(t). Let d be (33/(-27))/((-1)/p). Is -4 greater than d?
False
Let r be (-5 + 148 + (3 - 1))*-1. Are -145 and r equal?
True
Let d(r) = 3*r**3 + 3*r**2 + 4*r + 12. Let k be d(-3). Which is greater: -1 or k?
-1
Suppose 10*v - 11*v = -255. Let c = v + -3319/13. Does 0 = c?
False
Let u = -11414279/1473 + 7749. Which is smaller: -1 or u?
-1
Let c be (-1 + (-141)/9)*-3. Suppose -582*u - 561 = -593*u. Is c < u?
True
Let d = -74 + 151/2. Let k be 14 - 5 - 4 - 2. Is d bigger than k?
False
Let g = -267 - -175. Let b be (-1)/5 + g/(-10). Let q be (0 - -11 - -2) + -2. Is b less than q?
True
Suppose -20*h + 43 = -237. Is h smaller than 14?
False
Let d(q) = q**2 + 5*q - 1. Let z be (-12 + 11)*5*1. Let o be d(z). Let w be (-3)/(o - 2) + -10. Are w and -8 non-equal?
True
Suppose 4*j = 3*j - 2*j. Let y be (j + 2/(-9))*3. Do 0 and y have the same value?
False
Let y be -1 + -54 + 0*(-9)/(-18). Which is bigger: -337/6 or y?
y
Let l = -164.3 + 127. Let s = l - -38. Which is greater: -1/3 or s?
s
Let p = 37.7 + -5.7. Let l = p - 47. Which is bigger: 4 or l?
4
Suppose -7*j + 1727 = 166. Is 223 smaller than j?
False
Suppose -2*u - 96 = 2*u. Is -21 at least as big as u?
True
Let v = 8 + -4. Suppose v = -2*x - 3*t - t, -2*t - 6 = 0. Which is bigger: -1 or x?
x
Let y = -7 - -8. Let g = 0.9 - y. Let k be 4*(1 + (-1)/(-4)). Are k and g equal?
False
Let i(w) = -34*w - 78. Let s be i(7). Which is bigger: -315 or s?
-315
Let b be (-4)/6 + (-10)/(-6). Let g(n) = 4*n - 2. Let s be g(b). Suppose 16 = -5*m - 4*y, 0 = m + 2*y + 10 - s. Which is bigger: -4/9 or m?
m
Let r = -516/133 + 52/19. Let k = -3638 + 3639. Which is smaller: k or r?
r
Let i be 0*10/390*13. Let k be ((-1)/(22/3))/3. Which is smaller: k or i?
k
Let w = -12/77 + 2311/15323. Which is smaller: -1 or w?
-1
Let r be (8/(-12) - 0)*(-12)/364. Suppose 2*i + 1 = i. Are i and r nonequal?
True
Let m be (-4)/(-8) - -414*193/(-2350). Let v = 1/1175 + m. Which is greater: v or -35?
v
Let v be (-3 - -1) + 2 + 1. Suppose 0 = 2*h - 0*m + 5*m + 28, -5*h = 4*m + 36. Which is bigger: v or h?
v
Let g be (-1)/2 - 272/(-1). Let d = -266 + g. Let a = -181 - -187. Is d < a?
True
Suppose 5*u - 2 = 18. Suppose -u*t + 334 = 3058. Let i = -7485/11 - t. Which is smaller: 2 or i?
i
Suppose 2*s = -2*s + 40. Let l = -13 + s. Let o be -12 + 2 + 0 - l. Is o less than or equal to -7?
True
Let q = 568 + -568. Let x be (1/2 + -2)/(-54). Which is greater: q or x?
x
Let z = -57 + 88. Let s be 0/4*(-3)/(-12). Which is greater: z or s?
z
Let z be (0 - -1) + (-1830)/2398. Let y be ((-16)/24)/((-109)/(-9)). Let d = y + z. Is d greater than or equal to -1?
True
Let j(z) = -z**2 + 4*z**2 + 1 + 1 - 2*z. Let o be j(1). Let a be (-2 - 0)/(8 - o). Which is smaller: 1 or a?
a
Let n(y) = -y**2 - 9*y - 16. Let m be n(-8). Let a be (-13)/(-11) + m/44. Is a <= -6/25?
False
Suppose 0 = 3*o + o - 20. Suppose -o*g = -7*g. Let c be (12 - 9) + 37/(-13). Does g = c?
False
Let a = 3.0629 + 0.0331. Let t = -0.096 + a. Which is smaller: t or 2/21?
2/21
Let q be ((-2)/(-6))/(4/48). Suppose -5*m + 3*x - q*x + 13 = 0, 5 = 3*m + 2*x. Let k = -398 + 403. Is m != k?
True
Suppose -7*l - 35 = -2*l. Let m = -233/2 + 110. Let n = l - m. Is n > -1?
True
Let b be ((-45)/(-770))/(30/(-7)). Do 0 and b have the same value?
False
Suppose 0 = -2*w - 4*z - 314, 5*z = -w - 53 - 119. Is w greater than or equal to -147?
True
Suppose 3*o = -4*d + 151, 186 + 5 = 5*d + 3*o. Is 40 equal to d?
True
Let y = 125 - -30. Which is greater: y or 153?
y
Let h = -66.12