greater: -3 or r?
-3
Let x(b) = -4*b + 29. Let n be x(-9). Which is bigger: n or 63?
n
Let r be 3/(-6)*-1*0. Suppose -13 = -5*t + 2*c, r*t + 3*t = 5*c + 23. Let u be (-6)/42*-7*(-1)/(-24). Is u at most t?
True
Let q = 33845/31 - 1092. Let a = 170/341 + q. Do a and 1/3 have the same value?
False
Let z = 163 + -257. Which is smaller: -93 or z?
z
Let c be 15/(-134)*((-14)/(-3) - 4). Which is smaller: c or -1?
-1
Suppose 3*u - u - 2 = 0. Suppose -10*i - 8*i + 288 = 0. Let j be 17 + -17 + (-1)/i*2. Which is smaller: u or j?
j
Suppose -59 = -19*u - 40. Is u > 2/177?
True
Suppose -3*k - 23 = -k + 5*r, 5*r + 24 = -k. Are 7/16 and k equal?
False
Let g = -29 - 138. Let r = -244 - g. Which is smaller: -78 or r?
-78
Let c = -0.262 - -0.262. Which is smaller: -2/7 or c?
-2/7
Let i(c) = 3*c + 186. Let o be i(-30). Is o not equal to 96?
False
Let o be (-3)/(-9) - (-425)/(-132). Let r = 18/11 + o. Let f = 137/3 + -46. Is r at least as big as f?
False
Let h(j) = -42*j + 14. Let i be h(-2). Is i < 98?
False
Let h = 41.9 + -40.9. Is -2 > h?
False
Let s(l) = 104*l + 33. Let f be s(-1). Is f less than -71?
False
Let o = 216 + -211. Are o and 88/15 non-equal?
True
Let x = -2.5 + 2.2. Let y = -1.3 - x. Let t = -1 - -1. Which is smaller: y or t?
y
Let v = -4 - -3. Let k(r) = 37*r - 3. Let w be k(v). Let f be (96/w)/((-3)/(-2)). Are f and -1 unequal?
True
Suppose -19 = -4*n + k, -2*n = 6*k - 2*k - 32. Let v be (n/(-4))/((-12)/8). Are v and 1/9 unequal?
True
Let n = 0.4 + -1.6. Let r = n + -4.8. Let o = 20 + -20. Is r less than o?
True
Let u = -116 + 119. Suppose -u*y + 189 = -12*y. Which is smaller: -19 or y?
y
Let f be (147/35)/(2/10). Let m be (2/f)/(25/(-75)). Which is smaller: m or 0.1?
m
Let z = 2/5 - 9/35. Let i = -2 + -8. Let o = i + 9. Are z and o equal?
False
Let r = -12 + 11. Let h be ((-2)/(-2) - 3)/r. Are 16/7 and h equal?
False
Let t be (-6)/2 - ((12 - -7) + -26). Let v be (-29)/(-3) + 2/(-3). Are v and t equal?
False
Let a(q) = -q**3 - 5*q**2 - 6*q - 6. Suppose -j + 25 = -5*c, 0 = -4*c - 2*j - 3*j + 9. Let r be a(c). Which is greater: -3 or r?
r
Let x = 585 + -565. Let q(i) = 5*i**2 + i - 1. Let h be 1/(-3) - (-14)/6. Let l be q(h). Which is bigger: x or l?
l
Suppose 96 = -8*a - 4*a. Which is bigger: a or -15?
a
Let g = -1 + 8. Suppose g*b + 4 = 4. Let n be (-2)/(-39)*(-10 - -1). Is b at least n?
True
Suppose -4*s + 210 = -25*s. Does s = -6?
False
Let w be -6 - -6 - (-3)/(-12)*8. Let n be (-3)/2*(1 + 1). Which is bigger: w or n?
w
Let j = 181.971 - 182. Are -2 and j non-equal?
True
Let q be (-13)/(-13)*(102 + 0 + -2). Let f = -90 + q. Which is smaller: 9 or f?
9
Let m be (-8 + 10)*(-2)/(-4). Let w be (-3 + m/((-53)/(-158)))*-2. Which is smaller: w or 1?
w
Let v(j) = 45*j + 814. Let l be v(-18). Are 27 and l unequal?
True
Suppose -5*p - 6 = 3*y, -3*p - 5*y - 10 = -7*p. Is 1/618 < p?
False
Let g be (-49)/(-147) + 26/(-114). Which is bigger: g or 0?
g
Let w be (-190)/57*6/(-28). Is 2 equal to w?
False
Let v = 4.71 + -0.31. Let n = -6.2 + v. Is n bigger than 2?
False
Let v be 171/(-114) - 817/2. Which is greater: v or -409?
-409
Let f = 0 + 0. Let m = -26 - f. Let y = m - -25.9. Which is bigger: y or 1/8?
1/8
Let d = 315 + -273.1. Let r = -42 + d. Let l = -0.34 - -0.3. Which is smaller: r or l?
r
Let s = -17/396 + 1/66. Let p = s + -31/180. Is -1 less than or equal to p?
True
Let b be 1*-3*(-2)/(-6). Let a be b + 64/12 - (-4)/(-1). Which is bigger: 73 or a?
73
Let i(h) = -h**3 + 6*h**2 + 9*h - 11. Let s be i(8). Let o be (1 - -267)*3/(-12). Is o less than s?
False
Suppose -2*j - 18 = -2*s + s, 2*s - 28 = 2*j. Suppose 8*g = s*g + 38. Is -20 > g?
False
Let f be (0 + 77)/(1/(-1)). Which is smaller: f or -78?
-78
Suppose 12*l - 20 = 7*l. Suppose -l*p + 9*p = m - 22, -2*p - m = 6. Let j(z) = z + 2. Let f be j(-6). Is f at least as big as p?
True
Let s = 134 + -65. Suppose -70*f + 29 = -s*f. Is f smaller than 28?
False
Let j = -7 - -11. Let n be 24*(4 + (-18)/j). Are -13 and n non-equal?
True
Suppose 14 = 3*r - 5*w - 19, -r = w - 3. Let y be -1*r/(-3) + 2. Let h be 4/8 - (-38)/y. Which is greater: h or 11?
11
Suppose c = -2*w + 4, 0*w + 2 = -2*w. Let b(h) = -h**2 - 7*h - 6. Let o be b(-6). Suppose 3*r - 23 + 2 = o. Which is smaller: r or c?
c
Let f = 141446/167 + -847. Are f and 0 nonequal?
True
Let z = 745 - 749. Is 0 bigger than z?
True
Let n = -424 + 409. Let j = 2 - 11. Let i = j + -6. Is i != n?
False
Let o be 128 - 2/(-4)*8. Are 131 and o unequal?
True
Suppose -4*q + 26 = -0*h - 2*h, h - 22 = -5*q. Which is smaller: -46/13 or h?
-46/13
Let r(h) = h**3 + 9*h**2 + 8*h. Let k be r(-8). Let u(y) = 3*y. Let j be u(k). Is -2/61 <= j?
True
Let q = 548 - 47678/87. Let r = -8/7221 + q. Let k = r + 87/166. Is 5 <= k?
False
Let p(j) = 14*j - 189. Let z be p(15). Which is smaller: z or 352/17?
352/17
Suppose b - 11 = -4*d, 4*d = 3*b - 1 - 0. Let y(s) = 2*s - 4. Let o be y(4). Suppose -o*t + 2 = -d*t. Which is smaller: 8/7 or t?
t
Let a = 1376 + -1964. Do -587 and a have the same value?
False
Suppose 2*d = 5*w + 117, 6*d - 345 = d - 5*w. Let o = d - 75. Is -35/4 less than o?
False
Let n(l) = 3*l + 29. Let u = 80 + -90. Let f be n(u). Let v = -1 - -1. Does v = f?
False
Let b(x) = x**2 - 8*x + 17. Let s be b(7). Suppose s*a - 5*a = 0. Is a not equal to 9/7?
True
Let j = 101.06 - 101. Is j greater than -65?
True
Let x be -8*(52/(-16) + 3). Let t be 2/4*(x + -4). Let z = -27 + 25. Is t greater than z?
True
Suppose 0 = 2*u - 11*u - 603. Is u less than or equal to -1?
True
Let s = 2 + 2. Suppose 5*v + s*u = 2*u + 13, 3*u = 4*v + 8. Let o be ((-8)/860)/((-1)/5). Is o greater than v?
False
Let v(u) = 3*u**3 + 15*u**2 + 41*u - 5. Let n be v(-6). Is n >= -359?
True
Let z = 49 + -49.128. Let s = z + 0.028. Is s greater than or equal to -8/7?
True
Let i(q) = -2*q**3 - 4*q**2 - 2*q + 1. Let l be i(-2). Suppose 3*n = -x + 6 + 9, 5*x - l*n = -5. Which is smaller: x or 2?
2
Let v = -775 + 832. Is 56 less than or equal to v?
True
Suppose 6*p - 48 = 5*j + 3*p, -2*j + 4*p - 8 = 0. Is j greater than or equal to -10?
False
Let w be -1*17*30/(-14)*-7. Is w smaller than -255?
False
Let k = -18 + 38. Let s be 8/k + (-8)/20. Which is smaller: -2/5 or s?
-2/5
Let j = 27 + -13. Let a = 41 - j. Let u = a + -26.7. Is 1 at least as big as u?
True
Let l(k) = -19*k + 132. Let c be l(0). Which is greater: -1/2 or c?
c
Let k(o) = 4*o**2 - o. Let g be 6/(-4) - (-10)/4. Let a be k(g). Suppose a*y = -b + 6, 3*b - 8 = -3*y - y. Are b and -5/4 unequal?
True
Suppose 0 = 9*s - 15*s - 1620. Which is bigger: s or -269?
-269
Suppose 2*y - 4*c - 12 = -0*y, c + 17 = 4*y. Let x be 4/(-1) + y + 27. Are 27 and x unequal?
False
Let y = -1067 - -11717/11. Let f(x) = 587*x + 2346. Let z be f(-4). Which is smaller: z or y?
z
Let u = 2 + -1. Let m = 1 - u. Let h be (m - -1)/(8 - 9). Is 1/3 at least h?
True
Suppose 0 = -10*t + 12*t - 4. Suppose z + z - v + 6 = 0, -4*v = 4*z - 12. Let f = t + z. Which is bigger: f or 3?
3
Suppose 0 = -38*r + 1960 - 364. Which is greater: r or 31?
r
Let j = 13.1 - 13.019. Let t = -39.919 - j. Let l = 40.03 + t. Is -1 > l?
False
Let i(k) = -5*k + 5. Let f be i(0). Suppose 0 = f*g - 13 - 12, g - 1 = 2*y. Which is smaller: -4 or y?
-4
Let c = 22.1 + -31.1. Is c at most as big as 8?
True
Let q(x) = -2*x**3 + 3*x**2 - 2*x - 1. Suppose -b + 4*b = 0. Suppose b = -4*p + 12 - 4. Let f be q(p). Which is smaller: f or -10?
-10
Let x = -126 - -130. Suppose -4 = 2*y + 4*o, -5*y = 6*o - x*o + 42. Which is smaller: -57/5 or y?
-57/5
Let q = -307 - -306.83. Let b = -2 + 2.83. Let x = q - b. Which is smaller: x or -20?
-20
Let l = 117 + -118. Which is smaller: l or 3/245?
l
Let v(f) = f**2 + 7*f + 6. Let s be v(-4). Let t = 8 + s. Let q(x) = 3*x - 3. Let c be q(t). Which is smaller: 4 or c?
c
Let q(h) = -h**3 - 4*h**2 + 19*h - 8. Let f be q(-7). Let g be (-2)/(-14) - ((-132)/(-7))/f. Let i be -1 - ((-10)/(-4))/5. Which is bigger: g or i?
i
Let x be 5/(-60)*-6*-2*105. Is x less than -105?
False
Let n(t) = 4*t**2 - 16*t + 52. Let p be n(6). Which is smaller: 99 or p?
99
Suppose 3*l + 3*l = -6. Let f = 4/197 + 551/1970. Is f >= l?
True
Let f(s) = 2*s - 4. Let d be f(5). Let k(b) = -3*b + 6. Let a be k(d). Let p be (1/a)/(18/(-48)). Which is smaller: p or 1?
p
Let n = -41 + 19. Suppose -115 = 5*g + 5*i, -2*i 