Which is smaller: x or 5?
x
Suppose -3*z = -3*j - 4*z - 3, -4*j - 3 = z. Suppose -3*l + 4*t - 2*t + 2696 = j, -4*l = 5*t - 3564. Let p = -34946/39 + l. Is p at least as big as 0?
False
Let h be (9/2)/(-9)*-2. Let d be (-3334)/22*-3*h. Let j = -456 + d. Which is bigger: j or -2?
j
Let j be 4*(-1779)/(-18) + (-25)/75. Is 398 smaller than j?
False
Suppose 32*q - 29*q = f - 14, 2*f = 3*q + 22. Let k be (12/42)/(-3 + f/2). Which is smaller: k or 1/10?
1/10
Let p = -1.9 + 1. Let b = 0.9 + p. Let h = -2289.7 - -2290. Is h at least as big as b?
True
Let a = 0.065 - 6.865. Let z = a - -1.8. Let p = -1865 + 1864. Is z < p?
True
Let s = -24358 + 30179558/1239. Are 1 and s equal?
False
Let d = -1746 + 1746. Which is smaller: -14/341 or d?
-14/341
Let t be (-3)/(-18)*(0 - -2) + 0. Is t >= -2787?
True
Suppose 3 = 27*f - 51. Suppose -f*h = l + 4*l - 904, -5*h = -2*l + 379. Do l and 182 have different values?
False
Suppose -323*t = 73*t + 1121472. Is -2830 != t?
True
Let q = -46 - -30. Let z = 148 + -180. Let j be 1*14*-2*(-16)/z. Which is greater: j or q?
j
Let k = -14456 - -12118. Is -2339 equal to k?
False
Let h be ((-23220)/150)/(16/(-40)). Which is bigger: h or 410?
410
Suppose n = 4*a + 24, -n + 16*a + 19 = 13*a. Suppose -n*j = -b - 38, j - 4 = -b + 3. Suppose -3*m - 9 = -33. Which is greater: j or m?
j
Let z = 9 + -24. Let p(g) = -815*g - 27723. Let o be p(-34). Is z at most o?
True
Let c(j) = 106*j - 1908. Let t be c(18). Is t != 8/637?
True
Suppose 12*t = 17*t + 340. Let o = 117 + t. Is 51 at least o?
True
Suppose h + 4*r + 1663 = 0, 3*r + 613 + 1046 = -h. Which is smaller: h or -1646?
h
Let p be (40 + (-1385)/35)*(-3)/(-135)*14. Let t = 2 - 2. Let u be (1 - t)/((-2)/(-8)). Does u = p?
False
Let n = 3913.92 + -3914. Is -51 equal to n?
False
Suppose -64*v + r + 658 = -65*v, 0 = 3*r + 3. Which is smaller: v or 1?
v
Let m be (-2)/(-8) - (-4 - 65/(-4)). Let s(t) = -t**2 - 13*t - 23. Let q be s(m). Let f = -6 + q. Is -16 bigger than f?
True
Let s = 321 - 314. Let d be 52 - (s + -8)*1. Which is bigger: 52 or d?
d
Let t = -14649059/1740 - -8419. Does 0 = t?
False
Suppose -2*z = 4*y + 12, y - 5*z - 2 = -5. Let v = 7 + y. Suppose -3*o + 4*u + 3 = 0, u - 4*u = -v*o + 4. Is o at least as big as 7?
False
Let k be 1*28/(-7)*15/2. Let q = k + 306. Which is greater: q or 277?
277
Suppose 34 + 128 = 162*p. Which is smaller: 15496 or p?
p
Let d be (114/(-76))/(33/10). Let i = -119/5 - -1141/45. Let t = i + -65/36. Do t and d have the same value?
False
Let k = -672 - -658.88. Let z = 0.62 + k. Is 1 at most as big as z?
False
Suppose -x + 18 = 4*x - o, 3*x - o - 12 = 0. Suppose 0*i + x*q = -3*i + 54, -5*q + 34 = i. Which is greater: i or 12?
i
Suppose 62*a = 416 - 354. Let c = 1594 + -82879/52. Are a and c equal?
False
Let i = -14083 - -14146. Is 2 bigger than i?
False
Suppose 0 = -2*o + 2*i - 8, 0 = -3*o + 5*i - 58 + 38. Is -79/70 less than or equal to o?
True
Suppose 57*q = 64*q + 1295. Let j = q - -180. Let l = 9 + -15. Which is smaller: j or l?
l
Let f be 3*4/6 + 21 + 27 + -14. Is -5/6 < f?
True
Let f = -4374 - -4373. Is -6/865 equal to f?
False
Let z be 45/(-36)*-4 - -7. Let b be 45/(z - 3) - 73. Which is smaller: -339/5 or b?
b
Let s(b) = b**2 + 70*b + 440. Let y be s(-7). Let i = 1024141/303 - 3380. Let j = i + 521/25755. Is y less than or equal to j?
True
Let z = 50 - 180. Let w = z - -152. Which is smaller: w or -4?
-4
Suppose -72*j = 8*j + 95120. Are j and -1187 unequal?
True
Let l be 265672/3520 + (-7)/(-5). Which is greater: 77 or l?
77
Let o(m) = m**3 - 7*m**2 - 6*m + 20. Let u be o(8). Suppose 4*z - 3*z - u = 0. Suppose w = -3*y + 35 + 74, 0 = 4*y + 3*w - 152. Which is smaller: y or z?
y
Suppose 8436 - 8276 = -10*w. Let z(r) = -2*r**2 - 10*r - 7. Let k be z(-6). Which is smaller: w or k?
k
Suppose -4*z = -5*z + 570. Suppose -10*d = -0*d + z. Let r = 58 + d. Which is smaller: -21 or r?
-21
Let p = 638 + -1910/3. Let j = -27 - -1. Let f = -27 - j. Is p > f?
True
Let a = -107/18 + 64/9. Suppose 0 = -1783*k + 4129 + 15484. Is a less than or equal to k?
True
Let x(c) = -c**2 + c. Let s be x(3). Let g be (560287/258594)/((-22)/168 - (-1)/(-4)). Is s >= g?
False
Let u(t) = -2*t**2 - 4*t + 16. Let a be u(4). Let m be (-6 + 2)*8/a. Is m <= -2/33?
False
Let k(d) = -4*d - 116. Let i be k(-27). Let z(j) = -23*j - 162. Let b be z(i). Which is smaller: 24 or b?
b
Let j = 0.952 - 0.8. Let v = 0.148 + j. Is v > 0.3?
False
Let d be (-2)/(-14)*(-28)/8. Which is bigger: -5/27 or d?
-5/27
Suppose 3*a = r - 17, -22*a - 4*r - 34 = -17*a. Let m(w) = w**3 - 4*w**2 - 3*w. Let i be m(4). Is i >= a?
False
Let j = 0.21 - 0.2. Let k(c) = 7*c - 93. Let u be (-9)/24 - 107/(-8). Let f be k(u). Which is greater: f or j?
j
Let s = 0 + 0. Let n = 1/114264 + 457007/5598936. Is s < n?
True
Let a be (-1 - -2)/(368719/226). Is 1 greater than or equal to a?
True
Let n(u) = 13*u - 99. Let w be n(8). Suppose -2*y = -w*h - 269, 3*h + 2*y + 157 = y. Is -57 at least h?
False
Suppose -90 - 74 = -j. Let m be (-77)/j - 82/(-164). Which is greater: 1 or m?
1
Suppose 0*y - 3*y = 54. Let x be (-30)/y + 34/(-6). Let p = -1231.3 - -1231. Which is greater: x or p?
p
Let f = 9 + -55. Let i = f - -44.9. Is i at least as big as 22?
False
Suppose -45 = k - 2*d + 47, -3*k + 2*d - 300 = 0. Is -84 greater than k?
True
Suppose 56*u - 2 - 28 = 26. Which is smaller: u or 2/74973?
2/74973
Let z = -491514/108629 - -14/4723. Let c = z + 112/23. Is 0 at most as big as c?
True
Let v(t) = t**2 - t + 9. Let p be v(0). Suppose 0 = -13*u + p*u + 4. Let f(x) = 84*x - 3. Let g be f(u). Which is smaller: g or 82?
g
Suppose 2*s + 419 = -3*p, -6*s + 1060 = -11*s + 5*p. Let y = -275 - s. Which is smaller: y or -68?
-68
Suppose -3*v - 5*f + 429 = 0, 5*v - 6*f + 2*f - 752 = 0. Let k = 249 - v. Which is smaller: k or 99?
99
Suppose 2*f - 31*h - 13 = -26*h, 10 = 5*f - 5*h. Is -366 smaller than f?
True
Suppose 0 = 2*l + 2*t + 4068, -56*l + t - 6126 = -53*l. Is -2039 equal to l?
False
Let i be ((-7)/(-2) + -4)/(2/(-4)). Let d be 1840/15*(-2 - 0 - i). Let m be (-3 - -4) + d/366. Are -1 and m equal?
False
Let r be (25 + -768)*2/(2/(-1)). Suppose 10*m = -757 - r. Is m at most -149?
True
Let g = 11941.93087 - 11942. Are g and 1/4 non-equal?
True
Let c = -61634/2679 + 1078/47. Which is smaller: c or -12?
-12
Suppose 0 = 4*j - h + 5 - 2, 2 = j - 3*h. Let w be (j - (-4)/3*3) + 27. Are 30 and w unequal?
False
Let w(a) = -17*a**2 - 94*a + 281. Let t be w(-8). Suppose -2*l - 6 = 0, 3*l - 42 = b - l. Are t and b nonequal?
True
Let p be 2/4 - (-2)/4. Let c = -12010/9 - -1337. Let v = 451/180 - c. Do v and p have the same value?
False
Let v be (((-760)/(-28614))/(4/6))/((-2)/(-10)). Is v at least 0?
True
Suppose 3*j + 67 = n, -14*j + 4*n = -19*j - 123. Let s = -26 + 5. Which is bigger: j or s?
s
Let p(s) = -s**3 - 6*s**2 - 6*s - 4. Let q be p(-6). Suppose -2*m - 2*d = d, -2*d - q = -4*m. Let x be 1320/36*m/5. Is 43 < x?
True
Suppose 7*a + 618 = 9*a. Let k = -309 + a. Which is smaller: k or 2/201?
k
Let u be -6*916/(-24)*-4. Let k = u - -12829/14. Which is smaller: 0 or k?
0
Suppose -5*h + 5*f = 0, 2*h - 4*f - 1 + 5 = 0. Suppose -11 = 5*k + 9*u - 6*u, -h*k - 4*u = 10. Which is smaller: -2/535 or k?
k
Suppose 0 = 84*n - 34021 - 4031. Is 457 greater than n?
True
Let a = -134791 + 1034251340/7673. Are 1 and a nonequal?
True
Suppose 2*d - 5*u + 2*u = 60, d - 40 = -u. Suppose -558 = -d*q + 27*q. Let j be -62*(1 - 1 - 1). Is q at least j?
True
Let u be 27*(-1)/(-3) - 2. Let f be ((-22)/(-2) - u)/(-118). Are 1/6 and f non-equal?
True
Let a = 16765 - 16773. Which is smaller: a or -457?
-457
Let m be (-3)/2*8/3. Let t be 1/m + (-390)/8. Let s = -19128 - -19080. Is t greater than or equal to s?
False
Suppose 15*s - 4300 = 16*s + 5*t, -s - 4314 = -2*t. Is -8621/2 less than or equal to s?
True
Suppose m + 97 = -69*n + 67*n, 0 = m + n + 100. Let o = 0.03 - -0.07. Which is smaller: m or o?
m
Suppose -l - 18 = -22. Let i be ((-51)/68)/(1/l). Which is greater: i or -4?
i
Let n be (-28)/(-6) - (-5 - (-14)/3). Suppose 5*p - 2 - 8 = 0. Suppose -p*x + 24 = 2*q, 0 = q - 3*q - 4*x + 32. Which is smaller: n or q?
n
Let z = 11158 + -11157.82. Which is smaller: 1/4 or z?
z
Let p = -2/597 - 2971/4179. Let s = -22/21 - p. Which is smaller: 0.18 or s?
s
Let c be ((-57)/27 + 