2 = -p*b + b. Suppose -b*h + 2*s = -44, -h - 46 = -3*h + 3*s. Is h smaller than 23?
True
Suppose -20 = -5*i + i. Suppose -i = 7*m - 26. Suppose q = -m*q - 24. Which is smaller: q or -1/4?
q
Let l be 4/10 + 2/(-5). Suppose -208 - 123 = -65*n - 6. Suppose l = -8*g + n*g - 54. Which is smaller: g or 1?
g
Suppose 2*a + 2 = 390*i - 392*i, -4 = -2*i + 4*a. Let u = 48162/65 - 741. Is u >= i?
False
Let z = 75.6 - 71. Let b = -44.4 - z. Let v = -42 - b. Is v at most -0.1?
False
Let a = 486 + -527. Suppose 3*j - 134 = 2*j. Suppose -30 = q - 3*x, -3*q - x - j = x. Is q != a?
True
Let w be (1/9*0)/(-1). Let j = -377 + 13194/35. Is j at least w?
False
Let u = 29/825 - 623687/23100. Let y = u + 105/4. Let d = 6 - 8. Which is smaller: y or d?
d
Let o(x) = 5*x + 336. Let m(p) = 13*p - 155. Let v be m(11). Let n be o(v). Is n at most -1?
False
Let s = 115606/77 + -16512/11. Is 418 equal to s?
False
Let s = -205 + 207. Suppose -5*q - 240 = 2*d + 2*d, 5*d + s*q = -300. Is -61 greater than d?
False
Suppose -2797 = 22*w - 311. Let u = w - -79. Do u and -168/5 have different values?
True
Let w(d) = d**2 + 17*d + 33. Let o be w(-15). Let t be (-4 - 245/(-80)) + -3 + o. Let r(x) = -25*x - 150. Let m be r(-6). Is t at most m?
True
Suppose 11*q = 24 + 53. Let a(h) = -h**2 + 12*h - 36. Let p be a(q). Which is bigger: -1/27 or p?
-1/27
Suppose -104 + 104 = 25*z. Let d be (516/250 + -2)/2. Is z greater than or equal to d?
False
Let z be (-12 - (-239)/(-7)) + 13. Which is bigger: 1/3 or z?
1/3
Let o(v) = 22*v + 189. Let z be o(-8). Does z = 0.12?
False
Let c = -96.5 + 32.8. Let v = -57.5 + -6.5. Let h = v - c. Which is smaller: 6 or h?
h
Let m(k) = -6*k + 60. Let o be m(6). Suppose r = -z - 0*z - 16, 3*z = r + o. Let p be (-230)/23*r/(-5). Is -36 >= p?
True
Let u be ((-8)/(-34))/2*1020078/252. Let x = -3348/7 + u. Which is greater: x or 1/3?
1/3
Let o(s) = -s**3 - 31*s**2 + 228*s + 222. Let b be o(-37). Is -8/681 greater than b?
False
Let k = 90 + -88. Suppose -254 - k = 8*j. Which is smaller: 3 or j?
j
Let g be -4*((-61)/(-8))/(-7 + 156/24). Which is smaller: g or 21?
21
Let u be (5 - 19)*(176/(-14) + -2). Suppose u = -3*w - z, -w - w + 3*z - 147 = 0. Let c = -70 - w. Is c greater than or equal to 1/45?
False
Suppose -1816*z + 14576 = 5*a - 1815*z, 5832 = 2*a + 2*z. Which is smaller: 2918 or a?
a
Let q be (18/(-36)*(-1 - -1))/(-2). Is q greater than -9/116?
True
Suppose 4*r - 2*k = -86, -2*r + 5*k = -5*r - 97. Let i = r + -46. Is i <= -69?
True
Let j be (4/(-3))/(-14 - 276/(-18)). Is j at least 56/167?
False
Let h = 1118 - 1166.1. Let j = h - -48. Which is greater: 10 or j?
10
Let y = 12107 + -12142. Suppose -z + 116 = z. Let l = z + y. Is 22 greater than l?
False
Suppose 3*z + 3 + 0 = 0. Let r be (-11 - (-276)/24)*2/(-111). Which is smaller: z or r?
z
Let n(v) = 199*v - 732. Let o be n(8). Which is smaller: o or 866?
o
Let t be 22/121 + (-88822)/(-198) - (-114)/513. Which is smaller: t or 456?
t
Let d be 4/6 - (-9)/(-135)*-5. Let n be d + (-4 - 4 - -5). Which is bigger: -9 or n?
n
Suppose -g + 4*m - 28 = 0, -2*m + 246 = g + 226. Is 155/33 less than g?
False
Let x be (-11299)/(-3)*(-15)/10 + (-30)/(-20). Is -5647 < x?
False
Let f = 3814.3 + -5696.3. Which is greater: f or -3?
-3
Let p = 2842 - 2844. Which is greater: p or -22?
p
Suppose -3*q = t - 31, -t + q + 13 + 10 = 0. Let k be 1*4*2/8. Let b be 70/t + -5 - (0 - k). Which is greater: b or -2/7?
-2/7
Suppose -170*i - 837 = 1203. Is -14 greater than or equal to i?
False
Let w = -734389/77 + 9537. Is -1 <= w?
True
Suppose 0 = 74*i + 45 - 859. Which is bigger: 174 or i?
174
Let u(m) = -2*m - 24. Let l be u(-19). Suppose 8*r - l = r. Let p be r/((-8)/6)*(-12)/(-18). Is -1 smaller than p?
False
Let n = -10938 + 339076/31. Is -175 less than n?
True
Let n be (9 + 81/126 + -10)*(-16)/20. Which is smaller: n or -12/107?
-12/107
Let j = -51 - -59. Let z = -32.2 - -40.39. Let a = z - j. Is a > 0.1?
True
Let u = -5793 - -5794. Which is greater: -3309 or u?
u
Let r = 249.6 + -181.44. Let z = 68 - r. Let s = z - 0.14. Is s not equal to -14?
True
Let u = -11948439/245 - -48769. Which is greater: u or 1?
1
Let i(m) = -113*m**2 - 858*m + 7754. Let w be i(9). Is w at least -9118?
False
Let o = -2338 - -2212. Which is greater: -99 or o?
-99
Let s(r) = r**3 + 3*r**2 - 3*r + 2. Let v be s(-4). Let o be 5 + (v - -1) + (-39)/15. Which is greater: o or 0?
o
Suppose 331 - 340 = -23*n - 285. Let q(s) = -s**3 + s**2 + 2*s + 2. Let z be q(3). Is n equal to z?
False
Let j(t) = -t**3 + 12*t**2 + t - 11. Let p be j(12). Let g = 239 + -217. Let u = g - 22. Is u less than or equal to p?
True
Let w = 782/13 - 9083/143. Let g = 391/116 - 53771/8932. Let b = g - w. Which is bigger: 1 or b?
1
Let h(z) = 12*z**3 + 4*z**2 - 2*z - 4. Let d be h(-1). Is d != -10?
False
Let n = -90 - -83. Let t be (9/3)/3 - -19. Let p be (0 + (-1)/(-3))*(t + -2). Which is bigger: p or n?
p
Let w be (9180/(-72))/51*2836/(-10). Are 3542/5 and w non-equal?
True
Let p = 20.6 + -16. Let w = 16.6 - p. Let i = -0.01 + -1.99. Is i < w?
True
Let h be -1 + 4139/9 + (3604 - 3608). Is 454 less than or equal to h?
True
Let f(r) = 3*r + 2. Let q be f(0). Let w be 4/(2800/1290) + (-3)/15. Is q at least as big as w?
True
Let x = -298/5 + 312/5. Let g be (4/(-10))/(25/(-125))*1. Is g bigger than x?
False
Let m = -7/7946 - -1718333/11919. Suppose -2*n = -6*n + 568. Let i = n - m. Is i equal to -2?
False
Let w(p) = -7*p + 4 + 19 - 59*p + 4 - 1. Let b be w(-4). Is 289 less than or equal to b?
True
Let h = 2395 - 2260. Which is smaller: h or 678/5?
h
Let m = -11124/321005 - -21/2945. Which is bigger: m or -8/17?
m
Let y = -39/206 - -12239/53766. Which is smaller: 0.3 or y?
y
Let c(t) = 23*t - 256. Let f be c(27). Which is greater: f or 361?
f
Let o = 29423524/63 - 467050. Let h = 92/9 + o. Is 129 at most as big as h?
False
Let p be (-16 + -7*27/(-126))*(-2 + 34). Which is smaller: -463 or p?
p
Let l = -46 - -67. Let p(t) = 1 + 12*t**2 - l*t**2 + t + 8*t**2. Let f be p(2). Is f > -1?
False
Suppose -2*l = 5*u - 34, -2*u = -4*l - 0*u + 116. Let y be 141/l + 6/81*-3. Which is smaller: y or 10?
y
Suppose 0 = 2*d + 5*v - 129, 3*d - d = 5*v + 139. Let a = d + -15. Let k be ((-234)/a)/(78/16). Which is smaller: k or -1?
-1
Let v be (-423632)/2748707 - 4/(-26). Do v and -2 have the same value?
False
Let h = -8354 + 6168. Which is greater: h or -2187?
h
Suppose 8*g + 3 - 11 = 0. Let s be (-430)/(-432) + (g - 4 - -2). Let f = -653/1080 - s. Does -2 = f?
False
Let k be 3*((-12)/(-4))/(-1005). Suppose l + 2*l = 33*l. Does l = k?
False
Let a be ((-105)/(-2135))/(166/8). Which is smaller: -1 or a?
-1
Let j = -0.06 - 0.14. Let n = 159845 + -159815. Which is smaller: n or j?
j
Let y be ((-2)/2)/7 + (-42150)/(-291081). Let j = y + 11042357/2494980. Let z = -1/60 - j. Is -4 greater than z?
True
Let f = 2408 - 4223. Let t = 12727/7 + f. Let m be 46/23 + -27 - -27. Which is greater: t or m?
t
Let g be 733/1205 + 123/(-205). Let l = -1 - -2. Which is bigger: l or g?
l
Let m = 4/11467 + -2339464/561883. Do m and -4 have the same value?
False
Suppose -4*f - 692 = 4*b, -5*b + 3*f - 1189 = -324. Is b at most as big as -175?
False
Let k = -144/43 + 25099/7482. Suppose b + 500 = 4*q + 495, 3*b + 24 = 3*q. Which is smaller: k or q?
q
Let m(h) = -h - 1. Let n be m(0). Let o = 23 + -32. Let d = o + n. Is d at most as big as -9?
True
Let h = 2874 - 15106/5. Let a = h + 9576/65. Which is greater: -1 or a?
a
Suppose -5*l + 0*x = 5*x - 2900, -5*l = x - 2880. Suppose -5*b = 5*m - 3*b + l, 112 = -m - b. Is -117 <= m?
True
Let t = 3038 + -3038. Do t and -243/2 have different values?
True
Let g be 0 + 1/((-45)/(-25)). Let f = 31 + -73. Let w = f - -41. Is w less than or equal to g?
True
Let v(a) = -4*a - a**2 + 0*a + 2*a**2 + 3*a**2 - 32 - 3*a**2. Let p be v(-4). Is -18/37 at least p?
False
Let g(l) = -2*l**3 + 24*l**2 + l - 9. Let o be g(12). Let x be (-1)/(-2) - ((-22)/(-8) - o). Let d = -1 + 0.5. Which is bigger: d or x?
x
Let u be 1/(-4) + 1593/36. Let i = u - 70. Which is smaller: -28 or i?
-28
Suppose -3 = -n + 4*n. Let b = 2 + n. Let c = 79081 + -79080.4. Is c < b?
True
Let w(u) = 36*u + 65. Let f be w(-5). Let t be f/10*1 + (3 - -1). Do -8 and t have the same value?
False
Suppose -140*s - 61 - 14 - 65 = 0. Is -2/7415 bigge