s?
False
Suppose -74*n = -95*n + 165753. Which is smaller: n or 1?
1
Let v be (-32)/6*12*(-10)/80. Suppose -2 = x + 6. Let h be 2 + ((-20)/x - -3). Are v and h non-equal?
True
Let t be (-1)/5 - 182/(-35). Suppose -5*v - t = 2*s, 5*v + 2*s + 5 = -s. Are -2/191 and v nonequal?
True
Let u = 69/2156 - 1/588. Let x = u - -7/11. Let v = -130 - -127. Are v and x nonequal?
True
Suppose -11788 = -16*t - 412. Let l = t - 710. Is l at least as big as 88?
False
Let b = -358/21 - -52/3. Let w = 20 - 16. Suppose o = -w*v + 17, 4*o + 3*v - 1 = 2. Which is smaller: b or o?
o
Let y be 30/105 + 2/(-7). Let j be 108144/(-95744) - (y - (1 + 0)). Let f = 5/187 - j. Is f < 1?
True
Suppose -5*x - 5*v - 106 = -76, -4*x - 31 = 5*v. Which is smaller: x or -1/2592?
-1/2592
Let j = -4 + 3.7. Let i(n) = 47*n - 609. Let z be i(13). Is j at least as big as z?
False
Suppose 125 = p - 3*b - 218, -2*p + 5*b + 691 = 0. Is 359 smaller than p?
False
Let d(c) = -1080*c + 352. Let r be d(-1). Is r smaller than 1433?
True
Let a be (5/55)/(3*(-1)/(-39)). Which is smaller: 1 or a?
1
Let z = 2.9 - 3. Let g = 6394/855 - 346/45. Is g greater than or equal to z?
False
Suppose 2*k - 12 + 40 = 0. Let j be ((-9)/2)/9*k + 1. Let s be (j/12)/((-28)/147). Is -5 greater than s?
False
Let n be 27/108 + 2/(-56)*-201. Let g(r) = 44*r - 212. Let o be g(5). Is n less than o?
True
Let v = 8.682 - -0.218. Let h = -9 + v. Which is bigger: h or -139/5?
h
Let m be 20/(-22) - (4/(-14) + 6/21). Suppose 4*f = -c - 5, 4*c = -6*f + 3*f - 7. Are m and f equal?
False
Let j = 9590 + -11133. Is j at least -1543?
True
Let l = -303 - -444.4. Let q = l - 142. Do 5/8 and q have the same value?
False
Suppose 8 = -7*v - v. Let r = 36249/46 + -788. Is v equal to r?
False
Let s = -3004 - -3083. Let g = 7 - -9. Let q = s - g. Do 1 and q have the same value?
False
Suppose 131*j + 136864 - 123109 = 0. Let d = -233 - -128. Is d greater than j?
False
Let k = 25422 + -25589. Let r = 5/7 - 8/21. Do r and k have the same value?
False
Let f = 9822 + -9859. Which is bigger: f or 1?
1
Let c(k) = -3*k. Let n be c(-1). Suppose -n*u + w = 2*w + 6, 2*w = 0. Let g be (-207)/(-126) - u/(-4). Which is smaller: g or 1?
1
Let i be (-5 + 1 + -2)*220/(-330). Let n be 5/2*(-10 - 4). Let j be -2*(n/(-10) - i). Do j and -2/93 have the same value?
False
Suppose -8*x - 56 = -16. Let m be -2 + (-64)/(-36) + 3766/(-630). Which is smaller: x or m?
m
Let y = 6 + -4. Let d(a) = -7*a + 127. Suppose -2*w - 88 = -5*i, 3*w = i - 34 + 19. Let n be d(i). Which is bigger: n or y?
y
Let k = -377 + 552. Suppose -99*x + 12250 = -29*x. Is k <= x?
True
Let f(i) = -7 + 57 + 14 + 38*i - 12*i + 37. Let k be f(-4). Are -36/19 and k equal?
False
Let d = 18 + -17. Let l be (5/1)/d + -3. Let w be (-4)/6*(-31 - -25). Which is bigger: l or w?
w
Suppose -252*n + 3*q - 12 = -250*n, 0 = q - 4. Is n less than or equal to 5/2108?
True
Suppose 5*d - 4*p - 267 = 0, 14 = 2*d - 3*p - 90. Let j = 4180 + -4122. Is j < d?
False
Let r = 136.2 - -272.4. Let p = r + -410. Is p <= 8?
True
Let v = -1492 - -25365/17. Let m(j) = j**2 - 3*j**2 - 2*j - j**3 + j**2 - 1. Let t be m(-1). Which is greater: v or t?
t
Suppose 113438*v = 113441*v + 171. Which is bigger: v or -281/5?
-281/5
Let y = 15633 - 15633. Which is bigger: -2312 or y?
y
Suppose -140*h + 24380 - 4370 = -4770. Is h at most as big as 177?
True
Let a be (-27)/(-6) - 4/8. Suppose z + 14 - 17 = 0. Suppose a*b = z*b. Is 2/43 less than or equal to b?
False
Suppose 2*n - 5*n + 279 = -3*v, 2*v - n + 189 = 0. Let y be (1 + v/94)*2. Is y bigger than -1?
True
Let k(w) = 6*w - 132 + 20*w - 7*w + 8*w. Let f be k(5). Let x be (2 - 3) + 0/2. Is x >= f?
False
Let c(f) = -48*f + 1392. Let p be c(29). Which is smaller: 2/2873 or p?
p
Suppose 5*a - 1 - 9 = 0. Let b be 4/a - (-2 + 5). Let k be 10/(-5)*(6 + (-3280)/550). Which is greater: b or k?
k
Let h be (-33)/22*(-44584)/60. Let a = -116863/105 + h. Does a = 2?
False
Let z = -15223 - -15175.805. Let j = z - -47. Let f = j - 0.005. Which is smaller: f or 8?
f
Let l be ((-7)/(4515/(-18)))/(598/(-12420)). Let b = 2/673 + -10181/28939. Let p = l - b. Is p bigger than 0?
False
Let n = -70 + 71. Let q be (1 + (n - 10))*(-2)/4. Let u be (2 - 1) + 0/(-2). Which is smaller: u or q?
u
Suppose -7*v + 3*v + 12 = 0. Let i = v + -3. Let c be 32430/(-1081) - 4376/(-146). Which is greater: i or c?
i
Suppose a + 143 = -8*h + 4*h, 0 = 4*h - 4*a + 148. Let c be h/(-8)*(-44)/6. Suppose 0 = 5*f - 4*m - 119 + 280, 4*f + 131 = m. Is c bigger than f?
False
Let w be 3 - (-21 - (-4)/((-20)/25)). Suppose -z + w = 135. Do -107 and z have different values?
True
Suppose -26*s + 22*s = -176. Which is smaller: s or 51?
s
Let l(j) = 2*j**3 + 170*j**2 - 3*j - 254. Let f be l(-85). Is f smaller than 1/1474?
False
Suppose -7*c + 3*b = -11*c + 585, -5*c = 4*b - 731. Which is bigger: 137 or c?
c
Let i = 0.03545 + 218.86455. Let p = i + -220. Let z = 0.56 - 0.5. Is z bigger than p?
True
Let u be -3 + (8532/(-928) - 0/2). Let i = u - -97/8. Let a be -2 + (-1 - -2) + 1. Do i and a have the same value?
False
Suppose 6*z = 5*z + 30. Suppose -z = 5*b - 10*b. Which is greater: 8 or b?
8
Let i(y) be the second derivative of -y**3/6 - 4*y**2 - 43*y + 1. Suppose -4*u + 0*u = 32. Let w be i(u). Is w >= -1/4?
True
Suppose 8*g - 18*g + 3000 = 0. Let j = -309 + g. Is -71/7 at least as big as j?
False
Let y = -1405 + 1415. Let i(l) = -l**2 + 5*l - 2. Let r be i(3). Suppose -7 = r*z - 27. Which is smaller: y or z?
z
Let c(p) = -2*p - 61. Let a be c(-24). Suppose 1432*u - 1435*u - 39 = 0. Is u > a?
False
Let a(x) = x**2 + x + 3. Let l be a(4). Suppose -l = 2*g - 3. Suppose -4*s + 5*t - 21 = 0, 3*t - 19 = 3*s - 1. Which is greater: g or s?
s
Let a(j) = -3*j - 4. Let x be a(-5). Suppose x*h = 16*h + 180. Let i = -34 - h. Which is smaller: i or 5/4?
5/4
Let z be (-5)/(-5) - (-9)/(-7). Let i = 7471 - 7461. Which is smaller: z or i?
z
Let j be 2 + -4 - (-524)/(-22). Which is smaller: j or -26?
-26
Let f = 42 + -42.2. Let r be ((-1)/3*-6)/(21/49). Which is smaller: r or f?
f
Let d be -5 + 0 - (32 - 71). Suppose 0 = d*z - 25*z - 1728. Is 193 < z?
False
Let r be ((-60)/18 + 4)/(-3 + 86/26). Suppose l + 4 = 2*q + q, -4 = -4*q + 2*l. Which is greater: q or r?
r
Let i = 159.4 - 159. Let p = 11511/10030 + -3/5015. Let x = p - -6/17. Is x at least i?
True
Let l = -1883.3 + 1884.3. Is -6.925 smaller than l?
True
Let k be ((-57)/(-76)*(3 + -7))/(8 - 7). Let u = -1.2 - -0.2. Let p = 1.1 + u. Do k and p have the same value?
False
Let v = -2888 + 2882. Is v less than or equal to -118?
False
Let x(o) = 20*o + 73. Let k be x(4). Let n be 129/k - (-15)/(-9). Is n bigger than -2?
True
Let l = 1.827 - 2.827. Which is greater: l or 147/8?
147/8
Let c be (1 - 2)*2 + -2. Let z be ((-92)/16 - c) + 0. Let m(l) = -l**3 - 4*l**2 + l + 1. Let u be m(-4). Is u at least as big as z?
False
Suppose -72*x = 95*x + 9*x - 176. Which is bigger: x or -13/315?
x
Let d be (2 + 2 + -4)/(4/2). Suppose 5*x - 102 = -4*w, -2*w = -x - d*w + 12. Is 19 smaller than x?
False
Suppose r = 4*x + 77, 4*x - 16 = -5*r - 63. Let w = -1432 + 1426. Which is smaller: w or x?
x
Let d(t) = 5*t**2 + 57*t. Let o be d(0). Is o not equal to -20/317?
True
Let b = 2780 + -2743. Is b less than or equal to 37?
True
Let y be (-4 - 55/(-10))/(-3621). Which is bigger: 1 or y?
1
Let x be (16 - 217/126) + -14. Which is bigger: x or 4/13?
4/13
Suppose 7*v = h + 4*v - 7, -h - 3*v = -19. Suppose h + 24 = 5*n - i, 5*n - 3*i - 41 = 0. Do n and 1 have the same value?
False
Let b(f) = -51*f**2 + 4*f + 8. Let l be b(-2). Let x = l - -355. Which is greater: x or 153?
153
Let c = -2 - -6. Suppose -34*r = -184 - 632. Which is bigger: r or c?
r
Let j = -9576 - -13281. Is j <= 0.3?
False
Let i be -1 + (-5)/(-3) + 976/(-1476). Let d(w) = -14 - 5 - 2*w + 43 - 14. Let m be d(5). Are i and m equal?
False
Suppose -46*a = 5*a - 28*a - 1012. Is a < 5?
False
Let a(r) be the third derivative of -r**4/24 - 131*r**3/6 - 123*r**2. Let u be a(46). Is -178 <= u?
True
Let b = 2796829/3 - 187379174/201. Let t = 125/3 - b. Which is smaller: t or 2/7?
t
Let n be (1 + -9)/(-5 + 4). Let t be (-82)/164 + 47/6. Which is smaller: n or t?
t
Let q = 22235 - 23016. Is q at least as big as -775?
False
Let s(z) = -379*z - 2941. Let g be s(-6). Is -4672/7 > g?
F