 158/(-18) - 1743/(-249). Which is greater: x or -1/2?
-1/2
Let p = 3997 + -3995. Which is smaller: p or 0.24?
0.24
Let o be -30*(2 - (-24)/(-15)). Let a be (-140)/15 - (-1 - 8/o). Does a = -10?
False
Let w(x) = -2*x**2 + 5*x + 2. Let j be w(4). Let k = -1176 - -1177. Does k = j?
False
Let x = 8383 - 8382. Is x greater than or equal to 16106?
False
Suppose -15 = -5*w + 5*d, 6952 - 6947 = w - 2*d. Does w = -19/952?
False
Let u be 7410/570 + -17 + 1. Is u greater than -145?
True
Let o = 182 + -176. Let k be ((-23)/(-45) - o/15)*6. Is k < -4?
False
Let t(v) = v**3 - 2*v**2 + 4*v + 2. Let u = -268 - -268. Let i be t(u). Is i >= -0.08?
True
Let c = 0.0125 - 0.0125. Let w = -3.65 + -0.65. Which is smaller: c or w?
w
Let y = -1629486312459/130995304 - -1/11908664. Let m = y + 12454. Let x = m + -5/22. Is x greater than 16?
False
Let o = -67844/31363 + 306/397. Is o smaller than -2?
False
Let c be (14/175*-4)/(24/(-30)). Is -46/71 at most as big as c?
True
Let z(m) = m**2 - 12*m + 6. Let v be z(13). Suppose -v*g + 33*g = 0. Is g less than 1/8?
True
Suppose 4*z + 3*g + 114 = g, 3 = 3*g. Let h be 16/20 - 3063/60. Let s = h + 50. Are z and s nonequal?
True
Suppose 12*n = 145 + 191. Suppose 26*j - n*j + 34 = 0. Which is greater: j or 7?
j
Suppose 5*k = -0*k. Suppose -7 = 7*v + 21. Let c be v + (-510)/(-198)*9/6. Is c < k?
True
Let y = 2489705587/10077740 + 4/503887. Let z(n) = 30*n + 23. Let c be z(-9). Let o = y + c. Do 0 and o have different values?
True
Suppose -1928 = 5*u - 3862*j + 3858*j, 1148 = -3*u - 2*j. Does u = 1/3?
False
Suppose 0 = -4*y - 5*z + 10, 7*z = -5*y + 8*z - 2. Which is smaller: 10/733 or y?
y
Let f = -402645 - -7425981737/18443. Which is smaller: -1 or f?
-1
Suppose 5*g - 11 = 29. Let m(j) = 4*j + 6. Let q be m(g). Suppose 56 = 4*b - 4*x, -5*b = -2*b - 4*x - q. Is 18 smaller than b?
False
Let d = 19341 + -20963. Is d <= -1622?
True
Let y = 4531 + -4531.3. Which is smaller: y or 737/4?
y
Suppose 14 = 58*d - 51*d. Let h be (5 - (21 - d))*2. Is h less than -33?
False
Let d = 0.41 + 0.59. Let q = -2.85 - -2.8. Let l = 7.95 - q. Which is greater: l or d?
l
Let t be (-5)/(6 - 34/6). Let v = -89 - t. Is v < -73?
True
Let n = -145 + 253. Suppose -128 = -4*b - n. Which is smaller: 41/11 or b?
41/11
Let x = -60 - -62. Suppose -4 - 2 = -x*d. Suppose 4*m - 90 = 2*l, -d*m = 2*l + 18 - 103. Is 24 not equal to m?
True
Let c = -184 - -182.9. Let f = -0.7 - c. Which is smaller: 8 or f?
f
Suppose 13*h = -0*h + 39. Suppose -7*d = -h*d + 60. Which is smaller: -17 or d?
-17
Let a(i) = 2*i**2 + 5*i - 38. Let r be a(-6). Let x be 0 + -1 - (5 - r). Which is greater: -30/29 or x?
-30/29
Suppose -17*k - 1 = -16*k. Let z be -17 + 15 - (k - 3). Let c = 20 + z. Is c < 21?
False
Let c be (-16)/(-12)*57/10. Let k be (2 + 1)*382/4584. Is c <= k?
False
Suppose 5*c - c + 10 = 3*r, 3*r - 6 = 0. Suppose 8*s - 33 = -9. Let v be -4 - (38/(-18) + s). Which is bigger: v or c?
c
Let s(h) = -4*h**2 - 16*h + 4. Let q be s(-4). Suppose -34 + 690 = 2*c + 2*m, q*c - m = 1292. Do 323 and c have the same value?
False
Let m be (2 - (-22)/(-10)) + (-1953)/(-15). Let c be m/(-52) - 2/(-4). Is -11/12 equal to c?
False
Let c(s) = -s**3 + 13*s**2 - 6*s + 7. Let d be c(9). Let f = d - 143. Let h be (32/12)/(-4) - f/(-183). Is 1 less than or equal to h?
False
Let j = 0.336 + -4.336. Which is smaller: j or -12/25?
j
Let t = 6896/7 - 988. Let j be 1/3 + 132/9. Let m = j + -17. Which is bigger: m or t?
m
Let t be (-50)/4*(-19)/(29298/686004). Let a = 5561 - t. Is 1 <= a?
False
Suppose j = -2*k - 46, 4*k + 9*j = 6*j - 94. Which is smaller: k or 249?
k
Suppose -2*z + 2*x + 618 = 0, 9*z = 10*z + 3*x - 309. Let v = z - 285. Which is smaller: -5 or v?
-5
Let d be 5/1*(-60)/(-150). Let p = -23 + 34. Suppose -p*m + 12 = -15*m. Are m and d equal?
False
Suppose -2*u + u = -14. Suppose 155*t - 20 - 2728 + 578 = 0. Is t >= u?
True
Let o be (-11151)/(-1197)*3/162. Which is smaller: -1 or o?
-1
Suppose -58*d = 812 + 1044. Suppose 0 = -3*v - 15 + 33. Do d and v have the same value?
False
Suppose 0 = -3*a + 184 - 22. Let x = -53 + a. Let g = 3073/468 + -79/12. Is g >= x?
False
Suppose 134984 + 228954 = 283*h. Which is smaller: h or 9004/7?
h
Suppose -u - 2*v - 6 = 3, 2*u + 5*v = -22. Let y be u/(67/(-84) + (-6)/(-8)). Suppose y = 8*k - 11*k. Which is greater: -8 or k?
k
Let z be (4/(-14) + (-5091)/(-17598))/((-525)/(-280)). Do z and 1 have the same value?
False
Let s be ((-20)/(-25))/(6*(6 + -9)/45). Which is smaller: -39/71 or s?
s
Suppose 0*x - 102 = -o - 4*x, -3*o + 2*x + 320 = 0. Let q = o + -104. Let z be ((-4)/(-10))/((-5)/(-50)). Is q > z?
False
Let x = -387 + 2699/7. Let m = -353/252 - x. Is m bigger than -1?
True
Let u(p) = p**3 - 4*p**2 - 4*p - 4. Let d be u(5). Suppose -4*k - d = -4*b - 57, 5*k - 67 = 4*b. Suppose 3 = 2*x + k. Which is bigger: x or -36/11?
-36/11
Let a = 47/54 + -5771/5886. Which is bigger: a or 0?
0
Let r be (-24)/(-812)*(318/27 - 11). Let v = 0.2 + -0.3. Is v smaller than r?
True
Suppose 5*h - 45 = 0, 5*v + 57801 = -4*h + 6177. Is v at most -10332?
True
Let w = -265 - -222. Let b = 51 + w. Are -0.1 and b non-equal?
True
Let h = -47 + 59. Suppose -50*j + 48*j = h. Let s be (-24)/9 + j/(-9). Is 0.1 >= s?
True
Let t = -2.453 - -2.58. Let y = -0.227 + t. Which is smaller: y or 0.005?
y
Let k be (-1)/2*(6/51 + 972/(-459)). Which is smaller: k or 1/6815?
1/6815
Let n = 14/3581 - 152272/37117065. Let j = 273638/10365 + n. Which is bigger: 25 or j?
j
Let d = 248042/29 - 8554. Let b = -125/116 - d. Is 92 at most as big as b?
False
Suppose -5*k = 0, -k = -q - 4*k - 168. Let c = q + 235. Which is smaller: c or 68?
c
Suppose -6 = o + 2*s - 17, -o - 13 = -4*s. Suppose 0*j - 191 = -5*j - 4*t, 0 = -o*j + 2*t + 119. Is 40 equal to j?
False
Let l be (7/1)/(-21) - 14/57. Let h = -543 + 541. Which is greater: h or l?
l
Let r be 1 - (-27)/(-26) - 0. Let q = 8150 - 8148. Which is greater: q or r?
q
Let u = 25452 - 151913/6. Which is smaller: u or 134?
u
Let g = 149/61 - 96945/39589. Which is bigger: g or -1?
g
Let g = -8.3 - -11.3. Let v = -161 + 196. Which is bigger: v or g?
v
Let i(l) = l**2 + 3*l - 12. Let p be i(3). Suppose -13 = -p*k + 41. Suppose -12*y = -k*y. Which is greater: 5/11 or y?
5/11
Let c(j) = 3*j + 12. Let l be c(-8). Let y = -163 - -293. Let b = y - 132. Which is greater: l or b?
b
Let t be ((-9)/12)/(4/(-16)). Suppose m = 3*l + t*m + 5, -25 = 3*l - 2*m. Let y be 3*l - (-5 - -8). Which is smaller: y or -19?
-19
Let y = -2190 - -2209. Suppose -u + 15 + 0 = 0. Which is bigger: u or y?
y
Suppose -359984 - 770576 = -602*f + 1181722. Which is smaller: f or 3842?
f
Let q = -24 + 29. Suppose 21 - 1 = -t - 4*o, 24 = -t - q*o. Let w = -11 + 11. Is t smaller than w?
True
Let p = 53 + -51. Suppose p*n = -3*o - 12 - 4, -4*o + 2*n = -2. Which is greater: o or 7?
7
Suppose 3*a - 8*o + 3 = -4*o, -5*a + o - 5 = 0. Let j = 6/85 - 776/8585. Is a bigger than j?
False
Suppose -c - 93075 = 3*k, -2*k - 5*c - 62274 = -211. Is k <= -31024?
True
Suppose 14*x - 33 = 17*x. Let p = 11 + x. Suppose 3*f = -4*a - 3, p = -6*a + 2*a. Is f at least 1/102?
False
Let u = -0.0851 - -0.0851. Which is bigger: u or 4/9?
4/9
Let y be 660/44 + -21 + (-8 - -14). Let b = -1132095/304 - -3724. Which is bigger: y or b?
b
Let u(z) = -2*z - 4. Let k be u(4). Let v be 2 + 1 + 1/(4/k). Suppose -x - 4*n - 11 + 4 = v, -2*x + 3*n = -8. Is -6/13 smaller than x?
True
Suppose -s - 2*u = 9, -s - 4 = 4*u + 15. Let h be 26*(-1)/(-4)*-180. Let c = -12858/11 - h. Which is smaller: c or s?
s
Suppose -6*y = -7*y - 12571. Let o = -62597/5 - y. Let d = -52 + o. Which is greater: 1 or d?
1
Let c(j) = -j**2 - j - 7. Let f be c(5). Let y be (-24)/(-2) + (-459)/9 + 1. Is y smaller than f?
True
Let s = 0.165 - -0.725. Let p = 0.79 - s. Is p < 10/19?
True
Let b(o) = -1328*o + 31922. Let n be b(24). Let v be ((-102)/(-4))/((-1)/(-2)). Is v > n?
True
Let x(p) = -p**2 + 15*p - 33. Let q be x(12). Let u be (-1 - -4) + (q - 6 - -1). Which is greater: 15/8 or u?
15/8
Suppose -413*h = 306 - 112 + 219. Is -9/100 <= h?
False
Let s = 1.904 - 2.8016. Is s at most 0?
True
Suppose -241 = h - 242. Let a = -197.68 + 0.68. Is h <= a?
False
Let y = -7193 - -7195. Is y < -1429?
False
Let b be 5 - 0 - (-5)/(-10)*-278. Let y be (-13072)/b - 2/9. Which is greater