 + 21. Is f != 1?
True
Let a = 2632 + -1380. Let n = -1250.939 + a. Let o = -0.061 + n. Which is smaller: o or 91?
o
Suppose 2*g + 2*g - 5*g = 0. Let k be ((-4)/10 + g)*(-981)/4780. Let i = -1/478 + k. Which is bigger: 1 or i?
1
Let p be (6/4)/((-9)/192). Let z = 2792 - 2796. Which is smaller: z or p?
p
Let d be 12/4*186*(-120)/(-432). Let j = -214 - -370. Is d at least j?
False
Let n = 5459 - 5432. Let z be ((-20)/5)/(12/(-2)). Is z at least n?
False
Let p = 132.8 - 131.8. Which is smaller: -37.2 or p?
-37.2
Let c(a) = 2*a**3 + 6*a**2 + a + 4. Let l be c(-4). Let v = 102 + -99. Let s be (-1)/1 - 29 - v. Is l <= s?
False
Let c = -3238.01029 - -3238. Which is smaller: c or 1?
c
Let h = -7046 - -7038. Which is bigger: h or -103?
h
Let i = -26278.967 - -26317. Let a = i + -38. Which is greater: a or 1/4?
1/4
Let q = 4220 - 3860. Which is smaller: 362 or q?
q
Let m = -6717 + 6709. Is m equal to 1/34?
False
Let z(c) = c**3 - 30*c**2 - 35*c - 415. Let x be z(31). Is x less than -539?
False
Let j = -416 - -630. Let n = 145 - j. Is -70 at least as big as n?
False
Suppose -18*f - 12 = -20*f. Suppose 10*y - f*y + 11 = 3*x, -5*y + 3*x - 10 = 0. Which is smaller: 4/35 or y?
4/35
Let h be 1 + (-5 - 44/(-8)) - 819/14. Which is smaller: h or -642/11?
-642/11
Suppose 0 = -5*p - 2*d - 4314 - 2568, -d + 5490 = -4*p. Is p less than or equal to -1371?
True
Let z be -1 - -3 - 25/(-18)*-2. Let w = -0.095 + 0.295. Which is greater: z or w?
w
Let v be ((-9)/3)/(2/16). Let s = -12 - v. Suppose -s*m + 5 = -7*m. Which is smaller: m or -2?
-2
Suppose 1 + 2 = r, 3 = l + r. Suppose -3*f = 2*p - 27, -f + 16 = -l*f + 3*p. Let y be -2*(1 + -6) + (4 - f). Which is smaller: y or 6?
6
Let n = -155 + 158. Suppose 6*j = -5*z + 7*j + 9, z - n*j - 13 = 0. Which is smaller: z or 18/35?
18/35
Let w be 90/(-104) - (-425)/340. Let u = -38 - -39. Is u > w?
True
Suppose 0 = 2*f + 5*c - 99, 13*f + 4*c = 9*f + 192. Suppose -f*j + 42*j = 40. Is j greater than -13/2?
False
Let i be ((-24)/10)/(4 - (-172)/(-40)). Let g be (-38)/(-2 + 1)*1. Let q = i - g. Which is bigger: q or -29?
-29
Let f(s) = s**2 + 63*s + 248. Let x be f(-4). Does -73 = x?
False
Let f = -24307/10 + 14375/6. Which is greater: -35 or f?
f
Suppose 7*c + 8 = 15*c. Which is greater: c or -4/89?
c
Suppose 5*j + 4*t - 22 = 0, 15*j - 20*j + 4*t - 2 = 0. Let d be 6/6*j/4. Which is greater: 0.006 or d?
d
Suppose -10*r + 14*r + z = -1, 4*r + 3 = -3*z. Is 3/4132 greater than r?
True
Let b(m) = m**3 + 23*m**2 + 81*m + 9. Let x be b(-19). Let k be -34*((-7)/28)/((-1)/10). Which is smaller: k or x?
x
Let l be (-7)/((-112)/12) + (-3)/4. Let a(x) = -x**3 + x + 15. Let w be a(l). Let y be 6/(-4)*(-320)/w. Is 32 equal to y?
True
Suppose 41*a - 403 = 10*a. Let w be 694*(-5 + a)/16. Which is greater: w or 346?
w
Suppose 3*u - 2394 + 2400 = 0. Let h = -14 - -13.76. Which is greater: h or u?
h
Let x = -20.9 - -19.9. Is x at most as big as 0.248?
True
Let a = -2.64 + 2.75. Is a at most 170?
True
Let o be (3/(-50))/(15/(-20)). Let h = -1384983/100 - -13850. Let z = h + o. Which is smaller: z or 0.8?
z
Let k(q) = 137*q**3 + 3*q + 2. Let y be k(-1). Let s = y - -1456/11. Is -6 smaller than s?
True
Let a = 973.8 + -973. Let u = -19 - -23. Which is bigger: u or a?
u
Let i = 12936.6606 - 12937. Are -0.1 and i nonequal?
True
Let p = 368929/828 + -10356/23. Which is greater: p or -4?
-4
Suppose 4 = 2*h, 3*h - 6 = -x + 5. Suppose x*j = -f + 38, -f + 0*j + 30 = -3*j. Let t be (f/28)/3 + (-6)/(-8). Which is bigger: t or 2/7?
t
Let c = 52.97 + 1.03. Let j = 1 - c. Let q = j - -46. Is 0.1 equal to q?
False
Let p(y) = 3*y - 20. Let z be p(16). Suppose 0 = o + z + 35. Let h = 62 + o. Which is greater: -1/25 or h?
-1/25
Let w = -979/42 + 176/7. Let n = 302 + -361. Let g = n - -61. Do g and w have the same value?
False
Let a = -36.15 - -34. Let z = -1.18 - a. Let n = z + -0.57. Which is smaller: -1 or n?
-1
Let n be 1/(5/1673) + -1. Let f = 331 - n. Let d = 85.694 - 84.694. Which is smaller: d or f?
f
Suppose -61 = -3*u - 1. Suppose 21*a - u*a + 1 = 0. Is -6/43 >= a?
True
Let q = -5/92 + -343/460. Let n = 416 + -414. Suppose -5*m + 4 = -n*g, -6 = g + 2*g + 3*m. Which is smaller: q or g?
g
Let a(m) = m**2 - 105*m + 504. Let v be a(5). Is v > 44?
False
Let c = 233 + -245. Let i be ((-303)/6)/(c/(-24)). Is -99 smaller than i?
False
Let w(g) = -592*g + 2452. Let o be w(4). Let q = -108 + 192. Is q less than or equal to o?
True
Let t = -1.18 - -1.43. Let q = -0.05 - -0.2. Let j = t - q. Is j smaller than 1/16?
False
Let i be (-2 - 2)*(156/(-48))/(-13). Does i = 6/4235?
False
Let y = -28.2 - -19.3. Let n = -1.226 - 18.674. Let a = n - y. Which is greater: a or 4?
4
Let z be 44/4 + 0 + -10. Let q = 284.9813 - 285. Which is greater: q or z?
z
Let n(v) = v**3 - 17*v**2 + 12*v + 61. Let k be n(16). Suppose -7*o + 55 = 20. Which is smaller: k or o?
k
Suppose 23*y - 11 = 18*y + 3*p, 0 = 2*y + p. Which is smaller: y or 9/14?
9/14
Let h be (-17*(-3)/51)/((-6)/(-4)). Which is greater: 1/27 or h?
h
Let s be 5/25 - (0 + (-19716)/17370). Let l = s - 1/579. Is -8/7 greater than l?
False
Let g = -235 + 237. Let l be (g - 7) + (-1400)/(-42). Is 28 > l?
False
Let d be (5/3)/(4469/(-327)). Is 1 > d?
True
Suppose 0*z = 3*z - 3*i - 12, 2 = 4*z + 3*i. Suppose 0 = -3*k - z*k - 10. Let s = -7/121 + -777/1210. Which is greater: k or s?
s
Let a = 48 + -13. Let y = -35 + a. Suppose y = -h - 9 + 2. Do -6 and h have the same value?
False
Let g = 7871 - 5407. Are 2465 and g non-equal?
True
Suppose 11*z - 57 + 2 = 0. Suppose 0 = 343*y - 338*y + z. Is y less than or equal to 1/371?
True
Let x be ((-887)/(-35169))/((-60)/3756). Let a = -1/9255 + x. Is -3 at least a?
False
Suppose -63 = -3*x - 90. Let v(a) = a**3 + 8*a**2 - 6*a + 17. Let y be v(x). Let s be (-2)/y + (78/(-10))/(-1). Which is smaller: 9 or s?
s
Let n = 1 + 30. Let w = n + -35. Which is smaller: w or 29?
w
Let f = 33 - 8. Suppose 30*d = f*d - 75. Let q be (-10)/3*d/25. Which is smaller: q or 3?
q
Let n = 0.08 - -0.12. Let c = 199 - 202.2. Let b = n + c. Is b bigger than 1/4?
False
Let p = -4189 + 41891/10. Which is smaller: p or -24?
-24
Let g = 18 - -4. Suppose 15*h = 13*h - g. Let m = -3.42 - -3.12. Which is smaller: m or h?
h
Let s = 54004/63 - 8962/9. Which is greater: -139 or s?
s
Let u be (-64)/(-8) + -1 + 0 + -1311. Which is greater: -1300 or u?
-1300
Let q be (-3 - -2)/(2/(-254)). Let f = -51753 + 51881. Which is smaller: f or q?
q
Let d be 172/(-2881)*3/84*2. Is d > 6?
False
Let d = -11657 + 11658. Is d at most -3/2051?
False
Let z = 53775958 - 15111368749/281. Let y = -1155 - z. Is -1 less than or equal to y?
True
Let a = -1.41 - -1.17. Let r = 46 - 63. Let p = 15 + r. Which is greater: a or p?
a
Let b = -53 - -129/2. Let j = 12 - b. Is -14 at least as big as j?
False
Let p = -3413599/186 - -18353. Which is smaller: p or -1?
-1
Let v = -10.6 - -10.693. Let b = 49 + -49.007. Let p = v - b. Which is smaller: p or 0.017?
0.017
Suppose j = 4*y - 6 - 15, 6*j - 36 = -3*y. Is 173/70 at most as big as j?
True
Let b = 200661/6188 - -1/884. Which is smaller: 31 or b?
31
Let g = 67 + -119. Let o = 326 - 279. Let c = g + o. Which is greater: c or 6/5?
6/5
Let n be (-12)/(-18)*(0 + 6). Let o be (-17)/n + (-2)/(-8). Let p = -0.067 + 1.067. Which is greater: p or o?
p
Suppose -7872 = 1441*u - 1433*u. Do u and -985 have the same value?
False
Let a be (19/(-12))/((399/(-112))/19). Let i = -371/45 + a. Which is greater: i or -8?
i
Let a = -9/5 - -2. Let n = -157.3 - -148. Let x = 9.31 + n. Is x <= a?
True
Let o = -43 - -6. Let j = -4253 + 4198. Let q = j - o. Which is bigger: -1 or q?
-1
Let f = -2.478 - -2.46. Let y = -0.182 + f. Is 2/265 smaller than y?
False
Let x = 31732/5 - 6347. Which is bigger: 16/27 or x?
16/27
Suppose 184125 = -24*d + 16*d - 117*d. Is d equal to -1471?
False
Let d = 21 - 15. Let t be 3/12*d*(-6)/765. Which is greater: -1 or t?
t
Suppose 0 + 2 = 4*p - 2*m, -4*m = -4*p + 4. Let t = -1/12579 - -12617/478002. Which is smaller: p or t?
p
Let h = 21784 + -21785. Do 579 and h have the same value?
False
Let o = 224859/91 - 2471. Which is bigger: 5 or o?
5
Let y be (-1)/(2/(-1028)*10/(-5)). Is -258 bigger than y?
False
Suppose 2*c - 166 = 3*j, 10*j - 5*j = 3*c - 250. Let x be 1189/2210 + (-32)/c. Let s = -3/17 + x. Which 