i**2. Let h be p(9). Is h less than -3/7?
True
Let i be (-1320)/8*24/(-60). Let m(f) = 9*f**2 - 4*f - 3. Let p be m(3). Is p equal to i?
True
Let r be (-9704)/133 + 380/3610. Which is bigger: r or -72?
-72
Let g be (-2 - -92)*70/175. Suppose -g*w + 14*w = 22. Is w less than -24/79?
True
Suppose -4*h = 11*i - 13*i + 14, -3*h - 13 = -4*i. Which is bigger: 6322 or i?
6322
Let z = 134 - 134. Let a be -1 - (z - 2) - (3 - 1). Which is smaller: a or -1/5?
a
Let k be ((-2)/6)/(-2*(-5)/(-6270)). Suppose 9*s = -200 + k. Are 2/685 and s unequal?
True
Let n be (-84 + 78)*458/(-4). Let j = -412 + n. Which is greater: j or 274?
j
Let o = -10627 - -10626. Does -8/777 = o?
False
Let a(q) = -80*q + 167. Let f be a(-5). Let i be (2 - 1)/(f/243). Which is smaller: i or 1?
i
Let h be (-1)/(0 - 1/25). Suppose -3*i = 4*x + i - 80, 2*x = 3*i + h. Suppose -x - 13 = 2*m. Is m equal to -15?
True
Suppose 2*g - 7 = 1. Suppose a + 5*y = g*a - 10, 0 = -5*y - 10. Suppose a = -2*b + 5*p + 23, 0 = -3*p + 2*p - 3. Do b and 7 have different values?
True
Let q be (72/(-40))/((-42)/(-1190)). Let r be 0*(1/1 + -2). Are q and r nonequal?
True
Let p be -145*(-15 + 268/20). Suppose k - 2*k = -232. Is k smaller than p?
False
Let q(c) = 2*c**3 - 13*c**2 - 32*c - 4. Suppose 563 - 475 = 11*x. Let v be q(x). Let h(s) = 14*s + 2. Let j be h(-5). Is v at least as big as j?
True
Let n be ((-68)/(-3))/1 + 1733/5199. Is n not equal to -248?
True
Let g = 1610/3 - 584. Let z be 2 - (51 - (3 + -1)). Which is smaller: z or g?
g
Suppose -5*f = -5*r + r + 273, -5*r - 186 = 3*f. Let s = 200 + -255. Which is smaller: s or f?
f
Let p = -1/172 - 159/2236. Let w = -525 - -173. Let h = w + 350. Which is bigger: h or p?
p
Let k(x) = x**3 - 11*x**2 - 11*x - 14. Let h be k(12). Let u be 51/(-132) - (-4)/64*-4. Which is smaller: h or u?
h
Suppose 210 = 5*s - 5*o, -s - 3*o = -5 - 49. Let z be (1970 - 2075)/(12/(-5)). Which is smaller: z or s?
z
Let q = -35172 + 35499. Is q greater than 4?
True
Let x be (-181)/(-121) - (-663)/(-442). Are x and 1 equal?
False
Suppose -68*n - 110 = -79*n. Suppose 18 = n*i - 2182. Is 220 != i?
False
Let b be (17 - -3594) + (3 - (-3 - -3)). Which is smaller: 3613 or b?
3613
Let x = 1580479/111 - 14239. Is x at least 0?
False
Suppose 11806 = 112*t - 10930. Which is smaller: 3450/17 or t?
3450/17
Let w = -2/21427 - -17377303/64281. Is w greater than 1?
True
Let i be (-87338)/407708 - (-216)/1008. Is i less than -0.1?
False
Let a = -137 - -138.448. Let h = 3.352 + -3.3. Let j = a + h. Which is greater: -0.2 or j?
j
Suppose 0 = -65*t + 61*t - 24, -a - 148 = -5*t. Is -158 <= a?
False
Let a = -29/600 - -2143/46200. Do a and 0 have different values?
True
Let v = 178565 + -178565. Let x be ((-2)/(-3))/(173/(-568308)). Let p = 2190 + x. Is v bigger than p?
True
Let w = -285 - -136. Let d = -148.977 - w. Is 3 bigger than d?
True
Suppose 0 = 4*k - 138 - 46. Let t = 66 - k. Let o be 8/t*1 + (-11)/15. Is o less than 1?
True
Let v = 39002 + -39002.1. Let r = 20.6 - 24. Which is smaller: v or r?
r
Let h be ((-65)/(-19) + -4)/((-20)/(-20)). Do 0 and h have different values?
True
Let j = -9407 - -6378. Which is bigger: j or -3?
-3
Let l = -8951094/847 - -10568. Is 1 > l?
True
Let p = 6121 - 10825. Is -4704 > p?
False
Let q = -1.95 - -2. Let s = 321 - 322. Let h be s*-3*3/(-27). Is h at least as big as q?
False
Let w(c) = c**3 - c**2 + c - 1. Let j be w(2). Let y be (-63)/((-35)/j) + -5. Let r be (0 + 1)/((-2)/(-10)). Which is bigger: y or r?
r
Let l = 3765/854 + -15/122. Let z = -351 + 344. Let i be z - (-20 + 6 + 2). Which is greater: i or l?
i
Suppose -13*c = -20*c - 1561. Let i = c + 189. Which is smaller: -36 or i?
-36
Let t(s) = -s**3 + 2*s**2 + 3*s - 1. Suppose -4*b + 3*b + 3 = 0. Let m be t(b). Which is smaller: -75 or m?
-75
Let j = -2719/57534 + 1/1338. Suppose 4*w = 3*k - 2 - 5, 5*k - 4 = -w. Let m be k - ((-1)/(-1)*0)/2. Is j greater than or equal to m?
False
Let p = -9 + 8. Let r be (1802/48)/(-17) - (-1 + p). Let v = -5/6 - r. Is v bigger than -1?
True
Let l(g) = -2*g**3 + 11*g**2 - 18*g + 60. Let d be l(7). Suppose 4*x + 5*c + 831 = 0, -2*x + 3*c - 1085 = 3*x. Are d and x equal?
False
Let n = 22 + -6. Let r = -12 + n. Suppose r = -8*g + 12. Is g < 2/11?
False
Let c = 19 + -140. Let u = -120 - c. Is u != 9?
True
Let l be (-110)/66*82/(-20). Let s = 1.1167 + -0.1167. Which is smaller: l or s?
s
Suppose -1157 = -5*o - 4*a, -4*o + 938 = 12*a - 15*a. Is -0.8 less than or equal to o?
True
Let t(h) = 4*h + 42. Let c be t(-36). Let k = c - 6. Is -108 at most k?
True
Let p = 0.039926 + 0.960074. Let k(y) = y**3 + 7*y**2 - 6*y. Let f be k(-6). Is f at most as big as p?
False
Let u = 333159784/16209 + -20554. Is u at most as big as 4?
True
Let o be (-3)/4*(-66)/(-9). Suppose 88 = -32*x + 179 - 283. Which is smaller: o or x?
x
Let f be (4 - 4)/(417/(-139)*4/(-6)). Is f at most 3/23890?
True
Suppose 0 = -3*l - 13 - 23. Let w = -42643 + 42629. Which is bigger: w or l?
l
Let j(v) = -4*v**2 + 118*v - 59. Let m be j(29). Is -1320 equal to m?
False
Let r = -127594/585 + 2836/13. Let p = -0.08 + 0.18. Which is smaller: r or p?
r
Let i be 3/(-2 + 90/46). Let o be (-42)/1596*2732 + 8/(-76). Is i smaller than o?
False
Suppose -43*x = -146*x. Is x less than or equal to -3/220?
False
Let q = -0.05076 + -0.09334. Which is greater: -3 or q?
q
Suppose 2*t = -4*t. Let x(j) = j**2 - 2*j - 9. Let m be x(t). Let r be ((9/2)/m)/((-1)/(-4)). Is -9/8 greater than or equal to r?
True
Let y be (22/(-6) - -4)*(-3)/(-4). Suppose -2*w - 10 = -134. Are w and y unequal?
True
Let v be 520/12 - (60/(-36) - (0 + -1)). Which is bigger: -16 or v?
v
Let o be -1 - 5/(-4) - (178409/4452 + -40). Which is smaller: o or 0?
0
Let b = -0.908 + -2.092. Are b and 164 nonequal?
True
Let s = 484133/7 - 69375. Is s less than or equal to -213?
True
Suppose 2*v = -1736 + 2188. Let k = v - 227. Which is bigger: -1/172 or k?
-1/172
Let p = 322.0348 + -0.0348. Let r = 321 - p. Which is greater: 9 or r?
9
Suppose -2*l - 2*l = 0. Let j be ((-34)/8)/((-280)/(-1120)). Is l < j?
False
Suppose 5*j + 1275 + 555 = 0. Let p be ((5 - 8)/j)/(10/(-8)). Is p not equal to -1?
True
Let d = 336.86 + -3.86. Let k = d - 333.4. Is -74 less than k?
True
Let c be 18/2*(-1 - -2). Let p be (428/(-321))/(2/(-12)). Is c > p?
True
Let b be 50/15*(-20)/(-200). Does b = 3302?
False
Let l = -262 - -470. Suppose -4*g + l - 76 = 0. Let v = g - 33. Which is greater: 12/19 or v?
12/19
Let l(z) = -z**3 - 25*z**2 - 31*z - 144. Let w be l(-25). Do 631 and w have different values?
False
Suppose 0 = -269*o + 232 + 37. Which is bigger: o or -1/15630?
o
Let r = 15091.7 + 1579.3. Which is greater: r or -1?
r
Suppose 6*c - 11*c = 5, 5*c = 3*j - 1886. Is 627 <= j?
True
Let r = -0.7 - -2.7. Let o = 2.12 - 3.61. Let z = -9.49 - o. Is r at least z?
True
Let a be (-1 + 5)*3*(-10)/(-60). Let w be ((-477)/36 + a)/(48/(-2)). Which is greater: -1 or w?
w
Suppose 3 = -3*l, 5*i + 23 = -5*l + 2*l. Let v be (-111)/74 + (-7)/i. Let w = 62 + -556/9. Is v equal to w?
False
Suppose 0 = 5*d - 3*t + 14, -4*d + 9*t - 11*t = -2. Do d and 1/186 have the same value?
False
Suppose 0 = 24*u - 1809 - 255. Which is bigger: u or 75?
u
Let f(u) = -12*u + 34. Let n be f(4). Let w be (-678)/n + 8 + (-472)/56. Suppose -w + 0 = -4*j. Which is smaller: j or 35/3?
35/3
Let g be 99/(-26213)*265 - -1. Is 0 at most g?
False
Let r = 23 - 116/5. Suppose -4*d + 92 = 4*j, -2*d + 12 = 4. Suppose 18*p - 1 = j*p. Is p at least as big as r?
False
Let x be (216/99 - 2) + (-2)/11. Suppose x = -2*l + 192 + 192. Do 191 and l have different values?
True
Let s be 3960/(-24)*(-2)/5. Suppose -88 = -74*q + s*q. Let y = -6 - -20. Which is smaller: y or q?
q
Let o = 22515.8 - 22516. Which is bigger: -3639 or o?
o
Suppose -55*k + 41*k - 15 = -1. Which is bigger: k or 17/209?
17/209
Let a = -3.884 + -0.006. Let y = a - -0.89. Let i = -151/8 + 19. Does y = i?
False
Let u be 142*(-366)/1220*(0 + 5/(-3)). Does u = 63?
False
Let n = -25127 + 16505. Does -8621 = n?
False
Let n = -32.888 + 9.888. Is n greater than 1/83?
False
Let l = 12 - 158/13. Suppose 4*a - 41 = -3*j, 2*a - 4*j = j + 1. Suppose -a*i - 17*i = 0. Which is smaller: i or l?
l
Let v be 91 - (((-1836)/90)/(-17))/(2/5). Suppose -251 - 97 = -4*j + l, -3*j = 4*l - 280. Is v at least j?
