o = -4*r + 413. Does r = 106?
False
Let y be 104/(-60) - 6/(-15). Suppose b + 126 = -3*m - 0*b, -3*m = -2*b + 117. Let u = -43 - m. Is y smaller than u?
False
Let k be (1 + 1)/(73759/(-82)). Let u = 300/2827 + k. Do -1 and u have the same value?
False
Suppose 0 = 4*y - 5*j - 82 - 412, -3*j = y - 115. Is 608/5 not equal to y?
True
Let v = 159344 - 159344. Let g be (1/(-3))/(2/4). Let m = 5/6 + g. Which is bigger: m or v?
m
Let r(m) = m - 20. Let a be 19 + (-15)/(20/4). Let o be r(a). Let n be 1/o - 33/(-4). Which is smaller: n or -1/3?
-1/3
Let r(c) = -c**2 - 22*c - 65. Let v be r(-10). Let j = v - 53. Do j and 7 have the same value?
False
Suppose j - 14 = a - 22, 2*j - a + 15 = 0. Which is greater: j or -103/16?
-103/16
Let n = -18 + 23. Suppose -5*v = 5*x - 4*v - 5, 4*v - 5 = -n*x. Let h be ((-9)/(-30))/((-6)/(-8)). Is h < x?
True
Let d = 3492 - 3478. Is -198 < d?
True
Let t be 51/10 + 20/(-40). Let k = 22.8 - 23.8. Which is bigger: t or k?
t
Let b = -219350/69 + 3179. Which is smaller: b or -18?
-18
Let j = -27 - -24.94. Let v = 4.06 + j. Do v and 3.1 have the same value?
False
Let t be 304/720 + (-20)/90. Which is smaller: t or -31?
-31
Suppose 0 = -5*u + 5 + 5. Let h(a) = 5*a**3 + 4*a**2 - 7*a + 9. Let y be h(u). Let z be 10/(-15) + (1 - y/(-117)). Which is smaller: 0 or z?
0
Let m = 2293898/7361 - 5298/17. Which is smaller: -1 or m?
-1
Let u = 30741 + -153516/5. Is u less than or equal to 39?
True
Let d = 2144/923 - 154/71. Let u = 0.2 - -0.3. Let k = u + -0.4. Are d and k nonequal?
True
Let u(d) = 113*d + 2391. Let g be u(-21). Which is greater: g or 253/13?
253/13
Let m = -3.04 + 0.04. Let c be (-456576)/(-64119) + (-1)/11 - 7. Is c greater than m?
True
Let p = 76 + -101. Let n = -20 - p. Is -3 < n?
True
Let v be (-1840)/1104 + (-2)/(-3). Are -212/113 and v non-equal?
True
Let r be 1 - 4 - (-2)/(-8)*(3 + -15). Is -343 > r?
False
Let q be 3 + 10 + -13 - -223 - 6. Which is bigger: q or 1092/5?
1092/5
Let h(y) = -152*y - 35. Let f be h(-8). Do 1181 and f have the same value?
True
Let r = -10720 + 10723. Which is bigger: -0.0127 or r?
r
Let q be -6 - 0 - 21*(-944)/(-128). Is q at least as big as -162?
True
Let r = -6.55 - -405.55. Let u = 392 - r. Which is smaller: -20 or u?
-20
Suppose 0 = -3*v - 5*a - 10842, 2*v + 1755 = -a - 5494. Which is greater: -3633 or v?
v
Suppose -78*w = -93*w - 4845. Which is smaller: -647/2 or w?
-647/2
Suppose 2*h + 24 = -0*h. Let b be 2284/22 - 22/(-363)*3. Suppose b + 39 = -13*n. Is h <= n?
True
Let u be (144/(-312))/(6/(-429)). Is u equal to 34?
False
Suppose 3897 = 18*x + 35487. Let h be (-6)/45 + (-10494)/x + 8. Which is smaller: h or 15?
h
Suppose 40 = 5*p - 5*w, -3*w = 2*p + 12 + 7. Is p at most -6/6341?
False
Let o = 688 - 686. Suppose 4*r - 5*f = -26, o*f + 40 = -9*r + 5*r. Suppose -5*q - 45 = -0*q. Is r not equal to q?
False
Let b be (5687/2827 + -2)*1/(2/6). Which is bigger: b or 0?
b
Let t be 32/(-21) + (-2)/(-1). Suppose 110*g + 207 + 307 - 404 = 0. Which is smaller: g or t?
g
Let n = 5 - -5. Suppose -182 = 142*g - 33*g - 66*g - 56*g. Which is smaller: g or n?
n
Let v be -6 - (26487/(-15) + 2 + -6). Let y = 1794 - v. Which is smaller: 31 or y?
y
Let o(x) = -2*x**2 + 16*x + 22. Let w be o(9). Let f be (2/w + -2)*10/(-15). Which is smaller: f or 8/7?
f
Suppose -4*b = -5*q + 27, -42 + 24 = -2*q + 4*b. Which is smaller: -24/37 or q?
-24/37
Suppose 9*p = 4*p - 945. Let q = p - -183. Let l be (-4)/(-10) + 27/(-5). Which is bigger: l or q?
l
Suppose 7*c - 8*c = 14*c + 255. Suppose -7*u = -3*u - 204. Suppose -u = z + 2*z. Is z at most c?
True
Let f = 0.346 - -35.854. Let l = -15.2 + f. Which is bigger: l or 0.3?
l
Let p(b) = b**3 - 3*b**2 - b + 2. Let t be p(3). Let h be -1 + (0 - -1) + t + -24. Let c = 56 + h. Do c and 31 have the same value?
True
Let o = -0.548 + -79.452. Let w = 8 + o. Is w at least 1?
False
Let r = -60838.083 - -81.083. Let a = -60707.899 - r. Let p = -0.101 + a. Is p >= 0.1?
True
Let c be (1 - 1)/(3*3/9). Is c less than or equal to -4/51?
False
Let s(g) = 17*g - 94. Let q(i) = -33*i + 192. Let j(m) = 2*q(m) + 5*s(m). Let o be j(6). Which is greater: 27 or o?
o
Suppose 2*y + 487 = 2*n - 375, 0 = 5*y + 4*n + 2137. Which is greater: 0 or y?
0
Let w = -551.7 - -552. Suppose -h = 9 + 1. Which is smaller: w or h?
h
Let w be 604/(-42) + (-2 - 24/(-14)). Let u = 672 - 686. Which is bigger: w or u?
u
Suppose -304*i - 6*i = -1155796 - 396994. Is i smaller than 5007?
False
Suppose 34*j - 263 = a + 31*j, -2*a - 562 = 3*j. Which is smaller: a or 0.2?
a
Let s = -0.4911 + 28.8211. Is -1/2 at least as big as s?
False
Let b be -55*(-10)/10200 - (-1)/(-4). Let j be (-11)/22*(3 + -1). Which is greater: j or b?
b
Let f = 304 + -360. Let s(i) = -7*i + 8. Let a be s(9). Is a >= f?
True
Suppose -60763 = -5*g - 60788. Suppose 5*b + 2*n - 6 = 0, n - 1 = -4*b + 5. Let p = b - 6. Which is bigger: p or g?
p
Let s = 4349 - 4331. Which is bigger: s or 179/10?
s
Let d = -3233 + 2986. Suppose 3*j + 308 + 436 = 0. Which is greater: j or d?
d
Let u be 0 + 5 + -11 - (0 + 1). Let t = u - -6. Let r be 0/(-1) - (-3 - (-437)/145). Is r at most as big as t?
False
Let l = -2.574 - -3.274. Which is bigger: 0.064 or l?
l
Let m be -10 + ((-35288)/(-35300))/1 + 9. Which is greater: 1 or m?
1
Let z be 1 - ((-10)/5 + 51/36). Let y = -13/12 + z. Is y smaller than -5/2?
False
Let b = 0.1 - 0.2. Let q = 0.29 + 13.41. Let l = 15.7 - q. Is l less than b?
False
Let k = 2 - 2.5. Suppose 3*h + 4 = 2*m, -h + 3*h + 4 = 2*m. Is k != m?
True
Let o = -126 - -124. Let h = 28.2347 + -5.2717. Let s = h + 0.037. Which is smaller: o or s?
o
Suppose -346*v + 364*v = 0. Is v smaller than -2/25475?
False
Let t(m) = m**2 - 4*m + 21. Let j be t(-22). Let r(l) = 2*l**2 - 14*l + 73. Let n be r(-13). Is n at least as big as j?
True
Suppose -7*m - 16 = -3*m. Let z be (567/(-144) - -4)*-42. Is z at most as big as m?
False
Let q = 747 - 742. Suppose 4*i = q*a + 1, -a = -2*i - 7 - 0. Is i bigger than -74/11?
True
Let r(u) = -u**2 + 28*u - 29. Let z be r(26). Suppose z = -4*x + 27*x. Which is smaller: -3/122 or x?
-3/122
Let x = -140 + 182. Let u = x + -43. Which is greater: u or -4/25?
-4/25
Let n(a) = 8403*a + 24. Let y be n(1). Let i = y + -648897/77. Is i > 1?
False
Let n = -357 - -290. Let y = n - -202. Which is bigger: 137 or y?
137
Let m be 5/(15/(-9)) - -3. Let p(n) = -n**3 - 2*n**2 + 138. Let h be p(0). Let y be ((-8)/h)/(80/(-24) + 4). Which is smaller: y or m?
y
Let n be (7/((-42)/75))/(4/(-8)). Suppose -36*p + 55 = -n*p. Is -3 at most p?
True
Let a be (-222900)/7704*8/10*75. Let n = -1736 - a. Let w = -0.9 + 1. Which is smaller: w or n?
n
Let t(y) = y**3 + 8*y**2 + y + 19. Let a be t(-8). Suppose a*g = 2*g. Let f be 2 + -6*1/7 + g. Which is bigger: 2/5 or f?
f
Let g = 57 + -97. Let o = 41.04 + g. Let m = o + -1.34. Which is bigger: m or 5/4?
5/4
Suppose -478*m + 900 = -498*m. Which is bigger: m or 34?
34
Let g(u) = 44*u**2 - u + 25. Let n be g(12). Let r = -38009/6 + n. Which is greater: 15 or r?
15
Let g = 241/85 + -25/34. Let x = 82 - 73. Suppose 0 = -306*b + 297*b + x. Which is smaller: g or b?
b
Let g(p) = -2*p**3 - 128*p**2 + 125*p - 852. Let n be g(-65). Is n > -521?
False
Let f = -0.06 - -1.26. Let d be (-13937)/(-4508) + 2/23. Let x = 24/7 - d. Which is bigger: x or f?
f
Suppose 38*q - 8588 = 3192. Which is greater: 306 or q?
q
Let y = -4304.173 + 3896.79. Let l = 432.45 + y. Let o = -0.067 + l. Which is greater: -0.2 or o?
o
Let l = -7.757 - -5.757. Is l not equal to -560?
True
Suppose 0 = -12*q + 8*q + 20. Let b be -7*(161/(-49) + q + -2). Suppose 3*g - 5*g = -b. Is -1/73 at least as big as g?
False
Let o(j) = -12*j**3 - 2*j**2 + 5*j + 2. Let l be o(-3). Let f = 375148241/69 + -5437224. Let t = l + f. Which is smaller: t or -1?
-1
Suppose 144*s = -22*s - 52*s - 108*s - 2*s. Let y = 77.2 + -71. Which is smaller: y or s?
s
Let z(p) = p**3 - 123*p**2 - 5725*p + 213. Let i be z(159). Is i at most as big as 116?
True
Let b = -6791/13 + 522. Let i = 282 - 283. Is i at least b?
False
Let b be (-8)/2 - (-4 + 27). Let z be 10*(-2456)/1248 - 6 - (-1)/(-6). Is b bigger than z?
False
Suppose 3*f - 79 - 41 = 0. Let a(k) = 2*k**2 + 2*k - 4. Let b be a(2). Suppose -16 - f = b*c. Is c greater than or equal to -4?
False
Let t = 924 - 892. Let x = t - 