. Which is greater: k or q?
k
Suppose q - 12 = 4*g, -4*q + 143 = g + 2*g. Suppose 0 = 5*y - 4*i - q - 143, -3*i = -2*y + 70. Let m be 14/9*30/y. Are 2 and m equal?
False
Suppose 4462 = 18*t - 3746. Is t at least -0.05?
True
Let k be 12 + ((-144)/108)/((-4)/(-6)). Suppose 13 = -23*u + k*u. Which is greater: -2/9 or u?
-2/9
Suppose 64 = 6*h + 10. Suppose h*s - 1802 = 10*s. Let y be (-2 - -1)*-1 + 1734/s. Which is smaller: -1 or y?
-1
Let p be 4 - ((-650)/9)/(-1). Suppose -140 = -2*m - 4*x, -m - 5 = 5*x - 78. Let f = m + p. Which is bigger: f or 0?
0
Let u = 6663 - 259925/39. Let y = 974/13 - 76. Let h = u - y. Is h at most 2.5?
True
Let f(m) = 28*m**2 - 7*m + 59. Let u be f(17). Suppose -86*k + u = -102*k. Is k greater than -502?
False
Let w be -2 + 0 + 15*-1. Let c(i) = -151*i + 436. Let u be c(3). Is u at most as big as w?
True
Suppose 124*r + 12244 + 10825 + 3219 = 0. Which is smaller: -185 or r?
r
Let m(j) = 3*j**2 + 2*j + 3. Let n = 1 - -2. Let i be m(n). Let c(d) = 15*d**2 - 374*d + 12. Let z be c(25). Which is smaller: z or i?
i
Let i = 0.2744 - -927.7256. Is 2/3 <= i?
True
Let l(t) = -t**3 - 4*t**2 - 120*t - 232. Let g be l(-2). Which is greater: -3/1571 or g?
g
Let c = -24.62 - -25. Let n = c + 0.02. Let k be (-207)/483 + (-13)/(-28) + (-1)/(-4). Which is smaller: n or k?
k
Let x(u) = -3270*u**3 + 13*u**2 + 15*u + 3. Let n be x(-1). Which is smaller: n or 3269?
3269
Suppose -5*h + 3*i + 104 = 0, 27*h + 4*i + 88 = 31*h. Let z be 8 - -1 - (h + -313). Is z >= 302?
True
Let b = -14551 + 14375. Which is smaller: b or -151?
b
Suppose 29*f - 261 = 0, b + 2*f = 4*f - 20. Which is smaller: b or -123/227?
b
Let s be -13 + (-58944)/(-5898) - -1*3. Is -1 > s?
False
Let b(i) = -i**2 - 12*i - 9. Let s be b(-11). Let v be s*4 + 18/(18/3). Let m(y) = -y**3 + 11*y**2 - y + 1. Let j be m(v). Is -11 smaller than j?
True
Suppose 4*t - 47 - 1 = 0. Let r(i) = i**2 - 11*i - 13. Let j be r(t). Suppose -2*k + 5*q = -11, 2*k + q = -3*q - 16. Which is bigger: j or k?
j
Let j(f) = 4*f**2 - 2*f + 7. Let u = -41 - -46. Let d be j(u). Suppose -h = -3*a - 29 - d, 84 = -2*a - 2*h. Is -43 != a?
True
Let z(i) = -2*i**2 + 2*i - 1. Let c(l) = 8*l - 8. Let w be c(3). Suppose 18*m - w*m - 2 = 0. Let a be z(m). Which is smaller: a or 4?
a
Suppose -4*q - 3*a - 10 = 0, -11*q = -6*q + 4*a + 13. Which is smaller: -1/453 or q?
q
Let y = -4420 + 4123. Which is smaller: -303 or y?
-303
Let x be -3 - (-321 - (0 + 7)). Let r = x - 10397/32. Suppose 0 = u - 0 + 1. Are u and r nonequal?
True
Let p = 525817 - 2723206231/5179. Which is smaller: p or 1?
p
Let z be 0/(12 + 36/6). Is -3/136 >= z?
False
Suppose 5*m = 2*l - 6*l - 157, 0 = -l - 5*m - 58. Let o(i) = -93*i + 3500. Let b be o(38). Is b bigger than l?
False
Let n(k) = 2*k + 18. Let z be n(-7). Suppose 4*u = -z*v + 12, -v - 4*u + 13 = 2*v. Let c = v - -1/2. Which is smaller: -0.2 or c?
c
Let r(t) = t**3 - 10*t**2 + 85*t - 489. Let y be r(10). Which is greater: y or 3980/11?
3980/11
Let a = 668.5 + -668.8. Which is smaller: a or -11/84?
a
Let a(t) = t**2 + 21*t + 118. Let i be a(-10). Let r(q) = -13*q + 79. Let k be r(i). Which is smaller: k or -3?
k
Suppose 0 = -23*u + 13202 + 10722 - 3569. Is 884 < u?
True
Suppose -9*v + 720 = -72. Suppose k + 124 = 3*k - 4*x, 0 = 2*k + 5*x - v. Which is smaller: 2 or k?
2
Let a(q) = q**2 - 19*q - 98. Let i = -188 + 211. Let x be a(i). Is x > -7?
True
Let n be (-20)/12*9/(-15). Let s be ((-2)/(-3 - -5))/n. Which is smaller: s or -1/62?
s
Let g(y) = 7 + 31*y + 41 + y**2 - 16 + 18 + 9. Let q be g(-29). Which is smaller: q or 5/228?
5/228
Let x be (-34902972)/4066 - (-2)/19. Which is smaller: -8586 or x?
-8586
Let y = -435 - -416. Let l(x) = 4*x + 73. Let v be l(y). Are -43 and v equal?
False
Let z = -3.08 - -0.08. Suppose -n = -20*n + 76. Suppose 4*h - 10 = 3*v + 66, -n*h + 5*v = -76. Do h and z have the same value?
False
Suppose -2*q - 4*c + 444 = 484, -c = -3*q - 4. Let v = 8 - 4. Let d be (v/(-6))/(8/(-132)). Which is smaller: q or d?
q
Let i = -516.73 + 511. Let x = 5.33 + i. Which is smaller: -0.26 or x?
x
Let z = 10.2 - -8.8. Let o = z + -22. Is o less than or equal to 2/3?
True
Let h = 114203 + -1008184085/8828. Is h <= 0?
True
Let r be (((-16)/(-3))/2)/((-752)/508728). Which is bigger: r or -3607/2?
-3607/2
Let r = 556/4195 + 2/2517. Which is smaller: r or 6?
r
Let c = -8 + 21. Let k(h) = 2*h**2 - 17*h + 37. Let u be (-80)/(-44) + (-9)/((-396)/8). Let y be k(u). Is c <= y?
False
Let s = 14607.9 + -14608. Which is smaller: 15018/7 or s?
s
Let g = 25654 + -25654. Which is greater: g or 2691?
2691
Suppose -4*k = -0*d + 5*d + 3, 3*d + 6 = -k. Let x be 8391/45 + (-8)/(-6). Let z = 185 - x. Is d bigger than z?
False
Let c = -2532/209 - -113/11. Which is bigger: -3 or c?
c
Let s be 170/1 - (-5 + 1). Let o = 189 - s. Which is bigger: 7 or o?
o
Let a(n) = 2*n**3 + 21*n**2 + 24*n + 28. Let r be a(-9). Is 62 less than or equal to r?
False
Let f(g) = g**2 - 6*g - 32. Let t be f(10). Let x be (-44)/(-24) - (t + -4). Is x at most as big as -1?
True
Let f = -228.24 + 223. Let b = f - -2.24. Which is bigger: b or -112?
b
Let m(a) = 24*a + 7. Let p(u) = -48*u - 14. Let n(c) = 9*m(c) + 4*p(c). Let j be n(2). Which is smaller: j or 53?
53
Let o = -1785.4 + 1786. Let r = 1.01 - -0.05. Let q = -0.06 + r. Is q bigger than o?
True
Let q = 6455 + -6452.5. Which is smaller: 18 or q?
q
Let g be (-185)/(-259) - 1418/2142. Which is smaller: g or 0?
0
Let b be 1 + ((-60)/(-3))/4. Let u(r) = -3*r + 21. Let y be u(b). Suppose -3*o + y*n = -12, 0*o + o + 2*n = -11. Which is smaller: o or 2/97?
o
Let c = -1829 - -1835. Is 14.5 != c?
True
Let b = -12 - -12.006. Let s = 106.894 - 107. Let y = b + s. Is y > -2/13?
True
Let u = 10542 + -19963. Which is smaller: u or -0.1?
u
Let s = -13 - -18. Let w(t) = 5*t - t - 2*t - t - 6. Let b be w(s). Is b less than 2/33?
True
Suppose -5*f - j + 138 = 0, -3*f + 6*f + j - 82 = 0. Suppose -f - 17 = -9*v. Suppose -4*p + 123 = -v*z, 3*z = -0*z + 3*p - 72. Is z at most as big as -27?
True
Suppose -2*u = 4*g - 2714, 14*u = 18*u - 5*g - 5480. Let d = u - 4327/3. Which is bigger: -78 or d?
d
Let k be (8/16)/((-1)/(-12)). Let z = k - 7. Let i be 11 - ((-89250)/324)/(-25). Which is bigger: z or i?
i
Suppose g + 4*c + 21 = 0, 24 = -4*g + 3*c + 35. Let j be (-54)/10 - g/15. Which is smaller: j or -4?
j
Let d(b) = 3*b**2 - 40*b - 74. Let u be d(15). Is u less than or equal to 1/1713?
False
Let y(k) = -2*k**3 + 23*k**2 + 9*k + 37. Let a be y(12). Which is greater: 4/1403 or a?
a
Let u be -14 + 33 + (-15 - 4). Which is smaller: u or -4/7225?
-4/7225
Let n = -77 + 78. Let h = 248.16 + 9.84. Which is greater: n or h?
h
Suppose 13*z - 3231 + 2308 = 0. Do 62 and z have the same value?
False
Suppose 0 = 4*v - 3*j - 149, 7*j - 61 = -v + 3*j. Suppose 9*u - 22 = v. Is -11 bigger than u?
False
Let l(q) = -55*q - 7. Let k be l(-3). Let u = 1739/11 - k. Let n(v) = v**3 + 2*v**2 - 3*v + 1. Let f be n(-3). Is f smaller than u?
False
Let o be 1/6 - (-8)/(-48). Let h(j) = 3*j**2 + j - 18. Let p be h(o). Let t be (-3)/(27/416) + (-4)/p. Is t != -47?
True
Let g be (-220)/2420 - 12/(-11). Which is bigger: g or 11/13?
g
Let o = 138 + -827/6. Which is bigger: o or -0.016?
o
Let y be ((-172)/344)/(((-21)/12)/7). Which is smaller: -130 or y?
-130
Let x(g) = -g**3 + 33*g**2 + 34*g + 2. Let s be x(34). Suppose -s*z = 2*r - 6, 4*z + 3*r + 0*r - 11 = 0. Is 11/13 greater than or equal to z?
False
Suppose -l - 3*k + 17 = -2, 2 = 3*l - 2*k. Let v be (-1 + 1122/(-54))*(-6)/l. Is v < 33?
True
Suppose -3*c - 4*w + 88 = 86, 0 = -4*c + 3*w + 11. Suppose 11*p + c*p = p. Let i = 2393/90 + -133/5. Which is greater: p or i?
p
Let f be (3/15)/1*(0 - (0 - -37)). Let d(l) = 3*l + 5. Let v be d(-4). Which is smaller: f or v?
f
Let d be -12*(7/2)/(9/(-27)). Let a = -126 + d. Which is greater: -1/148 or a?
a
Let c be ((-5338)/(-51) - -6)*(-9)/16. Does c = 0?
False
Let a be (-7)/((-7)/(-36)) - 1. Let n = a + 47. Suppose n = -2*r - 2. Which is smaller: -7 or r?
-7
Suppose -22*j + 24*j - 4316 = 2*p, -7*p = j - 2142. Is j < 2154?
False
Let u = 333 - -998. Are 1330 and u nonequal?
True
Let c be (-14 + 5 + 12)/(6/(-64)). Let r be 29/4 - (-40)/c. Which is bigger: 2 or r?
r
Suppose 30 + 12 = 7*y. Let w be y*2/(-4) + 96/28. Which is smaller: 0.12 or w