False
Suppose -3*t + 4 = -0*t + 2*i, 2*t + 24 = 4*i. Let g be ((-117)/216)/(t/18). Does 5 = g?
False
Let y be 880/960*16/20*10/4. Is 1 bigger than y?
False
Suppose -6*y + 67 = -3*y - 5*w, 3*y = 2*w + 70. Suppose -6*b + 10*b - 5*p + y = 0, 19 = -3*b + 4*p. Which is smaller: b or 4/99?
b
Let l = -3554591/44 + 80738. Let y = 197/4 + l. Which is greater: y or 0?
y
Let x = 4061/18 - 224. Is 2 bigger than x?
True
Suppose 5*v - 28 = 19*v. Which is smaller: 2/735 or v?
v
Let f = -29546113/1763 + 16759. Which is smaller: 1 or f?
f
Suppose 28*r - 5085 = 31*r + 5*g, 0 = 2*r + g + 3390. Is r > -1694?
False
Suppose -117800 = -105*d + 29*d. Is d at least 1551?
False
Let o = -3297 + 2642. Let t(c) = -178*c + 58. Let h be t(4). Which is bigger: o or h?
h
Let i be (3 - (-676)/3)*67/335*9. Is 393 less than i?
True
Let l(m) = -m**3 - 8*m**2 - 10*m + 1. Let q be l(-7). Suppose q*d - 784 = 470. Which is smaller: 55 or d?
55
Suppose -639*r = -626*r + 390. Which is smaller: -384/13 or r?
r
Suppose -7*f + 2*f - 5*x = -20, 5*x = 2*f - 1. Suppose -f*s + 4*t = t + 60, t - 5 = 0. Let u be s/18*(-36)/20. Which is bigger: u or 2/17?
u
Suppose -j + 50 = -2*j. Let a be (10/j - 2324/30)*-1. Let c = a + -82. Is 0.1 smaller than c?
False
Suppose 49*q - 31*q + 3128 = 35*q. Is 174 less than q?
True
Suppose n + 5*p = -2*n - 854, 0 = 4*n + 4*p + 1152. Let q = n - -199. Are q and -92 equal?
False
Suppose 11387 = 10*d + 19341 - 75574. Are 6761 and d equal?
False
Let k = -82 + 171. Suppose -k = -14*n + 723. Let l = -58 + n. Which is greater: -2/333 or l?
l
Let d(c) = 6*c**2 - 334*c - 226. Let t be d(86). Does 2/7 = t?
False
Suppose 2*i = -3*a, 3*i + 2*i = -4*a + 7. Let y be (i/4)/((-1417)/(-104)). Is -1 at most y?
True
Let q = -7 - -5. Let r = 80.8 - -201.2. Let p = r + -268. Which is greater: p or q?
p
Let c be 694/(-3)*(-27)/18. Let s = c + -356. Which is smaller: -48/5 or s?
-48/5
Let b = -0.099 + -1.971. Let f = b + -1.93. Is 3 less than or equal to f?
False
Suppose 0 = 5*c + 3*u - 3, 39 - 14 = 3*c - 4*u. Suppose 0 = 3*x + c*p + 405, 2*x + 262 = -5*p + p. Is -139 > x?
False
Let a(d) = -15*d + 58. Let t be a(5). Let o be (12/(-8) - -1)*(t - -17). Let s = -4.97 - -5. Which is greater: s or o?
s
Let n = -18.8 - -19.97. Which is bigger: n or 13?
13
Let l = 1367 + -1373. Suppose 2*v = -9 - 7. Which is smaller: v or l?
v
Suppose 2*m + 146 + 284 = 0. Let x = m - -313. Is x bigger than 99?
False
Let j = -0.05232 + 0.05232. Which is smaller: j or 0.554?
j
Let r = 4.78 - 12.23. Is r > -1/4?
False
Let v = 0.0371 - -240.9629. Let n = v + -242. Which is smaller: n or -30/29?
-30/29
Let k = -1034 - -1035. Which is greater: -20.26 or k?
k
Suppose -8*r = 16*r - 96. Suppose 5*m - 6*m = -2. Suppose 5 = m*z - 5. Which is smaller: z or r?
r
Let z = 2.6708 - 1.9658. Which is smaller: -0.2 or z?
-0.2
Let q(h) = -h**3 - 9*h**2 - 11*h + 21. Let w be q(-7). Suppose 9*f - 6*f + 171 = w. Is -56 at most as big as f?
False
Let q = -8.4 + 14.7. Let t = q + -6.3. Let o = -0.17 + 0.07. Is o at most as big as t?
True
Let n = -0.071 + -6.329. Let y = -0.5 + n. Let x = 6.7 + y. Which is greater: x or 2/43?
2/43
Suppose 23*p - 24*p - 4*w - 15 = 0, -w = -2*p - 21. Is p less than -192/19?
True
Suppose -2354 = 30*p - 2144. Which is smaller: p or 1.23?
p
Let a = -238.8 - 31.2. Let m = a + 268. Which is greater: -3/92 or m?
-3/92
Let q be (-1 + 2/4)*-1*6. Let h be ((-2)/((-4)/q))/(3/6). Let w be -2*h/6 + 5/25. Which is bigger: w or -3?
w
Suppose -3*p - 5*g = -3257, -9*g + 7*g + 2 = 0. Is 1083 != p?
True
Let x = -1494 + 2296. Let c = 523 - x. Which is smaller: -278 or c?
c
Let d be 34/12*(-37)/((-30192)/192). Is -16/55 >= d?
False
Let d be (-157)/45 - -1 - 1222/3055. Let w be 1 + -2 - (2 + 0). Which is greater: d or w?
d
Suppose -8*l - 16 = -40. Suppose 4*y = -2*m - 34, -5*y = -8*m + l*m + 35. Is -12 at least y?
False
Suppose -2*x - 45 = 9. Let c be (-5349)/207 + (-2332)/(-13409). Which is smaller: x or c?
x
Let s(p) be the first derivative of p**4/4 - 9*p**3 + 27*p**2/2 - 51*p + 14. Let z be s(26). Is z at most as big as -25?
True
Let c = 1 - 118. Let s be ((-3)/(-6))/(c/(-126) + -1). Is -37/6 equal to s?
False
Let i(l) = 2*l + 94. Let y be i(-54). Let z(n) = -2*n**3 + 3*n**2 + 4*n + 1. Let o be z(3). Is y smaller than o?
False
Let m = -0.11 + -3.89. Suppose 5*h = -79 + 29, 2*h = 2*p + 22. Is p greater than m?
False
Suppose -154 = -79*c + 2*c. Which is smaller: 64/23 or c?
c
Let w = 6362 - 6300. Are -2/111 and w non-equal?
True
Let m(k) = -61*k + 1875. Let o be m(73). Is -2578 less than or equal to o?
True
Let o = -0.131 - -232.131. Let u = 231.9 - o. Which is greater: -23.7 or u?
u
Let k = -2364 + 2362. Is 851 >= k?
True
Let w(z) = -z**3 - 40*z**2 - 125*z + 188. Let n be w(-30). Which is bigger: -5059 or n?
-5059
Let u be (-185)/(-44) + (-32 - -28). Let k = 133/220 - u. Which is greater: k or 1.9?
1.9
Let n be (18/45)/((-122)/10). Suppose 0 = 5*k + 3 - 23. Suppose 6*v - 2 = k*v. Which is smaller: v or n?
n
Let v = -225683 - -225998. Suppose h = 3*h - 5*y - 655, 3*h = -5*y + 920. Is h at least v?
True
Suppose 4*l - 2*b = -2628, -9485 = 9*l + b - 3572. Which is smaller: -655 or l?
l
Suppose 7 = -2*y + w, -3*y - 16 = -4*w + 2. Let s be (-372)/276 + y/(-2). Which is smaller: s or 0?
s
Let j(z) = -21*z - 7. Let b(a) = 658*a + 217. Let d(k) = -2*b(k) - 63*j(k). Let f = 0 - 2. Let o be d(f). Which is bigger: o or -6?
-6
Suppose -o + 2 = -0*o, -3*x - o + 962 = 0. Let w(u) = 11*u + 220. Let k be w(9). Which is smaller: x or k?
k
Let h = -41.5 - -41.533. Let u = 220.9 + -236. Let p = u + 15. Which is smaller: h or p?
p
Suppose 33*z = -2227 - 974. Does -103 = z?
False
Let v be 3/((-12)/944*2). Let j = v - -350/3. Let o = 279 - 279. Do j and o have different values?
True
Suppose -2*p + 0 = -54. Suppose 273 = -4*a - p. Which is bigger: -76 or a?
a
Let p = 0.137 - 0.076. Let g = -21.939 - p. Let l = 7 + g. Are l and 1/3 unequal?
True
Let n = 346 - 338. Let g = -27732 - -277597/10. Let p = -106/5 + g. Which is smaller: n or p?
p
Let s = -123.87 - 0.13. Let q = -113 - s. Is -7 smaller than q?
True
Let h(c) = 125*c + 307. Let w be h(-8). Let l be w/(-18) + -1 - 2. Which is bigger: 36 or l?
36
Let b(v) = 42*v - 385. Let q be b(12). Which is smaller: q or 0?
0
Let v(b) = -b**3 + 10*b**2 + 11*b + 4. Let x be v(11). Let h be (-8 + x)/(-4)*28. Let u be 18/(-20) - h/(-70). Which is smaller: u or 9?
u
Let y = -166 - -166. Suppose 18 = 9*n - y. Which is smaller: n or 10/11?
10/11
Let u = 3138 + -436180/139. Is 1/2 >= u?
True
Suppose -7*o + 2*o = 30. Let m be (7/(-1113))/((-8)/o). Let y(n) = -n**3 + 30*n**2 - 21*n - 231. Let x be y(29). Does m = x?
False
Let r = 4244427/80 - 53056. Are -2 and r equal?
False
Let k = -3247 + 3245. Is k greater than -24/41?
False
Let c(x) = 12*x. Suppose t = -4*s - 0*t + 4, 3*s + 3*t - 3 = 0. Let n be c(s). Let i be (-28)/n + 0 - 4. Are i and -5 nonequal?
True
Suppose 4*p - q = 79, -284*q = 5*p - 285*q - 99. Is 438/23 greater than or equal to p?
False
Let k = 455 + -454. Which is greater: k or 282.7?
282.7
Let c(j) = j**3 - 6*j**2 + 4*j - 2. Let n be c(4). Suppose 836250*s = 836256*s + 138. Which is smaller: s or n?
s
Suppose 4*r = -r + 35. Let l be -1 + -1 - (1 - r). Let k be (-78)/8*(-3 + 287/105). Is l at least k?
True
Let t be ((-104)/(-12))/((-4)/(-5)). Let i = t + -34/3. Is i less than 101?
True
Let v be ((-3330)/325 - -13) + ((-8)/13)/4. Are v and 4 equal?
False
Let w = 3491 - 13891/4. Let m be 0 - -2 - 4*(11 - (-590)/(-40)). Are m and w unequal?
True
Let m = -55 + 59. Suppose s - 71 = -2*f - 0*s, -130 = -m*f + 2*s. Let y = f + -67/2. Which is greater: y or 10?
10
Let u = -727373/269 - -2704. Suppose -2*x = k - 8, -2*k - 16 = 35*x - 39*x. Is k less than or equal to u?
True
Suppose -19*s = 4*i - 17*s + 8, -s = i + 2. Which is smaller: -35/19 or i?
i
Let r be 22850/137820 + 5/(-30). Which is greater: -1 or r?
r
Let z = 178.912 + 4.418. Let d = z + -184. Which is greater: d or -2/11?
-2/11
Suppose 3*w = -4*p - 44 + 110, 2*p = -3*w + 30. Suppose 3*b - 34 = -f, -4*f - b = -7*f + 62. Which is greater: f or p?
f
Let c(u) = u**2 - 6*u - 51. Let k be c(11). Let y be (-2 + 5/k)/(660/(-8480)). Is 9 less than or equal to y?
True
Let r be (-2)/6 + 271072/(-258). Which is greater: r or -1050?
-1050
Let p = 11671 - 11