f + 3 = -2*f. Let n be (8/10)/((-8)/5 - -2). Let g be (f + 5)/(n/(-3)). Is g at least as big as -4?
True
Let s = -92.04 - -92. Which is smaller: 2/5 or s?
s
Suppose 170*r = 153*r + 3434. Which is greater: r or 0?
r
Let v = 0.264 - 0.284. Which is smaller: -4 or v?
-4
Suppose -10*w + 83 = -7. Which is greater: 174/19 or w?
174/19
Suppose 192*t = 182*t - 50. Is -120/19 smaller than t?
True
Let p be ((-40)/(-6))/5 + (-28)/21. Let l be (11 - 18)*(-1 + p). Is l less than 7?
False
Let k be (-3)/(-5) - (5935/225 - 12). Which is smaller: k or -14?
-14
Let z be 1*(2 + (-1 - -2)). Suppose 0 = t + y - 17 + 10, 0 = t - y - 1. Is z at least as big as t?
False
Suppose 5*h + 3*r + 5 = 0, -7*h = -9*h + 5*r - 2. Is h at least as big as -55?
True
Let t = -2.73 - -2.87. Which is smaller: 1 or t?
t
Suppose -79 - 44 = 3*y - 5*v, 3*y + 2*v + 123 = 0. Which is smaller: y or -39?
y
Suppose x = -x. Suppose 4 = -2*b - x. Which is greater: b or -4?
b
Suppose -4*o + 4*b = -6 + 2, 4*o = 3*b + 9. Let r be 5/175*4 + (-2)/(-7). Are r and o non-equal?
True
Let g(a) = 11*a + 63. Let f be g(5). Let m = -473/4 + f. Let v = 0 - 2. Which is greater: v or m?
m
Let h be ((-225)/12)/15 - 39/4. Is -11 greater than or equal to h?
True
Suppose -7*i + 512 = -405. Let h = i + -1311/10. Which is bigger: 0 or h?
0
Let c(z) = -8*z - 8. Let b be c(-1). Which is smaller: b or 19/18?
b
Let q = -96 + 255. Let a = q + -160.01. Let i = a + 0.01. Which is bigger: -0.5 or i?
-0.5
Let l = -34.504 - -13.54. Let o = -0.036 + l. Let j = o - -20.8. Which is smaller: j or 3?
j
Suppose 16*l = 21*l. Let t = 5621/20106 - 2/1117. Is t smaller than l?
False
Let v = -44.3 + 38. Let z = v + 6.6. Are z and -0.1 equal?
False
Let c(v) = 16 - 4*v + 3*v + 2*v + 2*v. Let g be c(-10). Is g < 2/9?
True
Let y be 292/884 - 2/13. Let n = -10554 + 717735/68. Let x = n - y. Is x greater than 1?
False
Let q = 0 - 0. Let u be 238/120 - 18/24. Let h = 5/6 - u. Which is smaller: q or h?
h
Let h = -97 - -290/3. Which is greater: h or 1.8?
1.8
Let s = -352/535 - -656769/3745. Let f = 175 - s. Which is bigger: -14 or f?
f
Let d(a) = a**2 - 3*a + 21. Let t be d(0). Is 22 bigger than t?
True
Let c be 3 + (0 - 1) + -2. Let s be ((-2)/78)/(3/(-3*18)). Is s not equal to c?
True
Suppose -41*c = -45*c + 4. Let r be ((-191)/(-3))/(5/3). Let k = r + -38. Which is greater: c or k?
c
Let d = -452 + 423. Which is greater: d or 13?
13
Suppose -21*s - 196 + 29 = 232. Let o be (-554)/30 + 2/(-6). Is o <= s?
False
Let h = 28 + -10. Let o be 7/(35/h) - -2. Let z = o - 173/30. Is z smaller than -2/5?
False
Suppose -48*c = 9*c + 57. Is c <= 2/4067?
True
Suppose -5*l + 2 = -3*n + 7*n, 0 = 3*l + 2*n. Suppose -6*t - 5*u - 19 = -4*t, 0 = 5*t + 2*u + 16. Are l and t non-equal?
False
Suppose u - 5*u - 44 = 3*w, -2*u + w - 32 = 0. Suppose 74*y + 62 = -5*j + 76*y, 5*j + y = -59. Which is smaller: u or j?
u
Let f(x) = 6*x + 84. Let n be f(-14). Let v be (-5)/58*2/(-10). Is v at least as big as n?
True
Let w be 1598/7 - (-6)/(-21). Suppose -w = 6*j - 84. Is j at least as big as -23?
False
Let w be 249/5 - (8 - 164/20). Which is bigger: 48 or w?
w
Let i(k) = k**3 - 20*k**2 - 43*k - 10. Let h be i(22). Is 15 >= h?
True
Let f = -43 - -28. Let d be (3 + (-76)/8)*-12. Suppose -53*y + d = -59*y. Is f at least y?
False
Suppose -3*u = -y + 2*u + 13, 2*u = 6. Let j = y + -17. Let h = 112/9 + -802/63. Is j smaller than h?
False
Let x(n) = n**3 - 12*n**2 - 10*n - 12. Let g be x(13). Let f = g - 25. Let z be 3/((-2)/(2 - 0)). Is z less than or equal to f?
True
Suppose 4*r + 3*a = -27, 34 = -5*r - 4*a - 0*a. Let d(z) = -z**3 - 6*z**2 + 2*z + 9. Let l be d(r). Let q be (12/(-32))/(l/2). Which is smaller: 0.6 or q?
q
Suppose 0 = -3*w - 4 + 7. Let l be (-2 - -4)*w - 19. Let h = l - -32. Are h and 14 equal?
False
Let u = 3 - 40. Let o be (16/(-4) - u)*-1. Which is smaller: o or -32?
o
Let y = 6.6 + 3. Let i = -8.8 + y. Is i smaller than 1?
True
Let j(x) = -2*x**2 - x. Let f be (-4)/(-24) + ((-76)/24 - -3). Let w be j(f). Is w > -1/46?
True
Let y = 2884/5 - 19893/35. Is 8 bigger than y?
False
Let y = 1623.9535 - 1624. Which is smaller: y or -0.1?
-0.1
Suppose 2*g = 2*t - 4, 5*t - 6 = -0*t + g. Let p(c) = 2*c + 1. Let j be p(t). Suppose -j*k = -k - 5*h + 18, h = -k - 16. Which is bigger: -15 or k?
k
Let v = -0.54 + 1.14. Does -10 = v?
False
Let w be (1515/135 - 11)/((-2)/26). Is w < -3?
False
Suppose -3*u = -0*u - 27. Let w(y) = -7*y + 23. Let r be w(5). Let p be (r/104)/(u/(-4)). Do p and 1 have different values?
True
Suppose 4*z + 36 = -2*m, 3*m + 76*z + 54 = 73*z. Which is smaller: m or -11?
m
Let z = 0.219 + -0.419. Let h = 22 + -33. Let p = 4 + h. Is p != z?
True
Suppose -3*w + 2*z + 130 = -2*z, 3*w + 5*z = 121. Suppose -g = -3*g - w. Are g and -21 unequal?
False
Suppose 0 = z + 1 - 2. Let g be (-4491)/(-1782) - 75/30. Is z at most g?
False
Let c = -0.1017 - 187.8983. Which is smaller: c or 3?
c
Suppose 9*v = 3*v + 30. Suppose 4*m - 13 - v = k, -20 = -4*m. Let t be (0 + k)*3/6. Is 12/7 at least t?
True
Let z = 0.735 - 2.035. Are z and 2/11 equal?
False
Let p = -90 + 102. Suppose 0 = -4*i - 12, -i - 6 = 2*m + m. Let c be (1 + 3/(-6))/m. Which is bigger: p or c?
p
Let b(o) = o**3 + 13*o**2 + 40*o + 3. Let k be b(-8). Let s(n) = n**2. Let w be s(1). Which is bigger: w or k?
k
Suppose -4*b - 99 = o, -3*b = -2*o + 40 + 26. Is -33 >= b?
False
Let y = 18 + 1. Let q = y + -29. Which is smaller: -12 or q?
-12
Let h = 254493739/150 + -5032697/3. Let z = -19058 + h. Let x = -7/50 - z. Which is smaller: 0 or x?
x
Let t(r) = r + 10. Let k be t(-10). Let f = 0 + k. Which is greater: 6/5 or f?
6/5
Let g = -111 - -77. Let k = 33.9 + g. Are k and -0.1 unequal?
False
Let l = 5.4 + -11.3. Let f = -0.1 + l. Which is greater: f or 1/4?
1/4
Let p = -437 + 32339/74. Let s(n) = -n + 5. Let q be s(4). Which is greater: q or p?
q
Let r = 67.5 + -65.5. Suppose 0 = 3*q + 4*o - 23, -o + 20 = 5*q + 2*o. Suppose 0 - q = -n. Are n and r nonequal?
True
Suppose 7*p - 19 = -12. Let k be p/(-5) + 9/(-5) - -1. Which is smaller: k or -3/67?
k
Suppose -5*v + 5 = -0. Let u be 6/(v/(4 - 2)). Which is smaller: -1 or u?
-1
Let w(f) = -f**2. Let v = -4 + 7. Let o be w(v). Let u be o/6 - 2/4. Which is greater: u or 0?
0
Let v = -26 - 3. Let c = v + 22. Suppose 0 = 5*d + 16 + 19. Is c >= d?
True
Suppose 7 = 9*w - 12*w - 5*b, 4*w - b - 29 = 0. Let t(y) = -1 + y**2 - y**3 - 4 + y + 5*y**2. Let g be t(w). Which is bigger: g or 6/5?
6/5
Let z(b) = b**2 + 5*b + 2. Let q be z(-3). Let a be ((-148)/(-40))/(2/q). Is a less than or equal to -6?
True
Suppose 16*h + 1277 = -4*u + 11*h, 5*u + 2*h + 1609 = 0. Is u >= -323?
True
Let t be (-12)/9 + 2300/(-207). Is t greater than or equal to -12?
False
Suppose -r + 172 + 221 = 0. Let p be (-2 - -1) + 1*r. Let j = p + -6670/17. Is j greater than -1?
True
Let s = -1/96 - -1561/2400. Is 1 > s?
True
Let r = -1784 + 1784.1. Which is smaller: 796/3 or r?
r
Let q be (-5)/((-90)/1246) + (-12)/54. Do 486/7 and q have the same value?
False
Let j be (6/(-7))/(128/112). Suppose 0 = -c - 5 + 4. Is j greater than or equal to c?
True
Let k be 2/8 + 113/(-68). Let z(t) = -t**3 - 15*t**2 - 45*t - 5. Let s be z(-4). Which is smaller: k or s?
k
Let r = -240/17 + 3018/221. Let k be -1 + 2 + 15*-1. Let g = 13 + k. Which is smaller: r or g?
g
Let m be (-148)/(-18) - (5 - 301/63). Let w be m/(-48) + 2/12. Let j = 0.1 + -0.3. Which is bigger: j or w?
w
Suppose 0 = 3*u - 2*u - 5, 3*x - 3*u = -261. Is -81 equal to x?
False
Let z be (22 - 20) + (-4)/(-1). Let g = z + 1. Are g and 7 non-equal?
False
Let r = 154 + -273. Let u = -955/8 - r. Let l be (2 - 2) + -1 - 0. Which is greater: u or l?
u
Suppose 0 = 3*h - 3*r + 5*r - 911, 4*r - 919 = -3*h. Are h and 302 equal?
False
Let c = -1 - -1. Suppose 2*k - 24 = 6*k. Let g be k/(-77)*(1 + (-18)/(-3)). Are g and c unequal?
True
Suppose 24*c = 23*c - 1. Suppose g + 4*i + 0*i = 2, 2*g = -3*i - 1. Let k be 1/g*(-2)/(-2). Is k at least as big as c?
True
Let g = -4.2 + -14.8. Suppose 70*h - 8 = 78*h. Is h not equal to g?
True
Let b(v) = v**3 - 2*v + 1. Let k be b(1). Suppose k = 10*w - 12*w - 6. Which is smaller: w or -10/3?
-10/3
Let u(r) = -71*r - 283. Let x be u(-4). Which is bigger: x or 2/3489?
x
Let i = 656/335 + -24/67. Let j = -5 - -6. Which is smaller: i or j?