Which is smaller: r or m?
m
Let t be (54/45)/(1/(-10)). Let m = t + 9. Which is bigger: m or 0.05?
0.05
Suppose 2*p = -2*h + 4*h + 442, h = -p - 225. Is h equal to -223?
True
Suppose 5*n - 190 - 80 = 0. Suppose 3*a - a + n = 0. Let c be ((-3)/5)/(a/6). Is 0 at least c?
False
Let q = 155 - 187. Which is smaller: -0.5 or q?
q
Let m = 27 + -11. Let y = m - 4. Let t be ((-4)/20)/(y/(-15)). Which is smaller: 0.3 or t?
t
Let i = 104450/3 + -33024. Let f = 1748 - i. Which is smaller: -45 or f?
-45
Let q(c) = -14 - 2*c - c**3 + 14. Let x be q(0). Which is greater: x or 4/15?
4/15
Let m = -29 + 12. Let l = m - -17. Is l at most as big as 4/3?
True
Let w = -47.2 - -9.2. Let v = -20 - w. Which is greater: v or -0.1?
v
Let t = -7.43 - -1.43. Are t and 0.04 equal?
False
Let g = -11 + -15. Let b = 14 + g. Let o be (-4)/(b/(-11)) - 0. Is -4 less than or equal to o?
True
Let z = -31 + 61. Let n = -27 + z. Which is bigger: 0.3 or n?
n
Let d = -779 + 756.9. Which is greater: -1 or d?
-1
Let t be 144/(-54)*(-6)/(-4). Let q(s) = 4*s - 3. Let b(a) = 7*a - 6. Let u(o) = 3*b(o) - 5*q(o). Let i be u(0). Which is greater: t or i?
i
Suppose -3*l + 7 = 2*q, l + q - 6 = -l. Suppose -5*p = l*f + 21 + 19, 4*p + 45 = -5*f. Let w = f + 349/27. Which is greater: -1 or w?
w
Suppose -5*n - 34 = 3*c, -3*n - 13 = -2*c - 4. Which is smaller: 17/2 or n?
n
Suppose 0 = -0*w + 9*w - 180. Let z = w + -181/9. Which is bigger: -0.5 or z?
z
Let o be 56/(-12)*18*9/(-6). Is 128 bigger than o?
True
Let v = -190 + -128. Is 1/3 not equal to v?
True
Suppose 334 = 2*d + 2530. Let u be (-24)/(-9)*d/(-104). Let a = u - 28. Is -1 <= a?
True
Let g be -3*(-4 + (11 - 8)). Let p = -8 + 9. Does p = g?
False
Let h(u) = 1 - 3*u + 15 - 13 + 18. Let k be h(7). Which is greater: k or -3/17?
k
Suppose -4*t + 3*b + 7 = -14, 6 = -t - 3*b. Let g(v) = 1 + 7*v**3 - 5*v**3 - 4*v**t + 0*v**3. Let l be g(0). Which is bigger: l or 3?
3
Let b(l) = -l**2 + 32*l + 33. Let x be b(33). Let s be (2/(-20))/1*2. Which is smaller: x or s?
s
Let v be -5*1*24/20. Suppose 0 = 6*w - 25 - 29. Let r be v/4*3/w. Which is bigger: r or -1?
r
Let i = -0.0444 - 178.0756. Let g = -156 - i. Let d = g + -22. Which is greater: -1 or d?
d
Let l be (6/2)/(12/184). Is 48 <= l?
False
Let f be 673/(-5) + 78/(-195). Do f and -136 have the same value?
False
Suppose -w - 2*w = a - 36, 0 = -3*w - 3. Let v = 40 - a. Which is smaller: v or -1?
-1
Let z = 0 + 44. Let p = -44 + z. Is 0 not equal to p?
False
Let h = 238.6 - 142.7. Let j = h - 96. Which is smaller: -3/4 or j?
-3/4
Let v be 1/((-4 - -1)/(-15)). Suppose 3*i + 6*t - 11 = 2*t, -5*t + 5 = -v*i. Is 5/4 at most as big as i?
False
Let d be -4 - (4 - 46/6). Which is bigger: -2 or d?
d
Suppose 4*o + 16 = -4*c, -2*o - 16 = 2*o. Suppose 4*k - 9 + 5 = c. Which is smaller: k or -13?
-13
Suppose 5*r = 51 - 501. Let t be (-639)/66*1/r. Let u = t + -1/132. Is u <= 1?
True
Let v be 1 + (-279)/(-27) - 2/(-3). Let w be 3/(-1)*(-20)/v - -4. Is w not equal to 3?
True
Let o be ((-134)/4)/((-8)/((-256)/(-16))). Does o = 472/7?
False
Let v(m) be the first derivative of m**4/4 - 3*m**2 - 3*m + 2. Let c be v(3). Are c and -5 unequal?
True
Suppose -4*l + 3*s + 93 = 0, 5*s = 2*l - l - 19. Which is bigger: l or 22?
l
Let y be (-43617)/186 - 2/(-4). Which is bigger: -467/2 or y?
-467/2
Let t = 12 + -66. Let h = 7 + t. Is h greater than or equal to -47?
True
Let i = 377 - 371. Let o = 1 + 1. Suppose 2*u + 20 = -2*u + 5*k, 3*k - 12 = -o*u. Which is bigger: i or u?
i
Let i = -1193804 - -1704752185/1428. Let p = -3/68 - i. Let u(o) = -o. Let g be u(0). Which is smaller: p or g?
p
Let t(n) = 2*n - 9. Let r be t(5). Suppose 0 = -4*o - 3*k + 3, 3*k - 2*k = 3*o + r. Which is greater: o or -2/21?
o
Let a(f) = 2*f + 31. Let m be a(-13). Suppose -4*p + 5*p - m*h = -4, -p + 4*h - 3 = 0. Let z be ((-2)/(-5))/(102/(-10)). Which is greater: p or z?
p
Suppose 13*t - 16*t = -396. Which is bigger: t or 133?
133
Let l = 343843/112 + -3070. Are l and 2/7 nonequal?
True
Let w = 953773/80 - 11922. Is 0 < w?
True
Let k = -3 - -2.8. Let n = 200.33 - 198.33. Which is smaller: k or n?
k
Let b be (-7)/36*(-768)/6. Which is greater: b or 25?
25
Let j be (18/513)/((-46)/(-3)). Are j and 1 equal?
False
Let o = 0.004 + -31.004. Let z be -2 - -5 - 70/21. Is z at most o?
False
Let f = -33/169 - 15486/1183. Which is bigger: f or -12?
-12
Suppose 0 = 2*x - 5*o - 15, 2*x = 5*x + 5*o + 15. Which is smaller: x or 8/7?
x
Let s = 19/10 + -11/5. Let c = -17/90 - s. Which is bigger: c or -1?
c
Let l = -0.16 - -8.06. Let s = -4 - -4.1. Let b = l + s. Is 0 smaller than b?
True
Let w(k) = 3*k - 93. Let t be w(-9). Which is smaller: t or -118?
t
Let m = 243/2 - 124. Let r be (-882)/(-72) + 2/(-8). Suppose 0 = n + 3*n + r. Which is smaller: n or m?
n
Let g = -0.9 + 1.4. Let a = g + -16.5. Let n = 14 + a. Are 2/5 and n unequal?
True
Let k = -594 - -330. Is k at least -1326/5?
True
Let u = -9.01 - -9.1. Which is smaller: 7 or u?
u
Let g(r) = -r**3 + 10*r**2 + 3*r - 9. Let o be g(10). Let j(w) = 2*w - 36. Let d be j(o). Which is smaller: d or 7?
d
Let l be (-18)/81 + (-7368)/135. Let w = l - -55. Which is smaller: w or -0.08?
-0.08
Let a(k) = k**2 - 12*k + 6. Let w be a(6). Let m = w - -26. Suppose 3*d - c + 18 = 0, 4*d + 2*c = 6*d + 12. Which is smaller: m or d?
d
Let g = -0.191 + 0.201. Which is smaller: -2 or g?
-2
Let j = 0.05 - -0.2. Let g be -2*-1*(10/(-4) - -3). Which is bigger: g or j?
g
Let k(c) = -2*c**2 + 8*c + 6. Let s be k(5). Let w be 434/678 - s/(-6). Which is greater: 0 or w?
0
Suppose 2*c + 5*v + 16 = 0, 3*c + v - 22 = 5*v. Suppose -s + t + 6 = 0, -s + c = -2*t + 3*t. Let i be s/(-9)*(-9)/12. Is -0.25 at least i?
False
Suppose 7*y + 26 - 12 = 0. Let v be y*(-5 - (-27)/6). Suppose 2*f - 2*t = -3*f + 11, -13 = 2*f + 5*t. Is f at least as big as v?
True
Suppose -252 = 26*z + 1620. Which is bigger: z or -70?
-70
Let w(j) = -j**3 + 5*j**2 + 36. Let v be w(6). Which is smaller: -4/541 or v?
-4/541
Let a be (-66)/(-9)*(0 - 3/(-2)). Let q(o) = 3*o - 27. Let t be q(a). Which is bigger: 8 or t?
8
Let q(k) = -38*k**2 - 189*k + 4. Let z be q(-5). Do z and -779 have the same value?
False
Let g = 259/20 - 61/5. Which is bigger: -76 or g?
g
Suppose 1580 = -104*c + 124*c. Is 75 at least c?
False
Let d be 297/18*(-12)/18. Which is smaller: -27 or d?
-27
Let o be -5 - (-4 + 1 - 0). Let i be o + (2 - -2) - 0. Suppose i*c - 5*c = -2*m + 5, -5*m = -5*c - 15. Does c = -2/21?
False
Let k = -13 + 13.8. Let t = k + -0.6. Which is smaller: t or -1/7?
-1/7
Let n = 21 + -12. Let m = -30 + n. Is -1 less than or equal to m?
False
Suppose 2*f + 0*g - 2 = 4*g, 4*g + 3 = 3*f. Let y = 252.74 - 253. Is y < f?
True
Let m = -0.05 - 3.75. Let p = m + -0.2. Let g = 0.3 + -1.3. Which is smaller: g or p?
p
Suppose -48 - 141 = -9*f. Which is greater: f or 83/4?
f
Suppose 5*u - 10 = -5*q, -9*q + 4*q = -5*u. Let b be (q - -2)*(2 - 1). Suppose r = -b - 5. Do -8 and r have the same value?
True
Let o(u) = 4*u**2 - 6*u - 4. Let n be o(5). Suppose n + 64 = 2*p. Which is greater: p or 66?
66
Let l = -260/513 + 8/27. Does l = -6?
False
Let o = -115 - -116. Suppose -3*d + 0 - 12 = 0. Are d and o unequal?
True
Let o = 11 + -11.2. Let g = -1 - o. Let t = -8.8 - g. Which is greater: t or -0.2?
-0.2
Let c = 65/7 - 332/35. Which is bigger: 2/23 or c?
2/23
Let i = 17480450/5211 - 90578/27. Let b = i - 2/193. Suppose 7*t = 4*t - 3. Is b smaller than t?
False
Suppose 0 = -32*k - 84 - 12. Let p(d) = -d**2 + 1 + 1 + 2. Let y be p(k). Which is greater: -6 or y?
y
Let y(h) = h**2 - 10*h - 33. Let o be y(10). Let l = o + 34. Let q = 1654/9 - 184. Are q and l unequal?
True
Suppose 2 = 4*j - 18. Suppose 4*s - 3*r + 11 = -0*r, j*r - 21 = 4*s. Let y = 4 + -5. Which is bigger: s or y?
s
Let m = 45 - 23. Suppose -3*d + m = 4*a, -2*a = 5*d - 6 + 2. Is a at least 7?
True
Let p = -0.972 + 1.972. Which is bigger: p or 1.34?
1.34
Let o = -103.1 + 61. Let g = -44 - o. Which is smaller: g or 0.1?
g
Let i be -80 + -10 + (-7 - -8). Is -263/3 greater than i?
True
Let w = -2759/8 + 345. Are w and 0 equal?
False
Let a be (5/75)/(2/4). Let h(m) = -10*m - 381. Let j be h(-38). Which is bigger: a or j?
a
Let f = 2583 + -2587. Is f greater than or equal to 1/9?
False
Let r(g) = -21*g - 293. Let b be r(-14). Which is smaller: b or 1/