174)/(-8). Let b be o/16 - 12/(-24). Is b at least as big as 0?
False
Suppose -2*n - i = 21, -i - 4*i + 38 = -3*n. Let o be (-4)/(-28)*(n - -9). Is o less than -109?
False
Let g(q) = 3*q - 26. Let h be g(11). Suppose h*v - 4 = 5*v. Suppose v*i - 30 = -4*r, -r = -5*i - 4*r + 103. Is 22 not equal to i?
True
Let u be 335/20700*7 + 10/(-90). Suppose -6*g + 4 = -10*g. Is g > u?
False
Let s = -11 + 6. Let f = 0.4092 + 14.5908. Which is bigger: f or s?
f
Let c(o) = -13*o**3 - 5*o**2 + 281*o - 2925. Let n be c(11). Is -17742 greater than or equal to n?
True
Let v = 3.98 + -0.78. Let f = 17.2 - v. Which is smaller: 3/7 or f?
3/7
Let y = -214.8 + 207. Let h = -5.8 - y. Which is smaller: h or -2/3?
-2/3
Let v = 42421682/159 + -266802. Which is smaller: v or 2?
v
Suppose -4*y = c - 31173, -169*y + 170*y - c - 7797 = 0. Is y >= 7794?
True
Suppose -d = 5*l - 0*d - 5390, -4*l = -2*d - 4312. Is l not equal to 1078?
False
Let b be ((-1)/(54/4))/(4/91). Do -2 and b have the same value?
False
Let v = 84 + -69. Let h be -1*v - 22/11. Which is smaller: -16 or h?
h
Let n be (0 - 1/1)/(11/198). Let j be (-4)/n*(5 - 11). Is j less than or equal to -14?
False
Suppose 292*w - 297*w + m = -51583, -4*m - 61880 = -6*w. Is w at least as big as 1?
True
Suppose 150 = -100*h - 50*h. Is 2/109 bigger than h?
True
Let u = 15 - 358. Let b = -1576 + 1234. Which is greater: b or u?
b
Suppose -4022 = -y - 4*o, -7*o = 4*y - 10*o - 16202. Do y and 4047 have the same value?
False
Let c = 48611/5 - 106944/11. Suppose u - 5*u + 5*q = -4, -5*u + 5 = 5*q. Is c at least as big as u?
False
Suppose -14*g = -6123 + 5115. Which is smaller: 75 or g?
g
Let w(c) = 2*c**2 - 9*c - 3. Let m be w(5). Suppose -57 - 16 = -2*a - 5*p, 226 = 5*a - m*p. Which is smaller: 43 or a?
43
Let w = -1178296/195 + 78586/13. Suppose -5*i + 10 = -0*i. Is i less than or equal to w?
True
Let t = 110 + -106. Let b be (-24)/(-4) + (-236)/t. Which is bigger: -2 or b?
-2
Let m = 49896.7 - 47819. Which is bigger: m or -1?
m
Suppose i + 114 = 4*a + 1798, -2*i + 5*a + 3347 = 0. Is i >= 1658?
False
Let j be (5 + (-66)/12)*(-1 + 1077). Is j smaller than -545?
False
Let t = -224 + 302.9. Let u = 79 - t. Is 0.21 bigger than u?
True
Let s = -7040969/712 - -9889. Is 1 < s?
False
Let j = 299 + -229. Let u be (-9)/6*j/3. Which is bigger: u or 0?
0
Let z = -11930 - -9802. Do -2128 and z have the same value?
True
Let g = 297 - 201. Let s = g - 104. Let y be -1*(-3)/9 + 19/(-3). Is y not equal to s?
True
Let t be (-173 - -175)*34/(-4)*2. Let s = 4.97 - 5. Does t = s?
False
Let y = -9.061 + -113.939. Which is bigger: y or 28?
28
Let m = -81 - 37. Let x = 131.5 + m. Let q = 15.3 - x. Do -2/3 and q have the same value?
False
Suppose -3*b = 3*q - 306, 0 = -5*q + 10 + 15. Let k(f) = -44*f - 1269. Let u be k(-31). Are b and u non-equal?
True
Suppose 48*s = 69*s - 4452. Let v = -213 + s. Let o = 0.34 - 0.3. Is v greater than or equal to o?
False
Suppose -12064 = 92*l - 79*l. Which is bigger: l or -927?
-927
Let k = 4073 + -4073.2. Which is greater: -0.1317 or k?
-0.1317
Let t be 4/(-110) - (-110323944)/8910. Is 12382 greater than t?
False
Let g = 81 + 413. Is g < 493?
False
Suppose -27*m + 2171 + 359 = 28*m. Does m = 43?
False
Let s = -18438.797 - -18439. Are s and 3 equal?
False
Suppose 4*d - 5 = -d. Let h be ((-1596)/(-45619))/(2/14). Are d and h equal?
False
Let v = -88519 - -124754. Which is greater: 36236 or v?
36236
Let f = 5826/5 - 52369/45. Which is smaller: f or -6/13?
-6/13
Let o be 3 + (-12)/(-3) + (-12)/42*-56. Which is smaller: o or 2/143?
2/143
Let u be 8 + -8 + -3*4/(-4). Suppose -145*w + u = -148*w. Which is bigger: 8 or w?
8
Let m be (-344)/258*3/(-4). Do -3/1267 and m have the same value?
False
Suppose 6*z - 1 = -1. Suppose 2*k = -3*t + 796, 2*t + k = -z*t + 532. Which is greater: 269 or t?
269
Let o = -25/27 - -2429/2565. Let f be ((-80)/6 - -6)/(2/(-12)). Suppose 0 = 17*c + 27 - f. Is c bigger than o?
True
Suppose 153*u - 145*u = -24. Suppose -5*l - 20 = -3*r, r + 0*r - 4*l - 16 = 0. Is u at least r?
False
Suppose 11*n - 31*n = -4420. Suppose 3*m - 5*f = n, -2*f = 3 + 5. Is 65 < m?
True
Let y = 2464 - 2458. Is 86/15 greater than or equal to y?
False
Let z = 1005 + -15121. Is -14116 != z?
False
Let a be (-22)/11*2/124. Let m(k) = 4*k - 2. Let g(p) = 4*p - 1. Let y(q) = -5*g(q) + 4*m(q). Let r be y(-1). Which is bigger: a or r?
r
Let m(v) = 27*v**3 - 2*v**2 + v - 4. Let h be m(2). Let k be 8/((-40)/1025)*(2 + -3). Which is smaller: k or h?
k
Let z = 1601246032/1078957 - 46227/8917. Let a = -1479 + z. Do a and 1 have the same value?
False
Let n = -5284303/48 - -110094. Is 5 at most n?
False
Suppose 3271 = 12*h + 18475. Let m = h + 401642/317. Does 1 = m?
False
Let z = 238 - 277. Let p(c) = c**2 + 21*c + 69. Let d be p(-4). Is z bigger than d?
False
Let d = -660 + 689. Suppose -37*i + d*i = 96. Which is bigger: -26 or i?
i
Let y(b) = 6*b**2 - 90*b + 185. Let n be y(13). Which is smaller: 49 or n?
n
Let d = 6923 - 6920. Are d and -674 non-equal?
True
Let c be 1062/(-14) - 66/385*-5. Suppose 5*a - 7*u + 371 = -3*u, -229 = 3*a + 4*u. Is c bigger than a?
False
Let h(o) = -o**3 + 15*o - 23. Suppose 5*r = -4*z - 6, -5*z - 22 = -5*r - 2*z. Let n be h(r). Is n less than or equal to -8?
False
Let r be 35/7 - 508/(-108)*-6. Which is smaller: -23 or r?
r
Let c(h) = -480*h**2 - 9*h - 12. Let a be c(-1). Let q = a - -486. Let x = -17.17 - -0.17. Is x greater than q?
False
Let x(c) = 9*c**3 - 7*c**2 - 37*c + 165. Let g be x(6). Is 1635 greater than g?
False
Let x(v) = 51*v + 646. Let q be x(-15). Is -126 greater than or equal to q?
False
Let z = 0.4187 + -0.4257. Is z equal to 35?
False
Let o(c) = -c**2 + 3*c - 11. Let p(q) = 26*q**2 - 4 + 19*q**2 - 19*q - 46*q**2. Let i be p(-19). Let l be o(i). Are 2/5 and l equal?
False
Let x = -119892 + 3955916/33. Which is smaller: -15 or x?
x
Let h be 1*11 + (-3 - -5). Let g be (2/8)/(54/5616). Let w = h - g. Which is greater: -14 or w?
w
Let i(l) = -2*l**2 + 5*l - 61. Let h be i(8). Let j be (-43)/731*(-2)/h. Is j smaller than 1?
True
Let u(v) = v**2 - 4*v + 3. Suppose -3*g = -4*g + 3. Let m be u(g). Let p be ((-2)/24)/(21 - 26). Is p at least m?
True
Let y = 9/2345 - 53027/335. Which is bigger: -157 or y?
-157
Let i = -7824873533/590 - -13262489. Let d be ((-2)/59)/(15/6). Let o = d - i. Which is smaller: 10 or o?
o
Let r(w) = 1872*w**2 + 7*w + 7. Let u be r(-1). Suppose 0 = -10*k + u + 478. Is 236 greater than or equal to k?
True
Suppose -2 = -13*h + 11. Let t be 24/36*h/(-3). Let p = -8 - -7. Is t smaller than p?
False
Let x be (-1)/4 - (-2)/(-24). Suppose 0 = -146*p + 136*p + 20. Suppose 10*g - 14 = -p*i + 6*g, 4*g = -5*i + 17. Which is smaller: x or i?
x
Let y be 34/(-24) + 2/3. Let v be (-2616)/(-1526)*(-21)/30. Which is smaller: v or y?
v
Suppose 2*n - 3*k - 935 = 0, -2*n + 49*k + 917 = 52*k. Which is smaller: n or 468?
n
Suppose 0*t = 3*t - 15. Suppose c - 5 - 16 = t*d, -d = 2*c + 2. Let v = -603/2450 - -3/490. Does v = c?
False
Suppose 0 = 141*q + 8 + 133. Is 2/35497 greater than q?
True
Suppose 2*f + 4 + 5 = -u, 2*u - 22 = 4*f. Let z be (101 - (f - -5)) + 5. Is 105 at least z?
False
Let g = 1/172289 - 61507228/9475895. Is g >= -5?
False
Let y be 3*(1536/(-6) + 3). Let n = 769 + y. Is 10 less than n?
False
Let d be (57/950)/((-42)/(-5)). Let t = 197/1820 + d. Are -1 and t equal?
False
Let f = 2090.001 - 44.001. Is -1/2 < f?
True
Let m be (7*182)/((-82)/(-369)). Which is bigger: m or 5734?
5734
Suppose 0 = 3*y + 12*y + 285. Let k = y - 374. Is -393 greater than k?
False
Let n be 19/(-57) - ((-4)/(36/(-915)) - 3). Do n and 6/11 have the same value?
False
Let p = 192 - 284. Suppose 0 = 4*f + 19 + 41. Let g(j) = 7*j + 13. Let c be g(f). Is p at least c?
True
Let t(y) = -26*y**2 + y - 7 - 3 - 3 - 3 + 6. Let s be t(3). Is -240 greater than s?
True
Let r = -192.093 - -192. Let c = 50.907 - r. Let j = -0.1597 - -0.1597. Does j = c?
False
Let m be (105/49 + -5)*-7. Suppose 5*a - m = 5*z, -2*z = z + 15. Which is bigger: 1/13 or a?
1/13
Let p = -249238 + 249308. Let x = -83/7 + 12. Which is smaller: x or p?
x
Let q be (-2)/(-12)*(-10)/25*8335/(-3). Is q >= 186?
False
Suppose -13*c = -43 + 69. Is c bigger than -122/77?
False
Let d = -110.4 + 111.6. Let p = -0.079 - 1.921. Is d greater than p?
True
Le