 77/3 nonequal?
True
Let o = 12378277/497 + -24906. Is o at least -2/11?
True
Let i be 13/(-2) + (-6)/(-12). Let w be (-2)/3 - (-8)/i. Let h = -13632/5 - -2724. Is h at least as big as w?
False
Let i(r) = -1687*r + 3794. Let v be i(2). Which is bigger: 435 or v?
435
Let a be ((-6)/2 - -4)/((-8)/(-24)). Suppose 0 = 4*b - 8, -a*r = 4*b + 1 - 12. Which is greater: r or -18?
r
Suppose 2*j + 4*o + 186 = 40, 5*o - 5 = 0. Let a = j + 50. Suppose 5785*y - 943 = 5826*y. Is a equal to y?
False
Let p be (0*(-6)/(-30))/(3*1). Let q be (-6)/2*(-1 - p - 2). Let h = q - -14. Which is bigger: -3 or h?
h
Suppose 3*m - 2*k - 9796 = 0, 0 = 2*m + k - 6065 - 468. Which is smaller: 3267 or m?
m
Suppose 3052 = -214*q - 4479 + 2609. Let d(m) = -m**3 + 2*m**2 + 4*m - 3. Let z be d(3). Suppose z*j - 3*j = -3*s + 60, -5*s - 110 = 5*j. Is q at most j?
True
Let n = 23.56 + -23. Let f = 2063.66 - 2063. Let l = f - n. Is l smaller than 1?
True
Suppose -120 = 3*m - 12. Let w = 40 + m. Let s be w - (6 + 0 + -3). Do s and 0.1 have the same value?
False
Let f(n) = -n**3 + 29*n**2 - 158*n + 912. Let h be f(24). Is 3/10780 less than or equal to h?
False
Suppose 2085 + 13935 = 178*a. Which is smaller: a or 22?
22
Let y = 372.532 + -372.4. Which is greater: 0.2 or y?
0.2
Let o = 7894.94 - 7895. Which is greater: -3/200 or o?
-3/200
Suppose -27*o + 31*o = -956. Let d = 7217 - 14909/2. Which is smaller: o or d?
o
Let f(i) = -75*i + 1246. Let v be f(10). Is 496 at most as big as v?
True
Let x = 89.1813 - 0.1813. Let p = -333 - -332.9. Is p bigger than x?
False
Suppose 4*o - 13 + 41 = 0. Let s(i) = i + 4. Let z be s(o). Does -22/7 = z?
False
Let g = 0.205 - -0.214. Let v = g + 527.581. Which is bigger: v or -1?
v
Suppose -2*b + 13 = -19. Let i = 73 - 73.019. Let a = i + 0.019. Is a not equal to b?
True
Let c(b) = -b**2 + 20*b - 96. Let k be c(9). Suppose k*j + 5*l - 462 = 0, -3*j + 5*j - 308 = -2*l. Which is smaller: -2 or j?
-2
Suppose -4*g - 7*m + 5*m = 21336, -2*g + 2*m = 10680. Let l be 3*(-2)/(-3) - g/(-2697). Which is smaller: l or -1?
-1
Let s = 140 - 178. Suppose 6*y - 205 + 421 = 0. Which is greater: s or y?
y
Suppose -5*p - 11 = 4*l, 22 = 2*p - 0*p - 5*l. Suppose 0 = -5*y + 4*y + p. Do 3/119 and y have different values?
True
Let l = 900 + -397. Suppose 0 = -l*n + 501*n + 42. Which is smaller: 23 or n?
n
Let r = 143 + -130. Let h = r - 21. Let f be h/6*3/130. Is f smaller than 0?
True
Let p be -30 - -26 - (-2 + (-65278)/(-270)). Let t = p + 1222/5. Which is smaller: t or 1?
t
Let z be ((-9)/108)/(2324/3416). Is z > 0?
False
Let b be 2/(-9) + (0 - 211092/(-950400)). Which is smaller: b or 1?
b
Suppose -90*f + 83*f = -357. Suppose 6*z - 213 = f. Is z not equal to 43?
True
Let m = 7301 + -7302. Which is smaller: m or -0.0385?
m
Let k = 0.29 + -0.81. Let m = -0.7 - k. Let a = 441/8228 + 31/484. Is a bigger than m?
True
Suppose 4*u - 3*u = 7. Suppose 5*n = 4*f - 21, -5*n - u = -2. Suppose -f*z + z = 0. Which is greater: z or -3/7?
z
Let v(n) = -4*n**2 - 29*n - 104. Let h be v(-12). Which is smaller: h or -328?
h
Let q be -5*((-48)/(-15) - 8). Let m be (6 - (10 - q/6))/(-1). Is m != -8/207?
True
Let n = -3/20420 + -755237/2062420. Which is bigger: n or -1?
n
Let r be (5*(-7187)/(-116))/((-5145)/(-3710)). Let g = -4691/21 + r. Let m = -5165/491666 - g. Which is greater: -1 or m?
m
Let t = -43432 + 43802. Is t != -0.15?
True
Let g be 3*(-3 - (-46)/6). Let b = g + -8. Let a be (-2)/b*(-36)/(-92). Which is greater: a or 1?
1
Suppose 35 = s + 49. Let q be 8/28 + s/49. Let c = -41 + 29. Which is bigger: q or c?
q
Suppose 4*y + 28 = 3*l, 19*l - 14 = 24*l + 2*y. Which is greater: l or 0.17916?
0.17916
Let b be 2 + (-3402)/(-3398) + -3. Let n = 120625/3398 + b. Is n at least 37?
False
Let y be (5 - 2/2)*-1. Let o(w) = 625*w + 16879. Let g be o(-27). Is y less than g?
True
Suppose -6*b = -65 + 23. Suppose 0 = i + 3*t - 5, i + 5*t = -0*t + b. Which is bigger: i or 10/17?
i
Suppose -15*u + 9*u = -54. Suppose -u + 18 = -3*a + 2*t, -3*a - 2*t = -3. Which is smaller: 1/53 or a?
a
Let p be (17 + -16)*(-1 + 1) - -15442. Let u be 3/(-18) - (p/3180 - 5). Which is smaller: u or -1?
-1
Let h be (((-6)/1923)/(-1))/((-47)/1485). Let m = h - 5/641. Does -1 = m?
False
Let c(d) = 389*d - 27278. Let w be c(0). Which is smaller: w or -1/4?
w
Let v = -9306406/6933 - -3/2311. Suppose -3*n - 1399 - 2594 = 0. Let a = v - n. Which is smaller: a or -12?
-12
Let p = -1722 - -1695. Which is smaller: 3 or p?
p
Let f be 142/(-186) - (-4)/6. Suppose -14*k + 7 = -5*y - 11*k, -k + 9 = 5*y. Let j be (-9)/(-12) - y/(-4)*1. Is f >= j?
False
Suppose 10*r - 545042 = 116*r + 192*r. Which is smaller: r or -1831?
-1831
Let u = -0.2 + 0.3. Let v = 23112 - 23143. Is v smaller than u?
True
Let h be 12/(1 - 3)*-9. Let b = 89 + -31. Let i = b + -3. Which is smaller: h or i?
h
Let s be 2/8 + (-23688)/(-96) + -2. Is 237 greater than or equal to s?
False
Suppose 16*b - 1 = -2*f + 17*b, f - 32 = -4*b. Which is bigger: f or 331/61?
331/61
Let j be 443291160232406/(-380380) - (4 - 18/4). Let b = 1165390294 + j. Let g = -2/1235 - b. Which is smaller: g or 0?
0
Suppose -11*z + 7*z + 56 = 0. Suppose z = 3*v - 25. Suppose -7 - v = x. Which is bigger: x or 0?
0
Suppose -1 = p, 3*y - 5 = 5*p + 9. Suppose 3*g + y = -20*n + 16*n, 4*g = 12. Suppose -4*q = -2*q - 6. Which is smaller: n or q?
n
Suppose 4*a = 2*a + 634. Suppose 9*m - a = 79. Let n = 35 - m. Is -10 >= n?
False
Suppose -3*k = 5*l + 508, 1283*k = -2*l + 1278*k - 188. Is -79 smaller than l?
False
Let j = 334 - 187. Let h = -150 + j. Is 36 < h?
False
Let f be (7/((-63)/(-30)))/((-40)/(-48)). Suppose f*i = x - 5, -2*i + 5*i = -3. Which is smaller: x or 0.218?
0.218
Let y = -15 + 9. Let i = 3 - y. Suppose c + 45 = 5*c - 3*g, -2*c = -5*g - 33. Is i smaller than c?
False
Suppose -87*a - 616 = -7. Let d be 15/(-2)*(-63)/(-60). Is d at most a?
True
Suppose 206 = -5*y + 181, 2*y = 3*b + 1505. Is -513 at least b?
False
Let b be 45/10*(-2)/3. Let m be -1 + (-2190)/135 + 2/9. Let z = b - m. Which is bigger: 0.1 or z?
z
Let v be (-14)/10 + -20 + (-1452)/(-30). Which is bigger: v or 516?
516
Let c be 440/110 + (1 - -278). Let h = c + -251. Is h less than 33?
True
Let d = -19 + 35. Let h(p) = 7*p - 20. Let s(u) = -8*u + 19. Let v(o) = -7*h(o) - 6*s(o). Let w be v(9). Is d >= w?
False
Let v = -131 + 66. Let g = 8404 - 8502. Let x = v - g. Is x greater than 33?
False
Let v be (-99552)/(-160) - 3/(60/4). Is 622 >= v?
True
Let i = 2/227465 - -307077692/6596485. Do i and 47 have different values?
True
Let n(c) = -10*c + 445. Let v be n(0). Is 445 greater than v?
False
Let g be 1/2 + 973668/328 + -8 + 0. Is g < 2961?
False
Let q be 18/(-6552)*-16*(-1)/(-2). Suppose -3 = u + 2*u. Is u <= q?
True
Let z(h) = h**3 + 25*h**2 - 112*h - 71. Let b be z(-29). Is b at most 0.4?
True
Let f = 0.1139 - 0.1119. Which is greater: -0.01 or f?
f
Let f = 280 + 269. Let j = f + -528. Is 11 not equal to j?
True
Let s = -67 - -72. Suppose -3*y = -5*f - 0*f + 44, 4*y + 57 = s*f. Let g = 2 + -16. Which is smaller: g or y?
g
Let u = 242 + -255.1. Let q = -0.47533 + 0.17533. Which is greater: q or u?
q
Let i = 591167/19 - 30685. Let y = i - 429. Let w = 1 - 1. Which is greater: w or y?
y
Let s = 528/215 + -243322/99115. Which is smaller: -1 or s?
-1
Let z = -13138.1 + 13138. Is z != 0.681?
True
Let v = -2007 - -781. Let r = v - -4879/4. Is -5 equal to r?
False
Let s = 0.08 - 0.68. Let u = -14.09 + 91.19. Let m = 77 - u. Are m and s equal?
False
Let z = -203 - -203. Let q be z + (2 - 3)/((-12)/(-4)). Which is smaller: -12 or q?
-12
Let o(y) = -2699*y**2 - 24*y - 1. Let c be o(1). Are c and -2721 equal?
False
Let k be 44*7/(-672)*-219. Are 99 and k equal?
False
Let u be (-14 + 15)/((-2)/(-122)). Suppose -50*g + u*g - 44 = 0. Let j be 9/((66/32)/1). Are g and j equal?
False
Suppose 3*q = -y + 15, 0 = -3*y - 5*q + 23 + 6. Suppose y*o + 5*p = 68, -2*o + 79 = 4*p + 31. Suppose -50 = -3*x - 5. Which is greater: x or o?
o
Let o(i) = 2*i**3 + 28*i**2 - 70*i - 142. Let v be o(-16). Which is bigger: v or -129?
v
Let s = -14737 - -11131. Which is smaller: s or -2/7?
s
Let o = 4303 + -4021. Is 0 bigger than o?
False
Let s = 208 + -186. Let a = -27 + 6. Let u = a + s. Is u < -0.9?
False
Let v = -3.6 - 1.4. Let h = 0.326 - 0.353. Let p = -0.973