 r = 164/5 - h. Which is smaller: r or 0.87?
r
Suppose b = -44 + 46. Suppose -b*j - 23 = -73. Which is greater: 21 or j?
j
Let a be 10/(-65) - 20955/260. Let y = 81 + a. Is y > 27?
False
Let c = 22 - 2. Let j = c + 36. Let z = j - 48. Is -1/5 smaller than z?
True
Suppose -x + 30 = 10. Let w = 187 + -124. Let o be 1*-3 - (-171)/w. Which is greater: x or o?
x
Let i = 1043 + -4171/4. Let o be (-38 + 2)*-1 - -2. Which is smaller: i or o?
i
Let y = -259 - 12. Let n = -272 - y. Which is greater: n or 4/89?
4/89
Let g(d) = 630*d - 2521. Let p be g(4). Which is smaller: p or -87/140?
p
Let l = -21.8 - -30. Let m = 8 - l. Which is smaller: m or -12?
-12
Let i = -2021/15918 - -3/379. Let o be -11 - (-9 - 70/40 - (-15)/20). Which is smaller: i or o?
o
Let l = 68 + -48. Let f be (l/(-24))/(2*(-3)/36). Suppose 0 = -2*o - f + 3. Which is smaller: o or -0.006?
o
Let d = 10.86 - -0.14. Let l = 11.1 - d. Suppose -27 = 3*w - 3*o, -4*w + 2*o = 20 + 18. Is l at most as big as w?
False
Let w be (16 - 24 - -6)*-14. Suppose 248 - 93 = 5*c. Which is bigger: w or c?
c
Suppose -60 = 13*i - 7*i. Let f be 22*(-3 + i/(-4)). Which is bigger: f or -65/6?
-65/6
Suppose 4*o - 5*n - 34 - 106 = 0, -4*n - 104 = -3*o. Is o less than 43?
True
Let b(k) = -4*k**2 - 164*k + 242. Let x be b(-43). Is -514/5 >= x?
False
Let q = 1652/5 - 326. Let p(t) = -t**2 - 7*t - 6. Let a be p(-5). Let b be (-34)/(-7) - a/(-28). Which is smaller: b or q?
q
Suppose j = -5*u - 2103, -347*u + 2075 = -j - 345*u. Is -2083 at least j?
True
Let g = -618 + -300. Which is greater: g or 0?
0
Let i(b) = -6*b**3 - 3*b**2 + 3*b + 2. Let o be i(-3). Let v be 7/49 + o/(-14). Let c = v - -10. Are c and 12/7 unequal?
True
Let u = 0.10794 - 0.02394. Is u greater than or equal to -11.5?
True
Let w = -3250 - -3249.948. Is -0.5 greater than w?
False
Let f = -1/10 + 7/45. Let d = -931 - -8375/9. Let g = d - f. Is g not equal to -2/13?
True
Let r be (-32443)/22 - (-10 + (-1188)/(-121)). Is r not equal to -1474?
True
Suppose 2*x - 129 = m, x - 87 = -m - 3*m. Let o(b) = b + 4. Let w be o(-5). Let z be (-195)/(-3) - (w - 0)*2. Is x at most z?
True
Suppose 3*p - 120 = -3*p. Let f be 4/p*21 + -5. Let d = -2 - -5. Is d bigger than f?
True
Let i be 9/(-36) - 573913/60. Let w = -9562 - i. Let q = 19/5 - w. Which is smaller: q or -10?
-10
Let y = -99.11 + -1.89. Let n = -53 - y. Let s = n - 48.2. Which is greater: 7 or s?
7
Let p be (0 + 8)*((-177)/6 - 5). Let f be (759/p)/((-1)/16). Which is smaller: 40 or f?
40
Let n(v) = -v + 48. Let u be n(43). Suppose u*b = -h - 44 - 15, 2*h + 58 = 2*b. Which is smaller: h or -11?
h
Let v be ((-2002)/130 + (-1)/(-1))*(-13360)/84. Is v at least 2290?
True
Let c = 0.1042 - 211.1042. Which is smaller: -0.1 or c?
c
Let l be (-1)/(34/(-30) + (-12)/(-90)). Is l > -3/13666?
True
Suppose 163*o = 187*o - 10344. Suppose 0 = q + 4*r - 411, 3*q - 5*r - 829 = 489. Do o and q have different values?
False
Suppose 607 - 53667 = 28*w. Are -1895 and w equal?
True
Suppose -7*n - 18*n = -39*n - 50680. Which is smaller: -3619 or n?
n
Suppose 0 - 1 = w. Let n be (-3 - -2)*0*w. Let t be (14/(-84))/(4/16). Which is greater: t or n?
n
Let g be (396/(-7))/((-240)/840). Which is smaller: g or 1790/9?
g
Let x be 1/(3*(-1)/48). Let s be -1*(-2 - -1)/((-3)/(-9)). Let k be ((-5)/(-25)*-6)/(s/40). Is k less than or equal to x?
True
Suppose 4*p - 321 = -73. Let c(t) = t**3 - 40*t**2 + 215*t - 6. Let i be c(6). Do i and p have different values?
True
Let q(b) = 51*b - 6430. Let p be q(151). Which is bigger: p or -7?
p
Let n be (-50)/10 + (43 - 14). Which is smaller: 271/12 or n?
271/12
Suppose -119*j = -120*j - 242. Let y be 3 + j + 1/((-1)/(-3)). Which is greater: -235 or y?
-235
Let v be 2 + 7 + -30 - 3. Let n be 15/v*(-252)/(-7). Is -23 greater than n?
False
Let k be ((-7)/(-9))/(60/(-9)). Let h = k - 1/12. Let w = 8/5 + -21/10. Is w at least as big as h?
False
Let y = -13492 - -13496. Which is greater: 4/47 or y?
y
Let i be 1*1/((-176697)/44175 + 4). Which is bigger: 14724 or i?
i
Suppose 4*c - 3*x + 745 = 0, 390 = -2*c - 25*x + 23*x. Is c at least -188?
False
Let h = -7.98858 + -0.00942. Let s = h - 0.002. Is -1/2 greater than s?
True
Let d(u) = 41*u + 124. Let i be d(-8). Is i less than or equal to -205?
False
Let r be (10*(-6)/(-60))/((-2)/(-62)). Suppose -6*k = r*k - 2923. Is k < 155/2?
False
Suppose -9 = -3*o - 3*b, -66*o - 5 = -70*o - 5*b. Which is smaller: o or 0.6?
0.6
Let k(l) = -l - 24. Let y be k(-26). Suppose 2*a = -3*v - 128, -y*v + 47 - 311 = 4*a. Is -66 != a?
True
Let b = -852 - -839. Is -13 smaller than b?
False
Let j be 3/(9/2*5/330). Suppose 26*w - 4*w - j = 0. Is w at least as big as 6?
False
Let g(f) = 4*f**2 - 9*f + 7. Let z be g(2). Let m be ((-3)/(5 - 2))/(6 - z). Do 9/19 and m have the same value?
False
Let h = 3096/11 - 15502/55. Let k = -10 - -4. Is k smaller than h?
True
Let p = -4211.6 + 4211. Which is smaller: p or -0.0693?
p
Let s be -6 + 6/(-4)*4/3. Let x be (1/s)/(3/18). Let z(g) = -g**3 - 2*g**2 - g. Let l be z(0). Which is smaller: l or x?
x
Let j = 0.003 - -0.02. Let o = -0.077 - j. Which is bigger: -0.005 or o?
-0.005
Let n be 9/(-450)*5 - (-29)/(-10) - 8244. Which is smaller: n or -8248?
-8248
Let i be 8/60 + 4/(-30). Suppose -3*g - k = 10, 4*g - k - k + 10 = i. Is -90 < g?
True
Let a be (-5 + 2 - 3) + 362. Which is greater: 360 or a?
360
Let p = 276 + -198. Let y be 10/(-120) + p/72. Are y and -3/472 unequal?
True
Let x = 48 - 43. Suppose -91 = x*y + 9. Let v be 1/5*-2*y/(-16). Is v at least -50?
True
Let g = 140221/21 + -6679. Which is greater: g or 0.1?
0.1
Suppose 3*n + 5 = -4*r, -r + 75 = -n + 71. Which is smaller: r or -8/467?
-8/467
Let b be 60088/259 - (-8 + (1 - 2)). Does 240 = b?
False
Suppose 3*j + j = 2*l + 2, 4*j + 5*l = -33. Let f be (6/(-12))/((-14)/(-8) + j). Suppose -f*u = 25 + 9. Is -17 > u?
False
Let o be (2/(-5))/(133608/(-90))*(-12)/(-18). Is 1 < o?
False
Let l be (-8)/(-18)*360/160. Is -13/393 at most as big as l?
True
Let i(o) = 4*o + 13. Let p(g) = 10*g + 37. Let z(w) = 11*i(w) - 4*p(w). Let b be z(2). Which is smaller: 23 or b?
b
Let g(p) = -p - 4. Let n be g(2). Let b be (-65)/(-3) - n/(-9). Let h be ((-9)/6)/(b/154). Which is bigger: -12 or h?
h
Let c = 0.3047 + -0.2837. Which is smaller: -11 or c?
-11
Let c = -452 + 378. Which is smaller: -75 or c?
-75
Let m be 484/244 - (2 + 0). Suppose -a - 4*x = -14, 0 = -2*x - 0*x + 2. Let g(s) = 2*s - 19. Let y be g(a). Which is smaller: y or m?
m
Let j = 5.3 - 3.3. Let q be (2/6)/(7/84). Suppose -x = q*x - 25, 3*x - 43 = 4*o. Which is greater: j or o?
j
Suppose 9*k = -3*z + 10*k - 4, 0 = -2*z - 2*k - 8. Let d be (22/198)/(z/(-166)). Which is smaller: d or 9?
9
Let s = 0.14 + -150.14. Let k = s - -149.2. Which is smaller: k or -18?
-18
Suppose -11*z + 10*z - 3*m = -58, -4*z + 3*m = -262. Is 127/2 > z?
False
Let x be 64/(-6)*(-45)/(-2190). Do x and 2 have different values?
True
Let z = 10/79 - 441/4108. Let p = -175 - -527/3. Which is bigger: z or p?
p
Let d = -3650/11 - -14611/44. Which is smaller: d or 7293?
d
Let s = -3/161 - -1423/85008. Is s at most as big as 0?
True
Suppose 70 = -3*d - 5*i + 3*i, -d - 2*i - 22 = 0. Let r be (-8)/(2*(-6)/d). Is -17 at most as big as r?
True
Let w be (-2)/(-4) + 54/12. Let n be (-13)/4 + w/20. Let f be ((-7)/n + -3)/((-4)/6). Which is greater: f or 2/199?
f
Suppose 0 = 24031*b - 23996*b + 455. Which is smaller: b or 1/2?
b
Let j = -316.005 - -316. Let f be 28/112 + (-6)/8. Which is smaller: f or j?
f
Let n = -83952/35 + 18770/7. Which is smaller: 283 or n?
n
Let z = -58 + 65. Suppose 0 = b - z*b + 810. Let q be (6/(-8) - b/(-36)) + -3. Is 2/45 >= q?
True
Suppose -3*j + 9 = 0, -4*j = -d - 8*j + 261. Let h be ((-12)/d)/(-3 - -1). Which is greater: 1 or h?
1
Let w = 387.793 + -388. Let q = w + 4.207. Let v = -0.2 + 0.4. Is v at least q?
False
Let x = -21222 - -12202647/575. Which is greater: x or 0?
0
Let y(q) = -53*q + 2. Let i be y(-2). Let l = i + -79. Which is greater: l or 30?
30
Let n(t) = t**3 + t + 36. Let i be n(0). Let k be (i/(-10))/(12/40). Let y be 1/2*(0 - -1 - 27). Is y at most as big as k?
True
Let k be 0/((0 + -6)/3 - 2). Suppose k = 67*j - 73*j - 6. Is j at most -3?
False
Let l = 340 + -760. Let y be (-724)/l + (-10)/6. Suppose 0*t - 2*t + 2 = -3*h, -t - 5*h + 1 = 0