s/(-306) - (-464)/m. Which is smaller: 0 or y?
0
Let f = -7323 - -7323. Is f equal to -5735?
False
Let l = -60 - -87. Let s = 0.2188 + -27.1868. Let h = s + l. Is 0.1 at most as big as h?
False
Let i be (3/(-5))/(39/(-325)). Suppose p + 407 + 120 = -3*d, 2625 = -i*p - 5*d. Is -525 greater than p?
False
Let w(k) = -296*k - 1184. Let l be w(-4). Let t be (-270)/52*108/(-35). Let f = t + -16. Which is smaller: l or f?
l
Let t = -1574 + 1612. Is -3/11 smaller than t?
True
Let t be (64542/348)/(-3 + 21/6). Let g = -371 + t. Which is smaller: g or -2?
-2
Let s = -20949 + 817055/39. Is 1 != s?
True
Let x = -177 - -175. Suppose -3*q = -2*j + 9, -3 = -j - 2*q + 5. Suppose 0 = 5*v - 2*g + 3 + 16, 3*g - j = 0. Is x less than v?
False
Suppose -n + 3*s = -11, 13 = -2*n + n - 5*s. Suppose 3*a + 621 = -4*y, -2*y + 4*a - 338 = -0*y. Let x = y - -319/2. Is x greater than n?
False
Suppose -4 + 4 = 20*z - 49*z. Are z and 7/842 equal?
False
Let p(m) = 42*m - 726. Let i be p(19). Is -12/13 at least as big as i?
False
Suppose 42*v - 45*v - 53 = -8*y, -3*v = 2*y - 17. Let x(j) = 3*j - j + 22 - 6*j. Let r be x(y). Is r equal to -1?
False
Let b = -174 - -112. Let g = -12 - b. Suppose 0 = 5*i - 4*x + 5*x - 73, -2*x - g = -4*i. Which is bigger: 1 or i?
i
Let k be 159/5 + -2 + 3/15. Which is bigger: k or -12?
k
Let s = -28 + 27.43. Let w = s + 0.27. Is w equal to 0.21?
False
Suppose -6*a + 8 = 236. Let i be (a - -44)*(-19)/(-6). Let g(o) = o**3 - 6*o**2 + 2*o + 7. Let q be g(6). Is i > q?
False
Let a(u) = 16*u - 212. Let o be a(10). Let t = o - 52. Do t and -106 have different values?
True
Let g = 1134/73 - 66961/584. Let i = g + 199/2. Which is smaller: i or 7?
i
Let o = -534 + 540. Let w be (o - (5 - -3)) + 1. Is w <= -63?
False
Suppose 21 = -3*p, 2*a - 8*p - 21 = -5*p. Let u = -1627 - -151313/93. Is a at least u?
False
Let m(h) = -1106*h + 3799. Let d be m(-4). Is d != 8223?
False
Let u = -71 - -71. Let b be u/((-11)/((-44)/8)). Are b and -2/95 nonequal?
True
Let h be 78/(-26) - (2 + 417/462) - -6. Is 1 <= h?
False
Let p = -2987 + 2989. Which is smaller: p or -452?
-452
Let c(u) = 5*u**2 + 14*u - 89. Let p be c(9). Let a = p - 409. Is a at most -0.3?
False
Suppose -352 = -2*g - 6*g. Suppose q = 3*l + 12, -3*q + g = -6*l + 5*l. Let y be (q/10)/(54/10). Which is greater: 1 or y?
1
Let z be (-3)/51*2 + (-435)/(-85). Suppose -123 = z*y - 2*d, 14*d + 78 = -3*y + 11*d. Is -4 <= y?
False
Let r = -984.2 + 984. Which is smaller: -652 or r?
-652
Suppose -p = -5*c - 2*p + 38, -4*c + 40 = -4*p. Suppose 0 = c*z + 169 - 25. Let g(d) = d**3 - 5*d**2 - 3*d - 4. Let f be g(5). Is z equal to f?
False
Let o(v) = 65*v + 926. Let x be o(-17). Is x at least 14?
False
Suppose 0 = -x - 0*r + 4*r + 15, -4*r = 16. Let b = -38 + 26. Is x at least as big as b?
True
Let k be (-2)/(-5)*(-16)/135632*45/(-9). Is k greater than or equal to -1?
True
Let u be ((-4)/(28/329) - (5 + -4))/31. Let f = 1957991 - 424882874/217. Let x = u + f. Which is smaller: x or 5?
x
Let l = 2460.59 - 2362. Let s = -230 - -329. Let b = l - s. Which is greater: b or 0?
0
Let w be (33 + -32)/((-2)/118) - 2. Is w bigger than -8?
False
Let j(d) = -668*d - 4796. Let f be j(-7). Let k be -2 - ((-2)/(-2) - -3). Let l be k/(-10) - (-1206)/(-10). Are l and f non-equal?
False
Let z be ((-40)/(-240))/(-4 + (-663)/(-189)). Is z at most as big as 1?
True
Suppose 4*m = 16*m - 192. Suppose 15*g - m*g = -5. Suppose v - 3 = -u, -2*v - 13 = u - g*v. Do u and -9/13 have different values?
True
Let a be 123/5 - (8 - (-168)/(-20)). Suppose -5*z + h = 48 + 3, 3*z - 2*h = -a. Is z smaller than -12?
False
Let c = 2881/5474 + 1/322. Suppose -4*d = i + 3*i - 3176, -2*d = i - 1591. Let y = d - 796. Is y < c?
False
Let h = 0.54 + 6.26. Let m = h + 14. Let t = 21 - m. Which is greater: 0 or t?
t
Let s = -223/55 + -97/55. Let g(x) = -500*x - 1506. Let w be g(-3). Do w and s have different values?
True
Let k = -2029 - -2028. Which is smaller: -1/3147 or k?
k
Let y = 99 + -89. Suppose 16 - 46 = -y*u. Is 0.09 bigger than u?
False
Let q = 30218 - 30227. Is -263/33 bigger than q?
True
Let f be 1/(1 + -5) + (-3)/(-12). Suppose f = 16*v - 94 + 958. Which is smaller: -55 or v?
-55
Let k be (5 - 130)*(6 + -2 + -1). Let a be (12/7)/((-1)/14). Let i be k/(-549) - (-2 + a/(-9)). Is 0 greater than i?
False
Let q(p) = 4*p**2 - 9*p + 3. Let a be q(2). Let f be -2 + 4 + (-76)/46. Let y = f - 33/161. Is y less than or equal to a?
True
Let b = -451 + 455. Let z be (-10)/b*6466/265. Is -57 at least as big as z?
True
Let q be ((-234)/(-22932))/((-2)/(-14)). Let d be 3 + (6/(-2))/3. Suppose 0*z + d*z = 0. Are z and q non-equal?
True
Let f be (-8)/(-20) - (-106)/10. Let u = -145 - -66. Let a = -66 - u. Which is smaller: f or a?
f
Suppose -5*u - 474 = 3*i, -4*i + 2*i = -2*u + 300. Let g = 144 + i. Is 2 at least g?
True
Suppose 37*a = -50*a + 39759. Which is bigger: 458 or a?
458
Suppose 42*v - 41*v + 3 = 0. Let q be (3 - 1329/441)*v. Are -1 and q non-equal?
True
Let z = 9461 + -10727. Do 0.08 and z have different values?
True
Suppose 11 - 9 = 2*u, -3*q + 579 = 3*u. Suppose q = -65*v + 61*v. Which is smaller: -49 or v?
-49
Let a = -0.04072 - 0.03418. Which is greater: a or 0?
0
Suppose 2*v - 2*q = 0, -31*v + 32*v + 2*q = -3. Which is greater: 12/67 or v?
12/67
Let r = -15.9 + 10.1. Let b = r + 47.8. Let g = b + -42. Is -52 <= g?
True
Let h = -78 - 32. Suppose -68*f + 110*f - 84 = 0. Which is bigger: h or f?
f
Suppose -60 = 3*w + m + 753, -4*m = 5*w + 1355. Let v = -14691/2 - -7088. Let r = w - v. Is r at least -13?
False
Let v = -1879 - -1879.01. Let s = 90 - 92.1. Which is greater: v or s?
v
Let p(r) = -71*r**3 + 2*r**2 + 2*r + 1. Let v be p(-1). Suppose -2*q - v = -6*q. Suppose 0 = -3*g - q - 57. Which is bigger: g or -24?
-24
Suppose -w + 412 = -4*j, 3*w - 2*w = 5*j + 514. Let x be ((-66)/(-32))/(j/(-136)). Is x >= 3?
False
Suppose 25 = -2*t - 47. Let u be 3 + (-50)/18 + 548/t. Which is greater: -17 or u?
u
Let t be 6/(-21) + 198/595. Let l = t - -6/17. Let q = -12710.84 + 12711. Which is greater: l or q?
l
Let l = -39/1055 + 46617/1089815. Are l and -1 nonequal?
True
Let d = 156 + 543. Let t = 698 - d. Which is smaller: t or -4/163?
t
Let u(h) = 3*h**2 - 8. Let f be u(-7). Suppose 0 = 10*a - f + 159. Is -32/23 < a?
False
Let n = 0.1305 + -4.0305. Is -43 equal to n?
False
Suppose 19*d - 48179 + 14122 = 7952. Is d != 2212?
True
Suppose 5*y = -i - 3*i + 9, 2*i = y + 1. Let k = 157 + -262. Let p be (k/(-216))/(-7) - 21/56. Is p < y?
True
Suppose -4*s + c + 46 = -0*c, 0 = -4*s + 2*c + 44. Suppose 0 = -9*q + s*q + 276. Let g be 3/(-2)*q/6. Which is smaller: g or 24?
g
Let c = -224 + 257. Let z = -64 + 35. Let g = z + c. Which is smaller: -0.3 or g?
-0.3
Suppose 0*r + 4*r = -4*p + 2332, r - 583 = 2*p. Let y be (r/22 + -1)/(2/4). Is y equal to 47?
False
Let h = -448 - -469. Let g = 656 + -6994/11. Is h greater than or equal to g?
True
Let x = 5514 - 5514.12. Which is smaller: x or 21?
x
Let m = -1028/646065 + 1/2205. Let i = 10531/14943 - m. Which is smaller: i or 0?
0
Let r be 24*(-1)/(12/(-8)). Let a(z) = -z**2 + 14*z - 21. Let c be a(12). Suppose c*m + 5*u = -22, -5*u - r = 2*m - 3*u. Are m and -7 non-equal?
True
Let c be (12 - (-2796)/120)/((-4)/10). Let x(f) = -60*f**2 + 26*f - 1. Let g be x(-1). Which is smaller: g or c?
c
Suppose 694*o + 4*z = 696*o + 12, 3*o + 5*z = 15. Which is smaller: 3/2249 or o?
o
Let r(c) = -2*c**2 - 140*c + 143. Let z be r(-71). Is z at least as big as -120/511?
True
Let r be (82/41)/(4/9130). Is 4565 at least as big as r?
True
Let h be -1 + 5/(-4)*-1. Let x = -303.348 - 0.652. Let b = x - -289. Which is greater: b or h?
h
Let c be -1 + -44 - 7225/(-289). Is c at most as big as -375/19?
True
Let r = 274 - 477. Let m = 206 + r. Let d = -3.3 + -0.7. Which is smaller: m or d?
d
Let n(o) = 7*o**3 + 162*o**2 + 22*o - 4. Let t be n(-23). Which is smaller: 51 or t?
t
Let r(t) = 4*t - 67. Let o be r(15). Let l be (660/(-315))/((-6)/o). Which is greater: 0 or l?
0
Suppose 3*s + 0*s - 1 = 2*i, 3*i + 6 = 0. Let a = 2551/564980 - -1/2756. Are a and s equal?
False
Let b(x) = 13*x**2 - 6*x**2 - 10 - 18*x**2 + 20*x + 0. Let u be b(3). Does -46 = u?
False
Let f = -5328 + 5328. Let p be (4 - (-8759)/(-1752)) + 1. Is f greater than p?
False
Let z be 26/4*(2 + 2