 p = 19400 + -19504. Is p > -59?
False
Let w = 4/3089 + 2819/4979468. Which is greater: w or 1?
1
Suppose 9*m = 92 + 25. Suppose h - 5*u - 3 - 7 = 0, 5*h - 4*u = -m. Let t be (2 + h)/((-6)/(-10)). Which is bigger: 4 or t?
4
Let h be (0 - 1*46) + (-11)/11. Let r = h + -661. Let p be 3 - 38/14 - r/(-273). Which is smaller: -2 or p?
p
Let p be 2/(-2) - (-14)/14. Suppose 4*k = 8*k - 12. Let h be ((-1)/k - 0)/((-1)/(-3)). Which is smaller: p or h?
h
Let a = -15284698/48545 + -6/6935. Is -314 > a?
True
Suppose 5*r = z + 1889, -5*z - 2278 = -4*r - 750. Is 376 >= r?
False
Suppose -3*f + 0*o + 65 = 4*o, -3*o + 101 = 5*f. Let y(w) = 14*w**3 + 2*w**2 - 84*w + 83. Let d be y(1). Is d greater than f?
False
Let c = -1765.79 - -1773. Let y = -2.21 + c. Which is bigger: y or -1/3?
y
Suppose 9 = -6*y + 309. Suppose -21*o + 16*o + y = 0. Suppose 45 - 5 = 5*d. Is o greater than or equal to d?
True
Let d(i) be the second derivative of i**5/20 - i**3/2 + i**2/2 - 4*i + 1. Let r be d(0). Let p be ((-5)/39)/((-1)/18). Is r at most as big as p?
True
Let y = -8143.96 - -8144. Let d = -2 - -3. Let v = 1 + d. Which is greater: v or y?
v
Let x(i) = i**3 - 14*i**2 + 52*i - 6. Let f be x(8). Suppose 2*p - f = -28. Which is greater: p or -2/223?
-2/223
Let s be (-476)/(-678)*(620/32 + -4). Let j = s + -5/113. Let h = 7 - -5. Which is smaller: h or j?
j
Let m = 6/673 + 9963/14806. Let r = -13/11 + m. Let l = 21.9 + -23. Are l and r nonequal?
True
Suppose 0*k - 65 = -2*c - 5*k, -115 = -3*c - 4*k. Suppose 78 = 42*z - c*z. Let w be (z/(-4) - 3)*-12. Is w at most -42?
True
Suppose 4*k - 4*q - 1200 = 0, 70*k - 67*k + 4*q = 879. Which is smaller: 301 or k?
k
Let k be ((-1068)/(-48)*-5)/((25/24)/(-5)). Is k at least 3740/7?
False
Let z = -20369/1080 + 151/8. Let t = 4/27 - z. Which is smaller: t or 0.05?
0.05
Let i be (-33)/21*1/7. Let m be (-42)/(-98) - ((-8)/7)/2. Is m less than i?
False
Let o = 29057369/22143807 + -5/117163. Let u = 38/27 - o. Let f = -119 + 120. Is f at most as big as u?
False
Let h be 4/((-16)/(-63)) + 2/8. Suppose h = -s + 12. Let x be 3/(-6) - (-5)/s. Are x and -3 unequal?
True
Suppose 2 = 13*y - 37. Suppose -13 = y*m - 16*m. Do m and 2/151 have the same value?
False
Let z(a) = -a**3 + 9*a - 8. Let j be z(4). Let s be (j/(-30))/((-6)/(-75)). Is s at most 14?
False
Let o = -50.38 - -40.38. Which is greater: -2/39 or o?
-2/39
Suppose -p + z + 34 = 8, -4*p + 80 = 4*z. Let o(d) = d**3 - 24*d**2 + 23*d + 29. Let w be o(p). Suppose -2 = -27*g + w*g. Is -8/7 smaller than g?
True
Let a = 6/407 - -43513/2442. Which is smaller: a or 2?
2
Let u = -86527 + 20593491/238. Let m = u + -1/17. Let v = 167 - 167. Which is bigger: m or v?
m
Let u = 4881 - 4883. Which is smaller: u or 11/17?
u
Suppose 1145 = -6*y - 3949. Which is smaller: -843 or y?
y
Let x = -26 + 26. Let l = x - -12. Let o = 12 - l. Does -1 = o?
False
Let l be 534/(-14) + (-1)/(-7). Let v be -2*(-2)/(-8)*-62. Suppose 0 = s + 7 + v. Is s smaller than l?
False
Suppose -9*x + 44 - 26 = 0. Suppose x*i = 4*c - 68, 3*i - 5*i - 53 = -3*c. Which is greater: c or 3/8?
c
Suppose 18*r + 3402 + 1836 = 0. Is r less than -288?
True
Let d = 2894 - 2894. Let o be 8/(-10)*110/286. Is d greater than o?
True
Let j = -0.146 + -16.354. Let z = -124.5 + j. Let d = z + 140.85. Which is greater: 1 or d?
1
Suppose -3 = 5*q - 8. Let x be (-11)/209220*40*-2*(-6)/(-4). Do x and q have different values?
True
Let s = -1860.4 - -1870.4. Which is greater: 0.0543 or s?
s
Let u be (3*(-564)/48 - 9)/((-6)/32). Which is bigger: u or 232?
u
Let m be (-11)/(-3) - (-5)/(19 + -4). Let o be 0 + (-908)/(-16) + (-3)/m. Which is smaller: o or 54?
54
Let c(j) = j**3 + 10*j**2 + 77*j + 476. Let r be c(-8). Is r greater than 42?
False
Let q = -4155 - -6670. Let b = q + -2559.98. Let w = b - -45. Is w at most -1/4?
False
Let r(p) = -p**2 + 22*p - 48. Let d be r(12). Suppose 0 = 156*m - 162*m + d. Is 124/11 at least m?
False
Let r be (66/(-12))/((-6)/12). Let a(f) = -5*f. Let j be a(r). Is -54 > j?
True
Suppose 30*g - 34*g + 42 = 2*m, -g + 2*m = -8. Is 36/31 smaller than g?
True
Let n = -88/91 - -47074/48867. Which is smaller: n or 0?
n
Let h = -4482.3 - 4.7. Is h > -0.1?
False
Let l be 1346/(-5) + 31/((-465)/(-18)). Which is smaller: l or -269?
-269
Let p = -18293/331816 + 25/456. Is 0 not equal to p?
True
Let m = -102 + 105. Suppose -m*v + 10 = -2. Suppose -4*x + v*r = 0, 4*x + r - 1 = 4. Which is smaller: -107 or x?
-107
Let k(d) = -d**2 - 57*d - 110. Let n be k(-55). Are n and 1/5547 non-equal?
True
Let p(n) = n**3 - 6*n**2 - 7*n. Let s be p(7). Let f be (-93)/(-39) + s - 3. Let x = 417/5 - 419/5. Which is smaller: f or x?
f
Let j = -0.039126 - -0.019126. Let a = 0.09 + -0.16. Is j != a?
True
Suppose 0*j - 2*j = 12. Let d = 2128.23 - 2128. Do d and j have the same value?
False
Let k = 67 - 52. Let z = k + -23. Let u be 0/((2/(-4))/(4/z)). Is u less than -4/19?
False
Suppose 84*s + 124*s - 19*s = -24*s. Is s not equal to 2/13389?
True
Suppose -591*g = -578*g + 13. Let s(t) = t + 3. Let a be (-27)/5 + (-21)/35. Let v be s(a). Which is smaller: v or g?
v
Let x be 4/22 + (-3723)/(-396). Let q be 1443/148 - (1 - (-1)/(-2)). Let n = x - q. Which is smaller: 0.35 or n?
n
Let j be 231/(-132) + 234/120. Let d(b) = -5*b + 6. Let f be d(-6). Suppose -4*p - f = 5*t, 3*p = 4*p - t. Are j and p nonequal?
True
Suppose 3*l - 158 + 32 = 0. Let u be (2/27)/(-116*7/l). Is u at most 1?
True
Suppose 3*y - 25 = 20. Let j be (-24)/((y/(-20))/(-1)). Suppose -3*h = -2*z - 76, 0*h + 44 = -z + 3*h. Are j and z equal?
True
Let m be (2 + 56/(-12))/((-2)/3). Let v be m/(-20) + (-9711)/(-105). Let t = -92 + v. Which is bigger: 6/29 or t?
t
Let t = -1.2209 + -0.0691. Is t at most as big as -0.6?
True
Let b(n) = -n**3 + 40*n**2 - 36*n - 114. Let z be b(39). Suppose 0 = 5*a - z*o - 15 + 22, 3*a + 5 = 2*o. Which is smaller: a or -4/89?
-4/89
Let s be (-3)/(-2) - (-606837)/(-421050). Let a = -1/802 - s. Is a >= 0?
False
Suppose -24*o = -23*o + 56. Let d = 2013 + -2064. Do d and o have different values?
True
Let q be 8/20 + (-23)/(-5) - -2. Suppose -3*o + 2*u + 150 = 0, o - 50 = -11*u + q*u. Which is smaller: 51 or o?
o
Let t = 845 - 834.6. Let h = -13 + 23.4. Let y = h - t. Is y less than 4?
True
Suppose 0 = -2*t - 3*c - 19, 3*t - 3*c = -5*c - 26. Let s be 3*1/6*(-7 + 7 - 14). Is s less than t?
False
Let u = -380/11 + 376/11. Let h = -815 + 811. Which is smaller: h or u?
h
Let x = -16.014 - -16. Let c(t) = -t**3 + 18*t**2 - 60*t + 54. Let g be c(14). Which is smaller: x or g?
g
Let k(y) = -119*y**2 - 117*y - 119. Let g be k(-1). Which is smaller: -118 or g?
g
Let d be 0 + -5 + 2/((-198)/40997). Let o = d + 419. Does 0.11 = o?
False
Let a = 58.6 + -0.6. Let o = 16 - a. Let f = o - -42.02. Which is bigger: 2/9 or f?
2/9
Suppose 3*t + 4*z + 697 = 0, 5*t + 5*z + 152 = -1008. Is t at least -925/4?
True
Let v = -826 + 821. Let b be 116/96*2 - (v - -7). Which is bigger: b or -0.1?
b
Let w = 7865.78817 - -0.21183. Is 2/15 smaller than w?
True
Let g = -167 + 161. Let k be g + (-1 - 0)*-11. Which is bigger: 0 or k?
k
Let s = 36893/55 + -671. Are -2 and s non-equal?
True
Let x be 66/(-528) - (-17)/264. Suppose m - 4 = 0, -5*i + 13*m - 25 = 8*m. Are i and x non-equal?
True
Let j be 4 - (2/9 - 129109/(-603)). Does -211 = j?
False
Let f be 63 + 9*5/(-15). Let c be 24/16*f/603. Which is smaller: 0 or c?
0
Let l be (-1)/((-21591)/324 + 12/54). Is l bigger than -1?
True
Let n = 34.5 - 36.321. Let v = 0.179 - n. Is -104 greater than or equal to v?
False
Suppose 3*v = 5*s - 17, 3 - 14 = s + 3*v. Is s != -10.86?
True
Let y = -3/12724 - 12433/1234228. Suppose -2*c - 3*z + 19 = 0, 5*c = 2*z - 0*z + 19. Let o(s) = -s + 4. Let u be o(c). Is y bigger than u?
True
Suppose 11485*p + 4144 = 11501*p. Is p smaller than 265?
True
Suppose 7 = 2*u - h, 5*h + 18 = -4*u + 67. Do -626 and u have different values?
True
Suppose -744*a + 746*a = n + 301, -5 = a. Which is greater: n or -310?
-310
Let z = -795939/340 - -2341. Let v = 175 - 177. Is v at most z?
True
Let c(i) = 478*i + 17368. Let w be c(-36). Which is greater: w or 212?
212
Let f be 2/13 + -825*27/1053. Which is smaller: f or -380/17?
-380/17
Let q(z) = 131*z - 3929. Let m be q(30). Is 3/2000 greater than m?
False
Suppose 0 = -6*x + 1207 + 1817. Let d be 21/x