 0.005 - r. Which is smaller: 0 or o?
0
Let g(p) = 7*p + 153. Let q be g(-16). Which is smaller: 51 or q?
q
Suppose -7061 = -15*v - 8*v. Let p = 296 - v. Suppose -c - q - 2 - 12 = 0, -3*q + 13 = -2*c. Is p greater than c?
False
Suppose 0 = 158*v - 28*v + 130. Let m = -105.8 - -1.8. Let b = -74 - m. Which is smaller: v or b?
v
Let l be ((-74)/(-70) + -1)/(1311828/(-805)). Does l = -1?
False
Let z = -25 + 28.5. Which is smaller: z or -28?
-28
Let x(z) = z + 27. Let v be x(-18). Suppose -o - 40 = -v*o. Let s be o + -3 - (-24)/(-28). Is -2/3 less than or equal to s?
True
Let f = 8915.3 - 8855. Which is greater: -0.18 or f?
f
Let i = 0.24282 + 0.00248. Which is bigger: i or -3?
i
Let g = -89 - -136. Let a = g + -5498/117. Which is smaller: -1 or a?
-1
Let l(o) = -2451*o - 147. Let g be l(-1). Is g greater than 2304?
False
Let r be ((-34)/(-6))/((-66)/3762). Which is smaller: -325 or r?
-325
Suppose 4*k + 4 = 4*s, -16*s + 19*s + 10*k + 10 = 0. Let w = -526602 - -161140381/306. Let b = 11/18 - w. Is b bigger than s?
True
Let w = 1277 + -579. Suppose -2*t = 706 - w. Is 1 less than or equal to t?
False
Let t = -1 + 3. Suppose -2*a + u - 4*u = -8, -3*a + t*u = 14. Let d(x) = -6*x + 88. Let k be d(15). Does a = k?
True
Suppose 7*r + 1 = 15. Let m be (5 + (2 - 5))*3/r. Suppose -2*v = n + n, -v + m = 4*n. Which is smaller: 1/5 or v?
v
Let u be (-9)/((-693)/245) - (-4)/(-22) - 4. Do 1/2967 and u have the same value?
False
Let o be (-1797)/14*62/(-93). Which is bigger: o or 1?
o
Let k be (-2)/4 - 1/(-2). Suppose -14*s + 19*s = -2*u - 112, s + 16 = -2*u. Let d be -9*4/s - 235/154. Is d at most as big as k?
True
Let v(u) = -4*u + 5*u**2 + 9*u**3 - 15*u**3 + 5*u**3 + 18. Let i be v(6). Let p be (4 + i/11)*1. Which is bigger: -1 or p?
p
Let g = 6720 + -5231. Which is smaller: g or 1488?
1488
Let d = -32661 - -33524. Which is smaller: 2590/3 or d?
d
Let w = -570 + 569. Let h be w/(5 - (-156)/(-30)). Which is bigger: 0.9 or h?
h
Let c = -364 - -429. Suppose -3*u - 2*m = -c, u - 5*m - 27 = 6. Which is smaller: -0.2 or u?
-0.2
Let t be (8/(-22962))/(((-121)/6)/121). Are 0 and t equal?
False
Let k = 55/48 + 3/16. Suppose 7*p = 4*p - 51. Let i = p + 16. Which is bigger: i or k?
k
Suppose 2619 = 62*l - 35*l. Which is bigger: -1 or l?
l
Let o = -1.9 - -2. Let h = -3939 + 3891. Are h and o non-equal?
True
Let o(r) = -r**2 - 17*r + 2. Let p be o(-10). Suppose -64 = -4*l - p. Let n be l - (5 - (-85)/5). Which is bigger: n or -23?
-23
Let n(s) = -668*s - 110. Let m be n(-7). Which is smaller: m or 4564?
4564
Let c = 31 - 67. Let u = c + 36.5. Let l = -17 + 15. Is u smaller than l?
False
Suppose 0 = -5*y, 6*y - 5*y - 4 = -z. Suppose -23 = z*q - b + 6*b, 3*b = -q - 4. Are 1 and q nonequal?
True
Let d = -3730 - -3731. Which is bigger: d or 6/133?
d
Let n = -2783 + 3201. Is 0 < n?
True
Suppose -c = -2 - 3. Suppose -g - 24 - 34 = c*y, 5*g = -5*y - 230. Let t(j) = -4*j**2 - 5*j. Let f be t(-4). Which is bigger: f or g?
g
Let n(b) = b**3 + 30*b**2 + b + 32. Let v be n(-30). Let p be (-20)/9 + v + (-3096)/(-81). Are 38 and p non-equal?
False
Suppose -3*k + 120 = 4*d, -d - 160 = -3*k - k. Let o be (1/(-8)*-22)/(5/k). Suppose -6 = -5*t + 4*t - h, -3*h = -2*t + o. Which is greater: t or 2?
t
Suppose 106*a + 142182 + 14718 = -53934. Is -1996 greater than a?
False
Let m be (2 + 1)*3/(-9 + 6). Let z(b) = -b**3 - b**2 + 7*b + 3. Let q be z(m). Suppose q = 10*s - 17*s - 77. Is s <= -48/5?
True
Let f be (51/(-85))/((-78)/20). Let b = 0.9 + -1.7. Let o = b + 0.6. Which is bigger: o or f?
f
Let x = 1006 - 940. Let q be 2 + 328 - x/(-22). Is 331 < q?
True
Let m(x) = -x**3 - x**2 + x - 1. Let u be m(0). Let w be (-30)/8*960/2640. Which is smaller: w or u?
w
Let d(f) = f**3 - 8*f**2 - 8*f + 63. Let s be d(9). Suppose -4*x + 66 + 5 = m, 213 = 3*m + 5*x. Which is smaller: s or m?
m
Let f = 2296 + -2330.97. Let d = -35 - f. Let s = d + 0.33. Is s greater than 2/37?
True
Suppose -20 = -4*l - l. Suppose 5*w - 25 = -l*f - 6, -4*w - 10 = -f. Let t be f/4*12/2. Which is bigger: 10 or t?
10
Let l(g) = -g**3 + 22*g + 11. Let x be l(-5). Let o be x/(-5)*((-570)/12)/19. Which is greater: 9 or o?
o
Let q = -463052/9 - -51158. Is q greater than -293?
True
Let h = 284 - 252. Suppose -2*t + 5*t + 5*r = h, 3*r + 4 = 4*t. Is t at most 1?
False
Let y = -10708190/1049 + 10208. Which is smaller: y or 6?
y
Let h be -3 + (3 - 612/(-10)). Let a = -61 + h. Suppose 40*g - 11*g = 29. Is a at least as big as g?
False
Let g = -125 - -65. Let b = 60 + g. Suppose 0 = i - 3*m + 4*m - 1, 2*i - 3*m + 13 = b. Are i and -8 non-equal?
True
Let l = -894 + -1101. Let o be l/(-20)*(-1)/(-6). Let a = 59/24 - o. Which is smaller: a or 1?
a
Let d be (-12)/(-21)*(-237951)/(-270). Let y = 488 - d. Does y = -16?
False
Let s(k) = 3*k**2 - 18*k + 11. Let u be s(7). Suppose 3*h + u - 20 = 0. Let p be 32/(-18) - (-5)/(90/h). Which is smaller: 0 or p?
p
Suppose 33*x - 7*x = 468. Suppose 15*c - 2*t + 43 = x*c, 3*t = -4*c + 58. Is 14 <= c?
False
Let u be (-5650)/(-5198) - 2/23. Which is bigger: -70.03 or u?
u
Suppose 0*n - 1 = 4*n + a, 2*n + 5*a - 13 = 0. Which is smaller: 1094 or n?
n
Let u(h) = -8*h - 12. Let i be u(-2). Suppose 3*m = -i*o - 25, -4*o + 5*o - 27 = 4*m. Is 0.3 at least m?
True
Let p = 15095 - 15090. Suppose 0 = 3*o - 2*k - 33 - 22, 4*o - k = 75. Is p less than o?
True
Suppose -249*s = -22*s + 33003 + 115682. Which is smaller: -650 or s?
s
Let z = 218.2 + 19.7. Let f = -238 + z. Is -42/5 smaller than f?
True
Let v be 57/12*(-14)/(-329)*3. Which is smaller: 2 or v?
v
Let x(z) = 9*z**2 - 2*z + 1. Let d be x(1). Suppose 0*n = d*n. Let o be 126/280 + 1/4. Which is smaller: n or o?
n
Suppose -12 = 74*v - 68*v. Let d(u) = 13*u**2 + 13*u + 11. Let h(y) = -7*y**2 - 6*y - 6. Let c(k) = 2*d(k) + 5*h(k). Let l be c(v). Is -35 less than l?
False
Suppose 33*z + 47 = -217. Which is bigger: z or -122/17?
-122/17
Let b = -34704 - -34705. Is 6/4969 at least b?
False
Suppose 912*c + h + 2 = 916*c, h - 1 = c. Let v = -12 - -3. Let s be (15/v + -1)*3. Which is bigger: s or c?
c
Let s(i) = -2*i + 19. Let c(m) = 4*m - 19. Let d(o) = -4*c(o) - 3*s(o). Let r be d(4). Which is bigger: r or -89/4?
r
Suppose -2656*t - 421 = -2657*t. Is 430 bigger than t?
True
Let p(d) = -2*d - 1. Let o be p(-11). Let f(l) = -l**2 + 25*l - 45. Let g be f(o). Let x = g - 38. Which is greater: x or -1/23?
x
Let n be (1 - -3)/((-6)/(-9)). Let d be n*(2 + 0 + 0). Suppose 5*b = -5*g - 20, -b = g + 2*b + d. Is g at least as big as 0?
True
Let q = -589164/19 - -31016. Let v be 1/(-20)*(-83316)/570. Let l = q - v. Are l and 0 nonequal?
True
Let k(q) = -44*q - 127. Let l be k(3). Let d = l - -265. Let v(c) = -2*c - 8. Let t be v(-7). Is d <= t?
True
Let x be -9 + -180 - (-20)/5. Let o = x - -201. Which is bigger: o or 19?
19
Suppose 0 = 5*l - a - 3 - 11, 5*l = -2*a + 17. Let k be (-1*3)/3 - l/1. Let h be ((-24)/84)/(k/7). Is 1 greater than h?
True
Let z be 1/(-5)*60/(-4). Suppose 5*u - 614 = z*a, u + 4*a - 472 = -3*u. Suppose 18*m + u = 7*m. Does m = -11?
True
Let q be (-2 - 0 - 8) + 196/28. Which is smaller: q or 511?
q
Let k = 12 - 6. Let m = 1667.45 - 1707.45. Which is smaller: k or m?
m
Let v be (41/2)/((-5)/(-5)). Suppose 49*d - 163*d = -2280. Which is smaller: d or v?
d
Let v = -474794 + 474837. Let l = 1881993/43565 - -3/8713. Which is bigger: v or l?
l
Let w = 1.17 + -91.17. Let q = w - -31. Let p = 59.2 + q. Which is smaller: -1/7 or p?
-1/7
Suppose -n = -4*n + 12, 0 = -5*t + 2*n + 6307. Which is smaller: 2523/2 or t?
2523/2
Suppose -5*x + 20 + 20 = 5*q, -2*q = 2. Let y be (12/92)/(x - 3). Is y equal to 0?
False
Let r = -3014 - -3131. Which is smaller: 111 or r?
111
Suppose -2*j = -5*h - 302, 3*j + 2*h - 585 = -170. Let a = 140 - j. Let p = -1/217 - -9/31. Is a at least as big as p?
False
Let s be 245/92 + (-1)/4. Let z be (-11 - 6605/(-575)) + (-4)/10. Let g = z + s. Which is smaller: g or 3?
g
Let d(p) = 11*p**2 + 362*p - 6807. Let w be d(20). Is 19337/4 less than w?
False
Let h(u) = u**2 + 23*u + 84. Let q be h(-18). Suppose -a + 3 = -0*a. Suppose 0 = -a*p + 6 - 24. Do q and p have the same value?
True
Let p(d) = -51*d**2 - 61*d + 359. Let r be p(5). Which is smaller: r or -1223?
-1223
Let y = 3496/31125 - 2/6225. Which is greater: y or 1?
1
Suppose 0 = 138*g - 144*g 