 a equal to h?
False
Let x = -29 + 43. Let u = 363 + -363. Suppose u = -5*p + a + 32, 3*p + 2*a - 30 = -a. Which is smaller: x or p?
p
Let j(h) = h**2 - 10*h - 17. Let l(f) = 3*f - 15. Let w be l(9). Let d be j(w). Let a be (-143)/(-231) - 2/d. Which is smaller: a or 22?
a
Let j be 6 + -3 - (-67257)/(-94). Is -713 greater than or equal to j?
False
Let o = 2/881 - -3494/13215. Let v = -3/5 + o. Let w be -1 + 0 + 1 - (-27)/(-3). Is v at most w?
False
Let y = -14975 - -14975. Do y and -2/67 have the same value?
False
Let j be (-22)/1*(-80 + 17). Let h = j + -5515/4. Which is smaller: h or 2?
2
Let n = 113 - 125. Suppose 0 = 5*h + 31 + 14. Which is smaller: n or h?
n
Suppose -8*z + 2560 = 8*z. Suppose -22 = -171*l + z*l. Are l and 72/31 equal?
False
Let z(r) = -3*r**2 - 10*r + 14. Let k = 0 - 71. Let a = -77 - k. Let i be z(a). Is -35 less than i?
True
Suppose -w + 2*w - n = 6, -2*w + 3*n = -16. Suppose 0 = -5*b - w*m, -m = b - 4*m - 17. Let j be (-3 - (124/44 - b)) + 3. Is j at least -2?
True
Let f(j) = -2*j**2 + 14*j - 104. Let y be f(18). Let p = 630 - 1131. Do y and p have the same value?
False
Let y = -628 - -2499/4. Let w(f) = 58*f + 3361. Let z be w(-58). Are y and z equal?
False
Suppose 16 - 20 = 4*i. Let o be ((-5)/(-20))/(60/(-208)). Is i equal to o?
False
Let v = -3 - -3. Let g be (1/12)/(24273/(-4464))*(-12)/(-32). Is g at most v?
True
Let c(y) = 497*y - 2968. Let v be c(8). Are 1005 and v unequal?
True
Let l = -7 - -27. Let b be 765/l*(-68)/168. Let d = b + 111/7. Does -1 = d?
False
Suppose 2*j + 2*i + 2 = 0, 0 = j - 2*j + 4*i - 1. Let c = 87 + -955/11. Let z = -94/275 + c. Which is smaller: z or j?
j
Suppose -5*x - 11*g - 216 = -10*g, 2*x + 3*g = -76. Is -4 at least x?
True
Suppose -s - j + 6 = -4*j, 5*j = -5. Suppose -3*n - 90 = 5*u, 4*n + u - s*u + 120 = 0. Let x = 31 + n. Is x >= -1/6?
True
Let x be (-14)/(-42) - (-3743)/1155 - 4. Let p = 2/77 + x. Does p = -13?
False
Let q = -0.23 - -0.13. Let h = q - -0.4. Let l = -96 - -90. Which is bigger: h or l?
h
Let z(x) = x**3 - 18*x**2 - 8*x - 10. Let n be z(18). Suppose j = -4*s + 7*s + 473, -5*j + 181 = -s. Is s equal to n?
False
Let m = 121/9916 - -2085803/8656668. Let v be (-22)/(-44)*(-12)/(-194). Let p = v - m. Which is smaller: p or -1?
-1
Let x = -59 - -63. Suppose 52 = x*k - 3*k + l, -2*l = 5*k - 245. Suppose k = 4*o + h - 0*h, 5*h + 25 = 0. Which is bigger: o or 15?
15
Let a be (48/32)/(3/4). Suppose 95*q - 907 = 92*q + 4*d, a*d + 1196 = 4*q. Which is bigger: 298 or q?
298
Suppose 4*v + w = -7, -3*w = -6*v + 5*v - 5. Let b be v/424*(4 + -7 + 1). Which is greater: b or -1?
b
Let k = -7041/834064 + -10/4739. Which is greater: k or 0?
0
Let d = -1248754/3 + 421036. Let h = -4745 + d. Is 39 < h?
True
Suppose 4*z - 276 = 2*y, -3*y - 206 = -2*z - 60. Which is smaller: z or 68?
z
Suppose 81*a + 4*b - 2 = 79*a, 2*b + 2 = 0. Let u(t) = -2*t**2 - 2*t - 2. Let w be u(-2). Let o be (3/24)/(a/w). Which is smaller: o or 2?
o
Let i be (-59 + 8 - 8) + 4. Let o be (i/(-10) + -4)/(15/(-70)). Which is bigger: o or -105/13?
o
Let g = -316 + 297. Let q be (1/((-10)/(-17)))/(g - -18). Which is smaller: -2 or q?
-2
Let w = -58.04 + 105.04. Is w equal to 2.7?
False
Let a be (-3 - -4)/(-2)*(-38 - -10). Suppose a*l + 220 - 822 = 0. Let m be (-2)/(-2)*(-41)/(-1). Which is greater: l or m?
l
Suppose -m - 2 = 0, 0 = 3*z - 0*z - 3*m - 9. Suppose 5*o = -4*w - 108, 74 = -w - 2*w - 2*o. Let n be 2 - ((-14)/(-28) + (-39)/w). Is n less than or equal to z?
True
Let k = 2396 - 1060. Does k = 1335?
False
Let i be (221 - 109)/((-202)/64 - -3). Is i less than -716?
True
Let y = -19730450/637 + 30974. Is -1 bigger than y?
False
Suppose -8*s = 22 - 6. Let p be s + -3 + 11 + -2. Which is smaller: 0 or p?
0
Suppose -5888 = -24*k + 448. Let o = k + -518. Is -255 >= o?
False
Suppose -13*i - 918 = -5130. Let t = 750 - i. Is 427 at most as big as t?
False
Let r = 12148 - 12150. Which is greater: r or 288?
288
Let i = 2521 + -2516. Let t = 4 - 3.79. Let v = 0.22 - t. Is v at least i?
False
Suppose 5*w - o = -6*o + 1105, 0 = 5*w - 5*o - 1065. Let j = w + -347. Is j at most as big as -130?
True
Let s = 204.8 - -16.2. Let c = s + -134. Let u = c - 84.4. Which is smaller: -1/2 or u?
-1/2
Let l(j) = -j**3 - 134*j**2 - 4485*j + 48. Let r be l(-69). Which is greater: 469/10 or r?
r
Let w = -236 - -239. Suppose 3*t - 20 = -w*n + 148, -4*n = -t - 249. Is 301/5 greater than or equal to n?
False
Let o be (2 + 42/15)/(14/(-15)). Suppose 8*p + 0*p = 80. Let n be 0/9 - p/2. Is o <= n?
True
Let m = -10 - -14. Suppose 0 = -4*z + 60 - 48. Suppose -m*j = -7*j + z. Is j > 1?
False
Let j = -400371/125 - -3203. Which is bigger: -13 or j?
j
Let r = 27 - -122. Let o = r + -148. Let b be 2/145 + 1 + -1. Which is greater: b or o?
o
Let x be (-20 - 883660/(-44180))*10/6. Which is bigger: -1 or x?
x
Let t be (4 + -4 + 3)*(-19)/((-133)/(-294)). Let k be (-6615)/(-42)*(8/(-5))/2. Is k at least as big as t?
True
Let l = 56 - 59. Let u be ((-182)/39)/((-4)/(-6))*l. Suppose -4*v - 23 = u. Is v at least as big as -11?
True
Let k = 3845 + -3713. Which is bigger: 114 or k?
k
Let m = -129474 - -1125517480/8693. Is 1 at least m?
True
Let p = 31.7 - -6.3. Let c = 114.9 - 156.9. Let b = p + c. Which is smaller: -0.1 or b?
b
Let c be ((-2)/(-18))/((-3)/(-1758)). Let t = c + -193/3. Let p be 5/(2 - 47)*(35 + -35). Is p greater than t?
False
Suppose -2*m + 2*j = -10, 0 = -m + j + 2*j + 3. Suppose 308 = 2*d - 2*h + m*h, -2*h = 3*d - 478. Suppose 3*b + d = 12*b. Which is smaller: 17 or b?
17
Let x = 18964 + -18343. Do x and 5 have the same value?
False
Let p = -9423 - -13335. Which is bigger: 3911 or p?
p
Suppose -4*x + 4*o + 61 = 5, 5*o - 30 = -5*x. Let t(z) = z + 29. Let w be t(x). Suppose 0 = -3*v + j - w, -v + j - 11 = -0. Which is bigger: -13 or v?
-13
Let s be (-553 - 3)*33/(-132). Let l(x) = -88*x - 1. Let o be l(-1). Let p = s - o. Which is smaller: p or 53?
p
Let s be (280/6)/(112/(-840)). Let w = -353 - s. Is w at most -1?
True
Suppose 34*z - 49*z = -30. Let m be -2*((48 - z) + -2). Which is smaller: m or -86?
m
Let t = 1845 - 1900. Is t >= -57?
True
Let g = 21.34 + 23. Do g and 0.2 have the same value?
False
Let u = 8799 + 9918. Is 18716 >= u?
False
Let m be -4*5/(-10)*1. Suppose m*f - 5*s = -s + 216, -3*s = -3*f + 324. Let a = -82 + f. Is a not equal to 79/3?
True
Let q = -0.119 - -0.299. Let z = 0.48 - q. Is z at most as big as -0.8?
False
Let s = -70775 - -919151/13. Which is bigger: -70 or s?
-70
Let f be -7 - (-45448)/4546 - 3*1. Is 1 >= f?
True
Let g be (-230)/138 + 10/6. Let l be (2/(-1205))/((-10)/100). Is g at least as big as l?
False
Let g = 9516 + -10043. Which is smaller: g or -526?
g
Let m be ((-6)/15)/(-1) + 222/(-525). Suppose -8*u - 2*r - 6 = -3*u, -4*u - 12 = 4*r. Which is greater: u or m?
u
Let t be (0 + (-1107)/6)/((-39)/208). Let k = -363 + t. Does k = -1?
False
Let k be ((-1)/2 + 0)*(-19 - 15). Suppose 35 = 4*g - k. Suppose g - 5 = 8*y. Which is smaller: y or 2/7?
2/7
Let d = 2345.2 + -2346. Is d equal to -1/32?
False
Suppose 2*k - 21 + 11 = 0. Let u(j) = j**2 + 23*j + 22. Let f be u(-22). Let h be (-957)/(-145) - 3*(1 - f). Which is smaller: h or k?
h
Let b be 1*(-2 - (2 + -3))*1. Suppose 3*s = -3*r, r + 4*r - s + 18 = 0. Let f be ((3 + r)/(-5))/b. Is -1/35 at least as big as f?
False
Let l(o) = 4*o**3 + 63*o**2 - 103*o - 65. Let y(k) = 2*k**3 + 32*k**2 - 51*k - 33. Let d(v) = 6*l(v) - 13*y(v). Let a be d(-20). Is a <= -62?
False
Suppose 2*s - s - 91 = m, 0 = -2*s - 5*m + 196. Suppose 5*n - d + 146 = -s, -5*n - 3*d - 223 = 0. Let r = n - -46. Which is smaller: 0.3 or r?
r
Let n = 730611/1685 - 2168/5. Let j = 997/4718 - n. Is 2/9 bigger than j?
True
Let f = -27/2 - -13. Let r be (-14)/4*((-1808)/(-364) + -5). Which is smaller: r or f?
f
Suppose 0 = -110*y + 115*y. Suppose -2*k + 2*n + 36 + 80 = 0, -4*k - 5*n + 205 = y. Is 52 greater than k?
False
Let t = -1427 - -2386. Is 959 less than t?
False
Let a be (-125531)/(-1362)*(-1 - (-34)/42). Which is smaller: a or -18?
-18
Let h be (0 + 8/(-6))/(68/(-4539)). Is 89 equal to h?
True
Suppose -2*k = -57 + 53. Is 302 > k?
True
Let p(q) = -9*q**3 + 93*q**2 - 15*q + 14. Let d be p(10). Is 493/3 less than d?
False
Let j = 137899/3 - 46458. Which is smaller: j or -491?
j
Let k = -4552 - -4632. 