r or 802?
r
Let s = -46 + 45.74. Let m = s + -40.74. Let b = -40.87 - m. Which is greater: 0.3 or b?
0.3
Let g = 0.65 + -0.05. Let w be ((-1376)/4816)/(30/20*6/(-7)). Is g greater than or equal to w?
True
Suppose 0 = -5*t + 327 + 18. Let s(l) = l**3 - 32*l**2 + 224*l + 388. Let m be s(20). Is m less than t?
True
Let f = -10532/9 - -3865442/3303. Is 1 bigger than f?
True
Suppose 11*s + 4996 = -4*h + 18*s, 0 = 2*h - 4*s + 2496. Is -1254 >= h?
True
Let y(o) = -3*o**3 + o**2 + o - 3. Let l be y(3). Let s be (2/(-12))/((-15)/(-6600)) + -1 + 2. Which is smaller: s or l?
s
Let x(j) = 23*j + 165. Let b be x(-7). Suppose 0 = 2*d - 4*c + 106, -6*c + c = -b*d - 206. Does -44 = d?
False
Let i = -8.32 - 3431.68. Which is smaller: 0 or i?
i
Let t = -112.5 - -112.4. Which is bigger: t or 931?
931
Let f = -8.23 + 8.2. Which is bigger: f or -1/10?
f
Let g(f) = -31*f**2 - 9*f - 16 - 264*f**3 + 262*f**3 - 7*f. Let p be g(-15). Is -1/453 greater than p?
True
Let w be 36/(-378) - 128/(-21). Suppose -9*b - 2 = -4*b - m, 3*m = -5*b + w. Are 18/25 and b equal?
False
Suppose 11*r = -1026 + 333. Let q(f) = -22*f - 13. Let o be q(4). Let m = 37 + o. Which is greater: r or m?
r
Let u be 3 + -1671 + 18*8/72. Do u and -1665 have the same value?
False
Let w(f) be the first derivative of -f**2 - f + 1. Let v be w(5). Let y = 0.007 - -0.393. Is y greater than or equal to v?
True
Let m = -205 + 199. Let u be m/(-12)*4/102. Are 1 and u nonequal?
True
Let x(u) = -12*u + u + u**2 - 386 + 188 + 162. Let y be x(14). Is y smaller than 4?
False
Let f be -14 + -3 + 11 - -29. Is f != 51?
True
Let i = -0.034 - -360.034. Let u = i + -361. Is u bigger than 16?
False
Let t = 5600 - 5711. Which is smaller: t or 11?
t
Let n(p) = p**2 - 9*p - 14 - 11*p - 5*p**2 + 13*p. Let v be n(-5). Let t = 56 + v. Is -22 at most t?
False
Let j be 164 - 161 - (-251)/(-31). Is -6 bigger than j?
False
Let m be ((-17)/(-17))/((-1)/(-40)). Let t = m - 1. Which is smaller: t or 194/5?
194/5
Let a be ((-3)/(-34))/(1104/459592). Let j = a - -7/391. Is j != 38?
True
Let j be (-6 - 50514)*84901/(-146). Let x = -29377450 + j. Let c = x + -622. Is c <= 0?
False
Let w = -19 + 21. Let g be (-117)/99 + w/11. Which is greater: 10/49 or g?
10/49
Let l = -4.8 - -5. Let f = 12 + 20. Let j = f + -32.05. Is l <= j?
False
Suppose 89 - 15 = -2*m. Let u = -1076 - -1101. Let y be 6/15 + (-10)/u + m. Which is bigger: -35 or y?
-35
Let i = -3.6 - -19.6. Let y = 19.6505 - -0.3495. Let b = y - i. Which is smaller: 0.7 or b?
0.7
Let h(u) = u**2 - 83*u - 142. Let l be h(54). Are l and -1707 non-equal?
True
Suppose 2*b + 20 = -2*b. Suppose -5*d + 75 - 10 = 0. Let s = b + d. Is 8 not equal to s?
False
Suppose 128*b + 125*b + 2370 = -1931. Let r = 24 + -46. Does r = b?
False
Let c = 8623 + -12195. Which is smaller: c or -3571?
c
Let f = -149 - -30. Let m = 119.143 + f. Let o = m + -0.143. Are -54 and o unequal?
True
Let u be 165/55 + 463039/1532. Let t = -1221/4 + u. Which is smaller: 1/2 or t?
t
Let l = -163.05 - -162. Let g = 1.05 + l. Let j(t) = t**3 + 4*t**2 + t + 4. Let u be j(-3). Is u at least g?
True
Suppose 8*q + 120 = 216. Suppose -q*p + 23*p = 363. Which is smaller: 32 or p?
32
Suppose -2*s + 666 - 78 = 0. Suppose 0 = 5*k - 9 + s. Suppose -6*b - 175 - 161 = 0. Which is smaller: b or k?
k
Let h = -24 + 31. Suppose -h = -8*n + 25. Suppose -9 = -b - 2*b. Do n and b have the same value?
False
Suppose -7 = 3*y + 13*u - 18*u, 0 = -5*y + 2*u + 1. Is y not equal to 8/1817?
True
Let x be 444/198 + (-3*1)/1. Let w = 188/253 + x. Let a = -7/46 + w. Which is smaller: -1 or a?
-1
Let z be 4448536/623 - (-4)/7. Let w = -7141 + z. Which is smaller: w or 0?
0
Let q = -3621 - -3603. Let m = 7 + -10. Is m at least as big as q?
True
Let k = 2088 + -29231/14. Do k and 66 have the same value?
False
Let y(o) = -296*o - 634. Let v be y(-3). Is v greater than -5?
True
Let m be 1490/447 + (1/(-3) - -1). Suppose f - 4*l = -m*f - 151, -5*l = -3*f - 88. Is -26 less than or equal to f?
False
Let m(j) = -j**2 - 13*j - 19. Let z = 11 - 18. Let s be m(z). Which is greater: s or 21?
s
Suppose 0*n = 29*n + 22*n. Is -9/2657 greater than or equal to n?
False
Let s(b) = -2*b**2 + 3*b + 4. Suppose -5*g - 25 = 0, -4*z = -9*z + g. Let v be s(z). Let l be (-3)/(-3)*v*(-1 - -2). Which is bigger: l or -1/114?
-1/114
Suppose -153310 + 30534 = 103*u. Is u greater than or equal to -1192?
True
Let r = 1227 - 652. Which is smaller: -2/5 or r?
-2/5
Suppose -9*b - 111 - 33 = 0. Let u = 12 + b. Let s = 0 - u. Which is smaller: 3 or s?
3
Let b = 2889 + -2799. Which is bigger: 7 or b?
b
Suppose 13063 = -21*t - 17366. Are -1449 and t equal?
True
Let t be (-10)/(-1) + 8 + 20/(-4). Suppose 4*j = -3*x + 36, -3*x - 5 = -5*j + t. Let d = 5147/835 + 6/167. Is j bigger than d?
False
Let d be -4*(-6)/(-72) + ((-38600)/(-23295))/5. Which is bigger: 0 or d?
0
Suppose -4*x = 2*f + 40, 45*f + 5*x = 48*f + 104. Is f less than or equal to -23?
True
Let s(h) = 138*h - 1242. Let u be s(9). Suppose 5*z - 3*y - 33 = -7*y, 4*z - y = 39. Let g be 6/z + 346/(-528). Which is smaller: u or g?
u
Let g = -418/109 + -67779/545. Suppose 2*a + 645 = -3*a. Let c = g - a. Which is smaller: c or -0.02?
-0.02
Let g = 49193/1988 - -5/994. Let p be (-916)/(-48) - (2 - 7). Let z = p - g. Which is smaller: z or -21?
-21
Let r = -8845 - -79751/9. Let w(o) = -17*o + 338. Let u be w(19). Is r smaller than u?
False
Suppose -9833 = 209*u + 42775 + 84287. Are u and -652 non-equal?
True
Let o = -0.04404 + 110.04404. Is o greater than 10?
True
Suppose -3*h - 261 = -2*v, -2*v + 5*h + 304 = 53. Does 134 = v?
False
Let r(q) = q**2 - 6*q + 5. Let m be r(5). Suppose -22*u + 27*u + 10 = m. Let b be (3/u)/((-138)/253). Which is greater: -4 or b?
b
Let j = -3.051 + 2.051. Let i = -15 + 4. Let b = -20 - i. Which is greater: j or b?
j
Let x be (-223)/4 + 2/(-8). Let h(i) = 2*i**2 + 2*i. Let l be h(-1). Suppose 8*n + 407 + 33 = l. Is x less than n?
True
Let c(j) = -j**3 - 23*j**2 + 203*j - 59. Let y be c(-30). Does 148 = y?
False
Let q = -3046/7 - -6141/14. Which is bigger: q or 1904?
1904
Let l = 76.87 - 77.27. Which is smaller: 3/11 or l?
l
Let d = 96 - 90. Suppose -5*v + 17 = -w, -1 = -3*v + 2*w - d*w. Suppose -5*j = 2*i - 188, 48 = j + v*i - 0. Which is smaller: 37 or j?
j
Let g = -1.517 + 1.417. Is g greater than 0.5934?
False
Let q(z) = -z + 10. Let o(d) = 9*d - 81. Let x(w) = 6*o(w) + 51*q(w). Let j be x(-8). Is 9/32 at most as big as j?
False
Let k(h) = -h**3 + 6*h**2 + 2*h - 26. Let q be k(6). Let x(b) = 3*b - 6. Let o be x(q). Which is smaller: -47 or o?
o
Let f be ((-60495)/8625)/(-1) + -7. Which is smaller: -1 or f?
-1
Let p(c) = -82*c**2 + 14*c - 211. Let w be p(13). Is w at least 0.2?
False
Suppose -7 = -3*v + 2*c, -329*v - 3*c - 17 = -327*v. Which is smaller: v or 2/2683?
v
Let h(x) = -22*x**2 + x. Let v be h(1). Let d = -624605 + 203621061/326. Let k = 3/163 + d. Is v >= k?
False
Let v be -1 - -123*4/(-12). Let w = 1061 - 1105. Is v less than or equal to w?
False
Let p be 17*(-19)/18088*-8. Which is smaller: p or -0.5311?
-0.5311
Suppose -4*h = 3*y - 225, 5*y + 50 = 3*h - 126. Suppose 5*f = -7 + h. Which is smaller: f or 34/3?
f
Suppose 6*i - 45377 = 3*z + 2*z, 4*i = -32. Is -9087 bigger than z?
False
Let d = 1416/72821 + -13/721. Let s = d - -99685/1414. Let g = s + -71. Which is smaller: g or -4?
-4
Let t be (2/(-5))/(9/(-2160)*-12). Let q be (t/(-20))/((-64)/80). Is -2/7 greater than q?
True
Suppose -2*l + 5*c = 23, -2*c + 5 = -c. Let u be 1/(340/(-8) + l). Let r = 208 + -209. Which is greater: u or r?
u
Let l = 0 + -0.44. Let a = l + 0.84. Let z = a + 12.6. Is 1 smaller than z?
True
Let q be -401 + -7 + (-3 - -3). Let i be q/120 - (-3 + 0). Suppose -z - n = 3*z - 28, -21 = -3*z - 4*n. Which is smaller: z or i?
i
Let j be (-3 + 5/2)*1474. Let v = 738 + j. Are -2/597 and v nonequal?
True
Let z(q) = -53*q - 459. Let f be z(-8). Let s be 9/(-2) + (f/(-10) - 3). Which is smaller: s or -9?
-9
Let z = -315.22 + 311.83. Is z greater than or equal to -25?
True
Let y = -5.4 - -6.02. Let a be (-2)/(-3)*(-66)/(-44). Let k(o) = 10*o - 9. Let f be k(a). Which is smaller: f or y?
y
Suppose 6534 = 2*h + l - 249, -5*h + 7*l = -16891. Is 0.4 > h?
False
Let m be 11*-5 + -2 + 1. Let z = -542 - -569. Suppose 79 = z*t + 1591. Is t >