 equal?
False
Let a = 75.9 - 76. Let z = 1 + -0.82. Which is smaller: z or a?
a
Let q = -44 + 9. Let r be (-4)/14 - (-60)/q. Let j = -667/445 + -9/89. Which is greater: j or r?
j
Suppose -1571 = 7*s - 1389. Do s and -374/15 have different values?
True
Suppose 0 = c - y + 175, y + 3*y = -20. Let d be 3/12 + ((-123)/c - 1). Which is smaller: -1 or d?
-1
Let v = -8 - 6. Let h = 1116 + -1128. Which is smaller: v or h?
v
Let u = -24 + 24.2. Let v = -0.1 + u. Which is greater: 0.07 or v?
v
Suppose -3*p + 5*y + 15 = 0, 3*p + 3*y - 4*y - 3 = 0. Suppose 4*m + j = p, -m - 3*j + 0 = -11. Which is smaller: m or -2/93?
m
Let w be ((-108)/(-93))/(-1) + 1. Let i = w + 146/713. Let t = -45 + 45. Which is smaller: t or i?
t
Let m(q) = 3*q + 13. Let s be m(-11). Let x be s/80 + (-19)/4. Is x smaller than -4?
True
Suppose 0*u = -u + 2. Let g be (-6)/(0 - -1) + u. Let b = 8 + g. Is 5/2 smaller than b?
True
Suppose 0 = 5*o + 5*b - 8*b - 4451, b + 3565 = 4*o. Which is smaller: o or 1?
1
Let d be 12/18 - 556/(-12). Which is smaller: d or 48?
d
Let m = 186 + -69. Which is smaller: m or -0.1?
-0.1
Let d be -1 + -65 - (2 + 1 + -6). Is d at most as big as -61?
True
Let r(n) = n**2 + 3*n - 7. Let t(z) = -z**2 + z - 1. Let m(u) = -r(u) - 4*t(u). Let x be m(8). Suppose -8*w = -27 + x. Does w = -14?
False
Let w = -213 - -277. Is 62 equal to w?
False
Let o be (-2)/((-10)/(-3)) - 4743/(-105). Which is smaller: 44 or o?
44
Let l be (14/105)/((-4)/20). Let g = -4 - -13. Which is smaller: g or l?
l
Suppose 5*x = 4*x. Let g be (4 + -1)/(x + 1). Suppose -h - 24 = -4*p - 9, -g*h - 5*p = -40. Does h = 5?
True
Suppose -62*j + 44*j = 16236. Is -901 greater than or equal to j?
True
Let o be 4464/155*(-3)/60. Which is bigger: -1 or o?
-1
Let q = -7 + 12. Suppose 0 = 4*t + 4*a - 4, -4*t = 3*a - q + 1. Let y = -5/2 + 9/4. Is y less than or equal to t?
True
Let i = 2.8 + 0.2. Let k = 0.801 + -1.201. Is i > k?
True
Let h = 4 + 0. Suppose -h*k + 60 = -2*k. Suppose t + k = -4*t. Is -4 less than or equal to t?
False
Let k = -48 - -24. Let f be ((-2)/75)/((-8)/k). Which is greater: f or -1?
f
Let t be -4 + 8/(-4) + 4. Let l be (515/5)/(8/2). Let h = l + -507/20. Which is smaller: h or t?
t
Let q be 14/3*(-6)/(-32). Suppose -114*g = -119*g. Which is bigger: g or q?
q
Let j = -2.2 + 2. Is j greater than or equal to 65?
False
Suppose 0 = 7*d + 483 - 420. Which is greater: -68/9 or d?
-68/9
Let k(w) = -2*w**3 + 11*w**2 + 3*w + 7. Let f be k(6). Which is greater: f or 7?
7
Suppose 0 = 6*y - 3*y - 633. Suppose -4*x - 205 = -k, -x - 3*x - k - y = 0. Is x at least -52?
True
Suppose -3*r = q - 15, -r + 6*q - 4*q + 5 = 0. Let x be r - 3 - (-4)/(-5). Do 0 and x have different values?
True
Let q be (-4)/2*(-3)/1. Suppose q*m - 5 = m. Do m and -4 have the same value?
False
Let t be (12/21)/(7 - 23155/3311). Which is smaller: t or 90?
t
Let c(h) be the third derivative of -1/24*h**4 + 0*h - h**2 + 0 - 2/3*h**3. Let s be c(-4). Which is bigger: -3/8 or s?
s
Suppose 24 = 286*m - 288*m. Is -153/14 < m?
False
Let z = -151 + 172. Let l = z - 24. Is l > -3?
False
Let v = 266 - 259. Let q be 3/1 + 2 + -3. Suppose 6*f = q*f + 32. Which is smaller: v or f?
v
Let a be (-6)/190 + (-3 - (1 + -4)). Which is smaller: a or 1?
a
Let c = -50 + 49.35. Let b = c + 0.84. Is 0 at most as big as b?
True
Let x(o) be the third derivative of 0 + o**3 + 1/24*o**4 + 0*o - o**2. Let f be x(-7). Which is smaller: f or -2?
-2
Let d = 56 - 58. Let j = 0.52 - 2.62. Let l = d - j. Which is smaller: l or -2?
-2
Suppose 4*u = -4*f - 1 - 31, 2*u = -f - 21. Let z be 24/(-156) - 483/u. Let c = -29 + z. Is 7 bigger than c?
False
Suppose n - 3*b = 6, -b + 0*b = -2*n + 2. Let t = -896 - -4482/5. Are n and t non-equal?
True
Let u = 0.0441 - -2.9559. Is 30 >= u?
True
Let d = 196 + -179. Let f(o) = o**2 - 12*o + 12. Let g be f(11). Which is smaller: d or g?
g
Let n = -29.1 + 22.7. Which is bigger: n or -2?
-2
Let k be (204/18)/(2/6). Let j = k + -32. Suppose j*p = 45 - 57. Which is smaller: -3 or p?
p
Let y = -68 - -65. Which is smaller: 1 or y?
y
Let r(h) = -h**2 - 4*h. Let s be r(-3). Let f be (9/9)/2*-2. Is s greater than f?
True
Let g = 0.2578 - 0.7278. Is -4 at most g?
True
Suppose 3*j = 2*j - 1. Let f be j - 3 - (-3 - -11). Is -12 < f?
False
Let m = -13 + 19. Suppose 5*l = 4*l + m. Let y be (10 + -2)/2 - l. Which is smaller: y or -6?
-6
Suppose 5*p = -2*k - 5, 3*k - 5*p - 27 = -p. Suppose 5 = -5*l + j + 1, 3*l + k*j = 20. Let w = 2 - l. Is 8/7 bigger than w?
False
Suppose 0 = 3*m + 1 - 16. Suppose -28 = -o + 13. Suppose 3*b + 0*b + 4*r = o, m*r = 2*b + 11. Which is smaller: 5 or b?
5
Suppose 0 = -i + 5*r - 48, 352 = -5*i - 7*r + 4*r. Which is bigger: i or -65?
-65
Let o = 4 - 6. Let w be ((o - -4) + -15)*1. Let p be 75/(-225) - (-74)/(-6) - (-2)/3. Which is greater: p or w?
p
Suppose 3*h = 2*h + 1, -3 = 5*i - 3*h. Suppose -23 = v + 4*v - 2*u, -3*v - 4*u + 7 = i. Are v and -14/5 equal?
False
Suppose -3*l - 167 = -701. Suppose -l - 38 = -3*n. Let b be 2/(-12) + (-564)/n. Which is smaller: 1 or b?
b
Let u be (-196)/504*93/21. Do u and -3 have the same value?
False
Let n = 116 + -50. Suppose -4*c + 64 = 4*v, 0*v - 2*v = 4*c - n. Suppose 16*x - 466 = -194. Are x and c equal?
True
Let r(p) = -p**2 + 12*p - 22. Let z be r(9). Let t(q) = -q**2 + 9*q + 4. Let x be t(z). Is 25 at least as big as x?
True
Suppose 6*k - k - 380 = 0. Suppose 19 = 5*b - k. Is b less than or equal to 19?
True
Let b = 0.1 - 0.3. Let m(l) = l**2 - l - 2. Let a be m(-1). Suppose 0 = -2*u - a*u + 5*f + 24, -6 = 3*u + 3*f. Which is bigger: b or u?
u
Suppose t + 3*h - 29 = 0, -3*t = h + h - 80. Let o = 25 - t. Which is smaller: o or -2/19?
o
Let n = -602.9 - -603. Which is greater: -332 or n?
n
Let u be (75/10 + -6)*4/134. Which is bigger: u or 1?
1
Let o = 4489/7 - 646. Suppose -3*v - 16 = 2*j, 0*j + 4*j = -4*v - 20. Which is smaller: o or v?
v
Suppose -3*s + 62 = -5*s + 4*y, 2*s + 2*y + 74 = 0. Does -35 = s?
True
Let c be (3*1/18)/(-1). Let b = 2 + -1. Let p be (0 + 1)/((-1)/b). Is c >= p?
True
Let r = 681 - 743. Do -62 and r have the same value?
True
Let j be (1/2)/(2/(-8)). Let q(l) be the third derivative of -l**4/4 + 19*l**3/6 - 15*l**2. Let n be q(4). Do n and j have different values?
True
Let o = 17 - 13. Suppose 9*q - o*q = 0. Which is smaller: q or -2/27?
-2/27
Suppose 157 - 22 = 3*d. Suppose -4*g = -3*u + 604, -3*u - 2*u + 4*g = -1012. Let y be (-2)/(-10) - u/d. Is y smaller than -3?
True
Let p(c) = -6*c - 3. Let n be -2 - 7 - (-2 + -1). Let t be p(n). Let a be (2/3)/(22/t). Which is greater: -3/8 or a?
a
Let g(l) = -10*l**2 + 7*l + 25. Let w(h) = 5*h**2 - 4*h - 13. Let f(s) = -6*g(s) - 11*w(s). Let v be f(2). Which is bigger: v or 20?
20
Let x = -45 + -103. Is 0.3 <= x?
False
Let b = -7.3 + 5.3. Is b bigger than 0.51?
False
Suppose 4513 = 12*g - 2783. Which is greater: g or 606?
g
Let w(y) = -2*y**2 - 3*y - 4. Let a(g) = g**2 + g + 1. Let p(b) = 3*a(b) + w(b). Let m be (-3)/5 - (-18)/(-45). Let q be p(m). Is q > -1/19?
True
Let l be ((-1)/274*-4)/(-1). Let r(k) = -k**3 + 141*k**2 + 184*k - 5963. Let m be r(142). Which is greater: l or m?
m
Let i = -1169 - -1182. Which is smaller: -22 or i?
-22
Let b be (2 + 5760/(-2886))*1/4. Which is smaller: b or 1?
b
Suppose -48 = -32*k + 31*k. Let h = k + -111. Is h less than -63?
False
Let p = 91/46 - -12/23. Suppose -2*t + 8 = -0*t. Do p and t have the same value?
False
Let h(d) = 4*d**3 + 2*d**2 - 4*d + 2. Let c be h(2). Let l = c - 6. Let n be 8/l + (-2)/7. Is -2/9 greater than n?
False
Let p be 658/(-147)*3*2/4. Which is greater: p or -6?
-6
Let o = -854/31 + 12317/527. Which is greater: -4 or o?
-4
Let x(y) = 44*y**3 - 3*y**2 + 1. Suppose 0 = -2*p + 6 - 2. Let o be x(p). Let w be o/44 - (-1)/4. Which is greater: 9 or w?
9
Suppose -10*c + 160 = 30*c. Which is bigger: 0.7 or c?
c
Let h = 0.3 + -0.2. Suppose -3*p + 66 = -3*f - 42, -123 = 3*f + 2*p. Let o = f - -58. Which is bigger: h or o?
o
Suppose 3*f = -u - 39, 2*u + 0*f + 38 = 2*f. Let c be 0 + (220/u)/11. Is -1 greater than c?
False
Let a be 28/8*(-40)/(-7). Let n = -19 + a. Let h be (n - 0)/((-11)/(-44)). Is h less than 6?
True
Let p = 694 - 1709. Let u be p/(-11) - 8/(-4). Let j = u - 94. Which is bigger: j or 1?
1
Let y be (1 - -2)*-3*(-4)/33. Let c(k) = k - 2. Let z b