than y?
False
Let j = 60086/15 + -14347/5. Is j smaller than 1?
False
Let h be ((-26)/14)/((-28)/(-63)*(-6)/(-72)). Is h <= -51?
False
Let p = 5.4297 + -0.0597. Let u = p - 5.7. Let m = 0.33 + u. Which is bigger: -1/15 or m?
m
Let t = 9819 - 78555/8. Suppose 0 = -k - k - 4, 4 = -4*d - 4*k. Which is greater: d or t?
d
Suppose 2*v + 366 = 1126. Suppose -381 = -w - v. Is w less than or equal to 1/38?
False
Suppose -231*a - 228*a = -476*a + 100283. Is 5897 < a?
True
Let z = -200.85 + -7769.15. Are z and -1 non-equal?
True
Suppose s + 6*x = x - 299, 2*x - 610 = 2*s. Let b be 1/1 - 78 - s/76. Which is smaller: b or -71?
b
Let h = 11137 + -11137.4. Let o = -70 - -907/13. Is o > h?
True
Suppose -137*s = -67*s - 68*s. Which is smaller: s or -14/43?
-14/43
Let q = -534 - -536. Let n be q/(-2 + -2)*(-18)/27. Is 8/11 > n?
True
Let p be ((-35)/14)/((-6)/4 - -1). Suppose 5*u = -3*l + u + 2, 2*l + p*u = -1. Let k(t) = -t**3 - 5*t + 17. Let z be k(0). Which is smaller: z or l?
l
Let n = -121.2 - -121.2. Is 14/3 at least n?
True
Suppose 3*l - 113 = -a, -l + 27 = -3*a - 4. Suppose 12400 = l*p - 57*p. Which is smaller: -621 or p?
-621
Suppose 3*s + 2 = 2*c + 13, -2*s - 5*c + 1 = 0. Suppose -33 = 5*p - s. Let t be (p/15)/(4/(-10)). Is t greater than 11/6?
False
Let x be 24 + -39 - -5 - (-43110)/4312. Is x greater than or equal to -1?
True
Suppose -44*v = -38*v - 30. Let a be 58 - (v + 4)/(-3). Is 4 != a?
True
Suppose 0 = 5*v + 7*t - 43, -23*v = -28*v - 4*t + 31. Which is smaller: v or 250/57?
v
Suppose -5*u + 2 = -3*q - 5, -5*u + 2*q = -3. Let a = 78 + -43. Suppose -133 - a = -12*v. Is v less than or equal to u?
False
Let o = -13714.8 - -13714. Is 357 < o?
False
Let w = -79908 - -145832116/1825. Which is smaller: -1 or w?
-1
Let p = 216428 - 216429. Let i be 3/6*(-1)/(-92). Is p > i?
False
Let a = 99928 + -100797.03. Let q = -869 - a. Which is greater: q or 83?
83
Let v = 48 + -48.26. Let w = v - -0.375. Let o = w + -0.015. Is o < 0.7?
True
Suppose 2*q = 3*z + 3*q - 12, -8 = -2*z + 4*q. Let f be -4 + (z - (1 - 2)). Which is smaller: f or -434?
-434
Let l(u) = u**3 + u**2 - 8*u - 6. Let i be l(-3). Suppose 4*k = 7*g - 5*g + 2, -k + 3*g + 8 = i. Which is smaller: k or 6/143?
k
Let q(p) = -44 + 76 - 2*p**2 - 35*p + 67 + p**2 - 10*p. Let o be q(-47). Do 2 and o have the same value?
False
Let p be 15*12/216 - (-17125)/6. Is p < 2855?
False
Let a(l) = 26*l**2 - 5*l - 4. Let k be a(-1). Let f be -6*((-118)/40 + 81/k). Let q be ((-6)/3)/2*1. Are q and f nonequal?
True
Let f be (-10)/((-1440)/(-14)) + (-6)/48. Do 543 and f have the same value?
False
Let t(p) = 2*p**2 + 32*p - 38. Let h be t(-17). Let n = 19 - 7. Suppose -89*b = -87*b + n. Is b bigger than h?
False
Suppose 29 = -5*j + 3*d, -2*j - d + 6 - 22 = 0. Let x = j + 7. Suppose 3*n = -r + 5 - 3, x = 2*n - r + 7. Is -1 >= n?
True
Let j = -5 + 10. Let l(c) = 12 + 3 + 5*c - 20 + 6 + 6*c**2 - 7*c**2. Let m be l(j). Are m and 1/6 non-equal?
True
Let z = 696 + -695.89. Let m = 36.89 + z. Which is bigger: m or -5?
m
Suppose 0 = -3*c + 4*z + 2071, -z - 2*z + 3442 = 5*c. Suppose -2*g - 11*g = c. Is g >= -160/3?
True
Suppose -12*y - 14*y = -364. Suppose -r - 2*q = -2*r - y, 3*r = -3*q - 15. Which is smaller: r or -15?
-15
Let j = -27.507 + 27. Let a = j + -17.693. Are 2 and a non-equal?
True
Let h = 1136 - 1863. Which is smaller: -725 or h?
h
Suppose 3*j - 4*p = -48, 64 = -5*j + j + 5*p. Let z be (92/16 - 2)*j/58. Which is bigger: 0 or z?
0
Let h = -29 + 516. Suppose 2*o + 4*t - 188 = 810, 0 = -o + t + h. Let w = o - 45665/93. Are 0 and w equal?
False
Let d = -13506 - -13530. Which is smaller: 3/67 or d?
3/67
Suppose -4*t - 412 = 4*y, 4*y - y - 483 = 5*t. Let g = t - -153. Is g <= 51?
False
Let g = -0.0537 - -0.1037. Do g and -5/3 have the same value?
False
Suppose -2*q + 43 = -5*b, -4*b - 129 = -5*q - 13. Suppose -q*v = -19*v - 5. Which is smaller: v or -8/31?
-8/31
Let p = 56.119 + -1.019. Let i = 25.1 - p. Which is smaller: i or 7?
i
Let h be 4 + 556284/(-79464) - -3. Which is greater: 0 or h?
0
Let m = -48 + 24. Let s = m + 31. Let i = s - 12. Which is greater: 1 or i?
1
Suppose 5*u = 20, -5*u + 196 = -3*j - u. Suppose 4*y + 5*d + 202 = 0, 26*d = 28*d - 12. Which is smaller: j or y?
j
Let w = 4037 + -6927. Which is smaller: w or -2891?
-2891
Suppose -4*n = -3*n + 23. Suppose u + z - 4 = 0, -118*z = 4*u - 121*z - 37. Suppose 3*j = -m - 67, u*j - 8*j - 4*m - 15 = 0. Is n <= j?
True
Suppose 239*k - 292*k = 318. Which is bigger: -294 or k?
k
Suppose 12 = -2*j + j + 2*u, 0 = 5*j - 2*u + 68. Let n = 19 + j. Suppose 2*l + 4*f = l - 1, 2*f = -n*l - 5. Which is smaller: -1/21 or l?
l
Let u = -68 + -1. Let q = u + 54. Suppose 2*h = 3*c + 5*h + 6, 3*h = -6. Which is bigger: q or c?
c
Suppose 5*z - 2*y + 25 = -35, 2*z + 2*y = -24. Let c be (-224)/z - 4/6. Let f = 8 + 9. Which is smaller: f or c?
f
Let x = -0.006342 + -0.793658. Let z = 21 + -15. Let b be (-22)/z + 1 - -2. Which is bigger: b or x?
b
Suppose -30 - 482 = -4*r. Is 131 < r?
False
Let v = 17 - 1. Let p = v - 25. Let u be (-2)/p + 0 + (-4)/9. Is u greater than or equal to -0.2?
False
Let o = -116 + 51. Let y = o - 39. Let m = y - -104.1. Which is greater: m or 10?
10
Suppose 9602 + 128 + 952 = 109*n. Let v(w) = 20*w - 2. Let l be v(5). Is n smaller than l?
False
Suppose -76*t + 4901 = -9311. Which is smaller: t or 2447/13?
t
Let h = 0.0316 + 41.9684. Which is bigger: -37 or h?
h
Let c = 18 + 99. Let v = c + -117.05. Are -9 and v equal?
False
Let p be 8/(-10)*(-370)/(-296). Which is smaller: p or -112/75?
-112/75
Let s = 7300 - 8294. Is s at least 1/2?
False
Let x(p) = -53*p**2 - 50*p + 3. Let b be x(-1). Suppose 4*m = 7*m + 6. Let i be (10/100)/(7/m). Are i and b equal?
False
Suppose 0 = 3*n - 14 - 7. Suppose 4*q + n - 11 = 0. Let w(g) = -3*g - 4. Let s be w(q). Which is smaller: s or -6?
s
Let w = -26799/7 - -110921033/28973. Which is greater: w or 1?
1
Let r = 1099/25 - 36573/50. Let w = r + 712. Which is greater: 24 or w?
w
Let m = -20 + 22. Let d be 4/m - (3 + -3) - 0. Suppose 3*c = 2*n - 89, -d*n + n + 42 = -4*c. Are 46 and n equal?
True
Let f = -59351 - -59347. Let m be -2 + 2 - (-38)/(-8). Which is smaller: m or f?
m
Suppose -405 = 44*a + 46*a - 75*a. Which is greater: -982/35 or a?
a
Let v = 15683 + -15694. Which is smaller: v or 13.7?
v
Suppose 19675*d + 10 = 19665*d. Is d greater than 3/398?
False
Let a = -18416 + 18646.445. Let l = a + -0.445. Is l < 0.1?
False
Let p = -32415 + 32415. Which is smaller: p or -1/6994?
-1/6994
Let x be -2 - (2705/25 - 9)*4*10. Is 2/11 smaller than x?
False
Let y = 0.06 - 8.06. Let j = y + 6. Let n = 2/5159 - 5191/82544. Is j less than or equal to n?
True
Let j = -46 - -42. Let m be -3 + ((-18)/3 - j). Let a be 1 + (12/m - -2 - 0). Are 2 and a nonequal?
True
Let z(b) = 4*b - 11. Let d be z(15). Let g be -2*(-12)/(-32) - d/(-92). Is g at least 1?
False
Let x be 20/6*(-12)/(-8). Suppose 4*r = -0*r - x*v + 23, 0 = 4*r - 3*v - 31. Let u be 4/10 - (-119)/(-255)*-12. Which is smaller: u or r?
u
Let f = -140 + 144. Suppose -f*m + 3*b - 144 = 7*b, 5*m + 192 = -b. Which is smaller: m or -37?
m
Let d = -1/19747 + -592373/730639. Let u(s) = 527*s + 4215. Let q be u(-8). Which is greater: q or d?
d
Let r be 6 - -1 - ((-6)/30 - (-507)/65). Is r greater than 0.172?
False
Suppose 2*k = 0, 0 = 5*p + 5*k + 30. Let h(n) = 26 - 6*n + 6*n - 3*n + 5*n. Let t be h(p). Do t and 14 have the same value?
True
Suppose 1890*q = 7013 - 1343. Suppose 24 = -3*o + 5*o. Which is bigger: q or o?
o
Let j(n) = n - 12. Let d be j(13). Let q be ((-5)/10)/d*-70. Let i = 140 + -105. Is q > i?
False
Suppose 0 = -b - 17*b + 108. Suppose -248 = -2*y - 4*k, k = 3*y + b*k - 376. Are 133 and y equal?
False
Let b = 206/7 + -631/35. Does b = 12?
False
Let i be 15/(-90) - 455/6. Let w = i + 77. Which is bigger: w or -2/81?
w
Let g = 8.42 - 8.33. Suppose 0 = -3*q + 2*p - 29, q - 4*p + 0*p = -3. Is q < g?
True
Let t = -587 + 589. Let f be t - (1 + 4) - 59/(-22). Is -1 at least as big as f?
False
Suppose 0 = 42*m + 368 + 645 + 289. Is m at least -40?
True
Let g = -0.0075 + 0.0765. Let x = 31 + -31.069. Let w = g + x. Which is smaller: 30/11 or w?
w
Suppose -4*u + 10 = -t, -2*t + 5*t - u = 3. Suppose -t*v + 790 + 792 = 0. Let j = v - 6317/8. Which is bigger: j or 1?
j
Suppose 0 = 